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).
Auto-Coding UML Statecharts for Flight Software
Space Mission Challenges for Information Technology ; 2006 ; Pasadena, CA, United States
2006-07-21
Preprint
No indication
English
Auto-coding UML statecharts for flight software
IEEE | 2006
|Auto-coding/auto-proving flight control software
IEEE | 2004
|Auto-Coding/Auto-Proving Flight Control Software
British Library Conference Proceedings | 2004
|The use of statecharts in developing body electronics software
Tema Archive | 1993
|Formal modeling and analysis of UML statecharts
British Library Online Contents | 2007
|