Title :
Auto-coding UML statecharts for flight software
Author :
Benowitz, Ed ; Clark, Ken ; Watney, Garth
Author_Institution :
Jet Propulsion Lab., California Inst. of Technol., Pasadena, CA
Abstract :
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)
Keywords :
Unified Modeling Language; aerospace computing; encoding; software engineering; systems engineering; Space Interferometer Mission; auto-coding UML statecharts; flight code; flight software; software engineering; space missions; system engineering; Aerospace engineering; Automatic programming; Communication system software; Mathematical model; Protection; Software systems; Software tools; Space missions; Systems engineering and theory; Unified modeling language;
Conference_Titel :
Space Mission Challenges for Information Technology, 2006. SMC-IT 2006. Second IEEE International Conference on
Conference_Location :
Pasadena, CA
Print_ISBN :
0-7695-2644-6
DOI :
10.1109/SMC-IT.2006.19
