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
01.02.1999
Sonstige
Keine Angabe
Englisch
Validating requirements for fault tolerant systems using model checking
Tema Archiv | 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
|