DocumentCode
2303527
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
fYear
0
fDate
0-0 0
Lastpage
417
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/SMC-IT.2006.19
Filename
1659585
Link To Document