DocumentCode
3059106
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
fYear
2001
fDate
36982
Firstpage
145
Lastpage
150
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Performance, Computing, and Communications, 2001. IEEE International Conference on.
Conference_Location
Phoenix, AZ
Print_ISBN
0-7803-7001-5
Type
conf
DOI
10.1109/IPCCC.2001.918647
Filename
918647
Link To Document