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 :
بازگشت