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
2006-01-01
130271 byte
Conference paper
Electronic Resource
English
Auto-Coding/Auto-Proving Flight Control Software
British Library Conference Proceedings | 2004
|Auto-coding/auto-proving flight control software
IEEE | 2004
|SOLUTIONS - Software - Software for Checking Statecharts
Online Contents | 2004
The use of statecharts in developing body electronics software
Tema Archive | 1993
|Beschreibung elektronischer Steuergeräte mit Use Cases und Statecharts
Tema Archive | 2003
|