JPL Technical Report Server

Model checking investigations for fault protection system validation

Model checking investigations for fault protection system validation

Barltrop, K. J.; Pingree, P. J.
URI: http://hdl.handle.net/2014/7130
Date: 2003-07-13
Citation: International Conference on Space Mission Challenges for Information Technology 2003
Pasadena, CA, USA

Abstract:

Following 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.

Show full item record

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

Files in this item

Thumbnail
Name: 03-0752.pdf
Size: 3.152Mb
Format: PDF
View/Open

This item appears in the following Collection(s)

Search


Browse

My Account