Auto-Coding UML Statecharts for Flight Software

Authors:
Ed Benowitz;Ken Clark;Garth Watney
Affiliations:
Jet Propulsion Laboratory, California Institute of Technology, USA;Jet Propulsion Laboratory, California Institute of Technology, USA;Jet Propulsion Laboratory, California Institute of Technology, USA
Venue:
SMC-IT '06 Proceedings of the 2nd IEEE International Conference on Space Mission Challenges for Information Technology
Year:
2006

Citing 0
Cited 3

Generating class contracts from UML protocol statemachines

Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation
Generating class contracts from deterministic UML protocol statemachines

MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
A systematic review of code generation proposals from state machine specifications

Information and Software Technology

Quantified Score

Hi-index	0.00

Visualization

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).