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 implementation paradigm for a given application. Finally,itisshown that in some cases an intermediate paradigm mayprovide a suitable solution.
Approaches to Designing Complex Dependable Systems / A. Clematis, V. Gianuzzi, A. Romanovsky, A.M. Tyrrell, W. Cazzola - In: Distributed computer control systems 1998, DCCS ’98 : a proceedings volume from the 15th IFAC workshop, Como, Italy, 9-11 September 1998 / [a cura di] F. De Paoli, I.M. MacLeod. - Oxford : Pergamom, 1999. - ISBN 9780080432427. - pp. 71-78 (( Intervento presentato al 15. convegno IFAC Workshop on Distributed Computer Control Systems (DCCS) tenutosi a Como nel 1998.
Approaches to Designing Complex Dependable Systems
W. CazzolaUltimo
1999
Abstract
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 implementation paradigm for a given application. Finally,itisshown that in some cases an intermediate paradigm mayprovide a suitable solution.Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.