Bridging the Gap between Systems Design and Space Systems Software

David Garlan, William K. Reinholtz, Bradley Schmerl, Nicholas Sherman, and Tony Tseng

29th Annual IEEE/NASA Software Engineering Workshop (SEW-29), Greenbelt, MD, USA, April 6-7, 2005.

Online links: PDF

Abstract
A challenging problem for software engineering practitioners is moving from high-level system architectures produced by system engineers to deployable software produced by software engineers. In this paper we describe our experience working with NASA engineers to develop an approach and toolset for automating the generation of space systems software from architectural specifications. Our experience shows that it is possible to leverage the space systems domain, formal architectural specifications, and component technology to provide retargetable code generators for this class of software.
Keywords


For further information, please visit the home pages of the ABLE research project and Carnegie Mellon University's Composable Systems Group.


Last modified: 8/12/2005. For comments and problems, contact able-help@cs.cmu.edu.