|
BEACON eSpace at Jet Propulsion Laboratory >
JPL Technical Report Server >
JPL TRS 1992+ >
Please use this identifier to cite or link to this item:
http://hdl.handle.net/2014/41374
|
| Title: | Automatic code generation for instrument flight software |
| Authors: | Wagstaff, Kiri L.
Benowitz, Edward
Byrne, D. J.
Peters, Ken
Watney, Garth |
| Keywords: | code generation
flight software
state charts |
| Issue Date: | 26-Feb-2008 |
| 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. |
| URI: | http://hdl.handle.net/2014/41374 |
| Appears in Collections: | JPL TRS 1992+
|
Items in DSpace are protected by copyright, but are furnished with U.S. government purpose use rights.
|
