loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
29th Annual IEEE/NASA Software Engineering Workshop
Bridging the Gap between Systems Design
Greenbelt, Maryland
April 06-April 07
ISBN: 0-7695-2306-4
David Garlan, School of Computer Science Carnegie Mellon University Pittsburgh, PA, USA
William K. Reinholtz, Jet Propulsion Laboratory California Institute of Technology, Pasadena, CA., USA
Bradley Schmerl, School of Computer Science Carnegie Mellon University Pittsburgh, PA, USA
Nicholas D. Sherman, School of Computer Science Carnegie Mellon University Pittsburgh, PA, USA
Tony Tseng, School of Computer Science Carnegie Mellon University Pittsburgh, PA, USA
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.
Citation:
David Garlan, William K. Reinholtz, Bradley Schmerl, Nicholas D. Sherman, Tony Tseng, "Bridging the Gap between Systems Design," sew, pp.34-46, 29th Annual IEEE/NASA Software Engineering Workshop, 2005
Usage of this product signifies your acceptance of the Terms of Use.