Skip to Main content Skip to Navigation
Journal articles

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

Abstract : 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.
Document type :
Journal articles
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-00289488
Contributor : Laurent Cauffriez <>
Submitted on : Friday, June 20, 2008 - 4:23:00 PM
Last modification on : Tuesday, May 26, 2020 - 11:56:02 AM

Identifiers

  • HAL Id : hal-00289488, version 1

Collections

Citation

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, Institute of Electrical and Electronics Engineers, 2006, 55 (3), pp.397-410. ⟨hal-00289488⟩

Share

Metrics

Record views

78