NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Back to Results
Automatic Code Generation for Instrument Flight SoftwareAutomatic 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.
Document ID
20090031888
Acquisition Source
Jet Propulsion Laboratory
Document Type
Conference Paper
External Source(s)
Authors
Wagstaff, Kiri L.
(Jet Propulsion Lab., California Inst. of Tech. Pasadena, CA, United States)
Benowitz, Edward
(Jet Propulsion Lab., California Inst. of Tech. Pasadena, CA, United States)
Byrne, D. J.
(Jet Propulsion Lab., California Inst. of Tech. Pasadena, CA, United States)
Peters, Ken
(Jet Propulsion Lab., California Inst. of Tech. Pasadena, CA, United States)
Watney, Garth
(Jet Propulsion Lab., California Inst. of Tech. Pasadena, CA, United States)
Date Acquired
August 24, 2013
Publication Date
February 26, 2008
Subject Category
Computer Programming And Software
Meeting Information
Meeting: 9th International Symposium on Artificial Intelligence, Robotics, and Automation in Space
Country: United States
Start Date: February 1, 2008
End Date: February 28, 2008
Distribution Limits
Public
Copyright
Other
Keywords
state charts
code generation
flight software

Available Downloads

There are no available downloads for this record.
No Preview Available