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

fYear

2005

fDate

7-7 April 2005

Firstpage

34

Lastpage

46

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Engineering Workshop, 2005. 29th Annual IEEE/NASA

Conference_Location

Greenbelt, MD

Print_ISBN

0-7695-2306-4

Type

conf

DOI

10.1109/SEW.2005.21

Filename

1521192