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
1998-04-06
Miscellaneous
No indication
English
Validating requirements for fault tolerant systems using model checking
Tema Archive | 1998
|REFERENCE TRAJECTORY VALIDATING AND COLLISION CHECKING MANAGEMENT
European Patent Office | 2024
|REFERENCE TRAJECTORY VALIDATING AND COLLISION CHECKING MANAGEMENT
European Patent Office | 2025
|REFERENCE TRAJECTORY VALIDATING AND COLLISION CHECKING MANAGEMENT
European Patent Office | 2024
|