JPL Technical Report Server

Model checking investigations for fault protection system validation

Show simple item record

dc.contributor.author Barltrop, K. J. en_US
dc.contributor.author Pingree, P. J. en_US
dc.date.accessioned 2004-09-16T22:03:19Z
dc.date.available 2004-09-16T22:03:19Z
dc.date.issued 2003-07-13 en_US
dc.identifier.citation International Conference on Space Mission Challenges for Information Technology 2003 en_US
dc.identifier.citation Pasadena, CA, USA en_US
dc.identifier.clearanceno 03-0752 en_US
dc.identifier.uri http://hdl.handle.net/2014/7130
dc.description.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. en_US
dc.format.extent 3306158 bytes
dc.format.mimetype application/pdf
dc.language.iso en_US
dc.subject.other validation model checking fault protection en_US
dc.title Model checking investigations for fault protection system validation en_US


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search


Browse

My Account