Title :
Embedded software for a space interferometry system: automated analysis of a software product line architecture
Author :
Gannod, Gerald C. ; Lutz, Robyn R. ; Cantu, Marian
Author_Institution :
Dept. of Comput. Sci. & Eng., Arizona State Univ., Tempe, AZ, USA
Abstract :
This paper describes the analysis of the embedded software for an interferometry system using model checking as a means for achieving various analysis goals. The contribution of this paper is to demonstrate how the use of lightweight formal methods can be applied to software for an embedded system via analysis of the behavior of a software architecture
Keywords :
aerospace computing; astronomy computing; embedded systems; interferometry; software architecture; systems analysis; astronomy; embedded software; formal methods; model checking; software architecture; software product line architecture; space interferometry system; Computer architecture; Computer science; Connectors; Control systems; Embedded software; Embedded system; Laboratories; Optical interferometry; Propulsion; Software architecture;
Conference_Titel :
Performance, Computing, and Communications, 2001. IEEE International Conference on.
Conference_Location :
Phoenix, AZ
Print_ISBN :
0-7803-7001-5
DOI :
10.1109/IPCCC.2001.918647
