CaltechAUTHORS
  A Caltech Library Service

Auto-coding UML statecharts for flight software

Benowitz, Ed and Clark, Ken and Watney, Garth (2006) Auto-coding UML statecharts for flight software. In: SMC-IT 2006 : 2nd IEEE International Space Mission Challenges for Information Technology. IEEE , Los Alamitos, CA, pp. 413-417. ISBN 9780769526447. https://resolver.caltech.edu/CaltechAUTHORS:20110120-111850915

[img]
Preview
PDF - Published Version
See Usage Policy.

128Kb

Use this Persistent URL to link to this item: https://resolver.caltech.edu/CaltechAUTHORS:20110120-111850915

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).


Item Type:Book Section
Related URLs:
URLURL TypeDescription
http://dx.doi.org/10.1109/SMC-IT.2006.19 DOIArticle
http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1659585PublisherArticle
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.
Funders:
Funding AgencyGrant Number
NASA/JPL/CaltechUNSPECIFIED
Subject Keywords:Space Interferometer Mission , auto-coding UML statecharts , flight code , flight software , software engineering , space missions , system engineering
Record Number:CaltechAUTHORS:20110120-111850915
Persistent URL:https://resolver.caltech.edu/CaltechAUTHORS:20110120-111850915
Official Citation:Benowitz, E.; Clark, K.; Watney, G.; , "Auto-coding UML statecharts for flight software," Space Mission Challenges for Information Technology, 2006. SMC-IT 2006. Second IEEE International Conference on , vol., no., pp.5 pp.-417, 0-0 0 doi: 10.1109/SMC-IT.2006.19 URL: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=1659585&isnumber=34750
Usage Policy:No commercial reproduction, distribution, display or performance rights in this work are provided.
ID Code:21833
Collection:CaltechAUTHORS
Deposited By: Tony Diaz
Deposited On:03 Feb 2011 18:54
Last Modified:03 Oct 2019 02:30

Repository Staff Only: item control page