NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login

Press Enter or click the Search button to begin your search.

Back to Results
Model checking investigations for fault protection system validationFollowing the trend of creating flight code with state chart modeling and auto-code generation, NASA's Deep Impact (DI) project uses Stateflow for its Fault Protection Flight Software development.
Document ID
20060046172
Acquisition Source
Jet Propulsion Laboratory
Document Type
Conference Paper
External Source(s)
hdl:2014/7130
Authors
Barltrop, K. J.
Pingree, P. J.
Date Acquired
August 23, 2013
Publication Date
July 13, 2003
Distribution Limits
Public
Copyright
Other
Keywords
validation model checking fault protection

Available Downloads

There are no available downloads for this record.

Related Records

There are no records associated with this record.
No Preview Available