A new formalism for designing and specifying RAMS parameters for complex distributed control systems: the Safe-SADT formalism - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue IEEE Transactions on Reliability Année : 2006

A new formalism for designing and specifying RAMS parameters for complex distributed control systems: the Safe-SADT formalism

Résumé

Dependability evaluation is a fundamental step in distributed control system design. However, the current dependability evaluation methods are not appropriate due to the level of complexity of such systems. Given the ineffectiveness of these methods, we propose the Safe-SADT formalism for dependability evaluation (SADT stands for Structured Analysis and Design Techniques). This formalism allows the explicit formalization of functional interaction, the identification of the characteristic values affecting complex system dependability, the quantification of RAMS parameters (Reliability, Availability, Maintainability, and Safety) for the system's operational architecture, and the validation of the operational architecture in terms of the dependability objectives and constraints required by the functional specifications. The results presented in this paper are limited to RAMS quantification.
Fichier non déposé

Dates et versions

hal-00289488 , version 1 (20-06-2008)

Identifiants

Citer

Laurent Cauffriez, Vincent Benard, Dominique Renaux. A new formalism for designing and specifying RAMS parameters for complex distributed control systems: the Safe-SADT formalism. IEEE Transactions on Reliability, 2006, 55 (3), pp.397-410. ⟨10.1109/TR.2006.879604⟩. ⟨hal-00289488⟩
35 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More