Keywords:code generation; flight software; state charts
Publisher:Pasadena, CA : Jet Propulsion Laboratory, National Aeronautics and Space Administration, 2007.
Citation:9th International Symposium on Artificial Intelligence, Robotics, and Automation in Space
Abstract:
Automatic code generation can be used to convert software state diagrams into executable code, enabling a model- based approach to software design and development. The primary benefits of this process are reduced development time and continuous consistency between the system design (statechart) and its implementation. We used model-based design and code generation to produce software for the Electra UHF radios that is functionally equivalent to software that will be used by the Mars Reconnaissance Orbiter (MRO) and the Mars Science Laboratory to communicate with each other. The resulting software passed all of the relevant MRO flight software tests, and the project provides a useful case study for future work in model-based software development for flight software systems.
