DocumentCode
916648
Title
Ongoing requirements discovery in high-integrity systems
Author
Lutz, Robyn R. ; Mikulski, Inés Carmen
Author_Institution
Jet Propulsion Lab., California Inst. of Technol., Pasadena, CA, USA
Volume
21
Issue
2
fYear
2004
Firstpage
19
Lastpage
25
Abstract
Discovering new requirements and requirements knowledge continues throughout the lifetime of many high-integrity embedded systems. Understanding the mechanisms for how we discover and resolve requirements identifies guidelines to help prevent anomalies found during testing from recurring during operations. We can improve our systems´ quality by means of a better understanding of the mechanisms by which we discover requirements and manage them in testing and operations. We analyzed anomaly reports from testing and operations for eight spacecraft projects at the California Institute of Technology´s Jet Propulsion Laboratory, showing that many of the anomalies during these phases involve software requirements discovery. As a result, several patterns of requirements discovery emerged. In turn, identifying these patterns leads to six guidelines for managing the ongoing requirements discovery.
Keywords
embedded systems; formal specification; formal verification; systems analysis; anomaly reports; high-integrity embedded systems; requirements discovery patterns; software requirements discovery; spacecraft projects; system quality; Aerospace engineering; Databases; Embedded system; Knowledge engineering; Laboratories; Mars; Propulsion; Space technology; Space vehicles; System testing;
fLanguage
English
Journal_Title
Software, IEEE
Publisher
ieee
ISSN
0740-7459
Type
jour
DOI
10.1109/MS.2004.1270757
Filename
1270757
Link To Document