• DocumentCode
    153960
  • Title

    Mission Assurance through Requirements Traceability

  • Author

    Williams, Chris ; Ibbotson, John ; Lockerbie, James ; Attwood, Katrina

  • Author_Institution
    Dstl Porton Down, Salisbury, UK
  • fYear
    2014
  • fDate
    6-8 Oct. 2014
  • Firstpage
    1645
  • Lastpage
    1650
  • Abstract
    The network element of a system provides benefits of connectivity between disparate systems, including within coalitions. In order to understand the behaviours of networked systems it is not sufficient just to capture network lay downs or other technical architectures. Instead the people, processes and technology need to be understood, along with their respective interactions. A key challenge the military faces is how mission objectives can be related to the assets available (technical & human). This paper will describe how concepts in requirements engineering, augmented with system survivability techniques, can provide a practical means to achieve mission assurance and mission configurability. Requirements traceability is achieved using satisfaction arguments, while also capturing assumptions and constraints. Further, requirements description using controlled natural language is demonstrated as a first step in providing a machine traceable approach that would potentially allow for automated detection and response in the future, such as for network hardening. This work will develop a prototype toolset which can be trialled with defence users.
  • Keywords
    formal specification; military computing; software reliability; assets available; automated detection; controlled natural language; machine traceable approach; mission assurance; mission configurability; mission objectives; requirements engineering; requirements traceability; satisfaction arguments; system survivability techniques; Context; Force; Measurement; Planning; Scalability; controlled English; mission assurance; mission configurability; mission threads; requirments; satisfaction arguments;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Military Communications Conference (MILCOM), 2014 IEEE
  • Conference_Location
    Baltimore, MD
  • Type

    conf

  • DOI
    10.1109/MILCOM.2014.270
  • Filename
    6956991