Engineering topics
Shahabuddin, M.
Publications and source records attributed to Shahabuddin, M..
A Process for Verifying and Validating Requirements for Fault Tolerant Systems Using Model Checking
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.
model checking fault tolerant embedded spacecraft ↗