• DocumentCode
    1966785
  • Title

    Applying requirement monitoring for autonomic computing in a combat management system

  • Author

    Westdijk, Robert ; Rothkrantz, Leon ; Van Leijen, A. Vincent

  • Author_Institution
    Force Vision, Den Helder
  • fYear
    2007
  • fDate
    17-20 Sept. 2007
  • Firstpage
    349
  • Lastpage
    358
  • Abstract
    Diagnosis of large and complex software systems is a challenging task that can highly benefit from monitoring of the high-level functional requirements. This work studies the potential of applying requirements monitoring for a software system of high complexity: the combat management system (CMS) of a modern and technologically advanced naval platform. An effort is made to apply the requirements monitoring method for autonomizing of this system while limiting implementation impact. The KAOS goal-oriented requirements engineering method is used to extract software system goals from previously documented requirements. With these high-level objectives as a starting point, the ReqMon requirements monitoring framework is applied. An implementation model is defined, identifying what data transformations are needed to apply the ReqMon system. Tests with a requirements monitoring prototype demonstrate that detailed diagnosis of a complex software system as a CMS is feasible and furthermore that comprehensive manual fault analysis can be replaced by an automated process: the first step towards a self-healing autonomic combat management system is taken.
  • Keywords
    expert systems; formal specification; formal verification; military computing; military systems; ships; systems analysis; KAOS goal-oriented requirements engineering; ReqMon requirement; automated fault analysis; autonomic computing; combat management system; complex software systems; naval platform; requirement monitoring; self-healing autonomic combat management; Automatic testing; Collision mitigation; Computerized monitoring; Data mining; Design engineering; Software prototyping; Software systems; Software testing; System testing; Technology management;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Autotestcon, 2007 IEEE
  • Conference_Location
    Baltimore, MD
  • ISSN
    1088-7725
  • Print_ISBN
    978-1-4244-1239-6
  • Electronic_ISBN
    1088-7725
  • Type

    conf

  • DOI
    10.1109/AUTEST.2007.4374240
  • Filename
    4374240