Auto-coding UML statecharts for flight software

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)

[1]  Michelle L. Crane,et al.  UML vs. classical vs. rhapsody statecharts: not all models are created equal , 2005, MoDELS'05.

[2]  K. Barltrop,et al.  Deep impact: ACS fault tolerance in a comet critical encounter , 2002 .

[3]  Ivar Jacobson,et al.  The unified modeling language reference manual , 2010 .

[4]  Nicolas Rouquette,et al.  The 13/sup th/ technology of Deep Space One , 1999, 1999 IEEE Aerospace Conference. Proceedings (Cat. No.99TH8403).

[5]  Gerard J. Holzmann,et al.  Model-Driven Software Verification , 2004, SPIN.

[6]  Ivan Porres,et al.  Model interchange using OMG standards , 2005, 31st EUROMICRO Conference on Software Engineering and Advanced Applications.

[7]  Gerard J. Holzmann.  Formal methods and software reliability , 2004, Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04..

[8]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .

[9]  Gerard J. Holzmann,et al.  The SPIN Model Checker , 2003 .