Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here shows that by judiciously abstracting away extraneous complexity, the state space of the model could be exhaustively searched allowing critical functional requirements to be validated down to the design level.
Validating Requirements for Fault Tolerant Systems Using Model Checking
06.04.1998
Sonstige
Keine Angabe
Englisch
Validating requirements for fault tolerant systems using model checking
Tema Archiv | 1998
|REFERENCE TRAJECTORY VALIDATING AND COLLISION CHECKING MANAGEMENT
Europäisches Patentamt | 2024
|REFERENCE TRAJECTORY VALIDATING AND COLLISION CHECKING MANAGEMENT
Europäisches Patentamt | 2025
|REFERENCE TRAJECTORY VALIDATING AND COLLISION CHECKING MANAGEMENT
Europäisches Patentamt | 2024
|