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
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;
Conference_Titel :
Autotestcon, 2007 IEEE
Conference_Location :
Baltimore, MD
Print_ISBN :
978-1-4244-1239-6
Electronic_ISBN :
1088-7725
DOI :
10.1109/AUTEST.2007.4374240