An object-oriented model for the construction of dependable distributed systems

In the context of the dependable distributed operating system (DEDOS) project an object-oriented model for the construction of dependable applications has been developed. This model is presented. It supports real-time, reliability and distribution requirements of applications. Three aspects of it are described in detail: the so called programming model, implementation model and development model. An essential feature of DEDOS is the dual dependability paradigm: real-time and dependability requirements are dealt with statically or dynamically depending on the real-time regime to which they pertain: hard real-time or soft real-time, respectively. The model supports both of these regimes.<
>