Auto-Coding UML Statecharts for Flight Software

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)

Similar works

Full text

thumbnail-image

NASA Technical Reports Server

Full text is not available
oai:casi.ntrs.nasa.gov:20080006790Last time updated on 5/31/2013

This paper was published in NASA Technical Reports Server.

Having an issue?

Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.