NASA Jet Propulsion Laboratory California Institute of Technology Follow this link to skip to the main content

BEACON eSpace at Jet Propulsion Laboratory >
JPL Technical Report Server >
JPL TRS 1992+ >

Please use this identifier to cite or link to this item: http://hdl.handle.net/2014/16802

Title: A Process for Verifying and Validating Requirements for Fault Tolerant Systems Using Model Checking
Authors: Schneider, F.
Easterbrook, S.
Callahan, J.
Holzmann, G.
Reinholtz, W.
Ko, A.
Shahabuddin, M.
Issue Date: Feb-1999
Citation: Transactions on Software Engineering
USA
Abstract: 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.
URI: http://hdl.handle.net/2014/16802
Appears in Collections:JPL TRS 1992+

Files in This Item:

File SizeFormat
99-0205.pdf1.45 MBAdobe PDFView/Open

Items in DSpace are protected by copyright, but are furnished with U.S. government purpose use rights.

 

Privacy/Copyright Image Policy Beacon Home Contact Us
NASA Home Page + Div 27
+ JPL Space
Site last updated on November 15, 2012.
If you have any comments or suggestions for this web site, please e-mail Alexander Smith or call 4-4202.