Published July 2006
| Published
Book Section - Chapter
Open
Auto-coding UML statecharts for flight software
- Creators
- Benowitz, Ed
- Clark, Ken
- Watney, Garth
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
Files
Benowitz2006p9717Smc-It_2006_2Nd_Ieee_International_Conference_On_Space_Mission_Challenges_For_Information_Technology_Proceedings.pdf
Files
(131.9 kB)
Name | Size | Download all |
---|---|---|
md5:2fb6ce81f380cca642725b7c5344c1fc
|
131.9 kB | Preview Download |
Additional details
- Eprint ID
- 21833
- Resolver ID
- CaltechAUTHORS:20110120-111850915
- NASA/JPL/Caltech
- Created
-
2011-02-03Created from EPrint's datestamp field
- Updated
-
2021-11-09Created from EPrint's last_modified field