Name
Title | ||
|---|---|---|
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 th... |
Year | DOI | Venue |
|---|---|---|
2006 | 10.1109/TR.2006.879604 | IEEE Transactions on Reliability |
Keywords | Field | DocType |
Distributed control,Read-write memory,Safety,Availability,Maintenance,Failure analysis,System analysis and design,Unified modeling language,Programmable control,Intelligent systems | Operations architecture,Dependability,Structured systems analysis and design method,Computer science,Formal specification,Functional specification,Reliability engineering,Maintainability,Distributed control system | Journal |
Volume | Issue | ISSN |
55 | 3 | 0018-9529 |
Citations | PageRank | References |
4 | 0.68 | 8 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| L. Cauffriez | 1 | 19 | 3.26 |
| V. Benard | 2 | 4 | 0.68 |
| D. Renaux | 3 | 12 | 1.50 |