Title :
Bridging the Gap between Systems Design
Author :
Garlan, David ; Reinholtz, William K. ; Schmerl, Bradley ; Sherman, Nicholas D. ; Tseng, Tony
Author_Institution :
Sch. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA
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 :
aerospace computing; formal specification; object-oriented programming; program compilers; software architecture; systems analysis; NASA engineers; automatic space systems software generation; component technology; formal architectural specification; retargetable code generator; systems design; Computer architecture; Computer science; Concrete; Design engineering; NASA; Software engineering; Space missions; Space technology; System software; Systems engineering and theory;
Conference_Titel :
Software Engineering Workshop, 2005. 29th Annual IEEE/NASA
Conference_Location :
Greenbelt, MD
Print_ISBN :
0-7695-2306-4
DOI :
10.1109/SEW.2005.21
