Engineering topics

Barltrop, K. J.

Publications and source records attributed to Barltrop, K. J..

2 records

NASA NTRS2003

Model checking investigations for fault protection system validation

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.

validation model checking fault protection↗

NASA NTRS2002

Use of guidance and control test cases to verify spacecraft attitude control system design

A simulation and analysis approach is introduced for verification of attitude control flight software performance in a deep space mission.

Cassini↗