Publisher:Pasadena, CA : Jet Propulsion Laboratory, National Aeronautics and Space Administration, 2006.
Citation:Space Mission Challenges for Information Technology, Pasadena, California, July 21, 2006.
Abstract:
Statecharts have been used as a means to communicate behaviors in a precise manner between
system engineers and software engineers. Hand-translating a statechart to code, as done on some previous space missions, introduces the possibility of errors in the transformation from chart to code. To improve auto-coding, we have developed a process that generates flight code from UML statecharts. Our process is being used for the flight software on the Space Interferometer Mission (SIM).