NASA NTRS · 20060046172
Model checking investigations for fault protection system validation
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.
Explore related subjects
Keep this discovery
Explore connections, maps & timelines
Barltrop, K. J., Pingree, P. J.. 2003-07-13. Model checking investigations for fault protection system validation. https://ntrs.nasa.gov/citations/20060046172
Cite the original work for its findings. Save a collection to share your selection of sources.