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 requirement to be validated down to the design level.
A Process for Verifying and Validating Requirements for Fault Tolerant Systems Using Model Checking
1999-02-01
Miscellaneous
No indication
English
Validating requirements for fault tolerant systems using model checking
Tema Archive | 1998
|VERIFYING AND VALIDATING A LAND USE -- TRANSPORT -- ENVIRONMENT MODEL
Online Contents | 1998
|Verifying and validating a land use — transport — environment model
Taylor & Francis Verlag | 1998
|A Structured Approach to Verifying and Validating Expert Systems
British Library Conference Proceedings | 1993
|