Welcome to the new version of CaltechAUTHORS. Login is currently restricted to library staff. If you notice any issues, please email coda@library.caltech.edu
Published July 2006 | Published
Book Section - Chapter Open

Auto-coding UML statecharts for flight software

Abstract

Statecharts have been used as a means to communicate behaviors in a precise manner between system engineers and software engineers. Handtranslating 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).

Additional Information

© 2006 IEEE. Date of Current Version: 14 August 2006. This work was supported by the NASA's Space Interferometer Mission (SIM), and by the Jet Propulsion Laboratory (JPL), California Institute of Technology under a contract with the National Aeronautics Administration. Additional funding was provided by JPL's Laboratory for Reliable Software (LaRS), and by a JPL R&TD research proposal award for "Software Assurance for the Emerging Discipline of Model-Based Design." supported by JPL's section 512. We thank Alex Murray for his work on the initial auto-coder, and Hanry Hartounian for his work in obtaining performance numbers.

Attached Files

Published - Benowitz2006p9717Smc-It_2006_2Nd_Ieee_International_Conference_On_Space_Mission_Challenges_For_Information_Technology_Proceedings.pdf

Files

Benowitz2006p9717Smc-It_2006_2Nd_Ieee_International_Conference_On_Space_Mission_Challenges_For_Information_Technology_Proceedings.pdf

Additional details

Created:
August 19, 2023
Modified:
October 23, 2023