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. Cazzola
Ultimo
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.
Settore INF/01 - Informatica
1999
Book Part (author)
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2434/22244
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? 0
social impact