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]](https://authors.library.caltech.edu/style/images/fileicons/application_pdf.png)
|
PDF
- Published Version
See Usage Policy. 131kB |
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: |
| |||||||||
| 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: |
| |||||||||
| Subject Keywords: | Space Interferometer Mission , auto-coding UML statecharts , flight code , flight software , software engineering , space missions , system engineering | |||||||||
| DOI: | 10.1109/SMC-IT.2006.19 | |||||||||
| 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: | 09 Nov 2021 16:00 |
Repository Staff Only: item control page
