Engineering topics
Publications and source records attributed to Pingree, P. J..
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.
In the complex environment of JPL's flight missions with increasing dependency on advanced software designs, traditional software validation methods of simulation and testing are being stretched to adequately cover the needs of software development.
Explore the source record for details and available documents.
The HiVy toolset provides model checking for statecharts. This is achieved by translating statechart specifications into the input language of the spin model checker.
Model Checking conducts an exhaustive exploration of all possible behaviors of a software system design and as such can be used to detect defects in designs that are typically difficult to discover with conventional testing approaches.
Explore the source record for details and available documents.
Explore the source record for details and available documents.
This paper states the requirements for, describes the overall architecture of, and identifies the future work involved in developing the DS1 Testbed spacecraft simulation.