• 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