Approaches to Designing Complex Dependable Systems

Andrea Clematis, Vittoria Gianuzzi, Alexander Romanovsky, Andy M. Tyrrell, Walter Cazzola
1998 IFAC Proceedings Volumes  
The problem of designing complex dependable systems is addressed in this paper. Due to some peculiarities of their application and behavior these are often referred to as reactive systems. Two main paradigms for their design have recently been proposed we name these paradigms living processes and hidden concurrency, depending on their approach to concurrency handling. The analysis of application requirements and constraints is proposed as a methodology for selecting the most suitable
more » ... ion paradigm for a given application. Finally, i t i s s h o wn that in some cases an intermediate paradigm may p r o vide a suitable solution.
doi:10.1016/s1474-6670(17)36338-3 fatcat:syj5conw2vh5zenvhxqoe7gxzy