Title :
Combat management systems: Predicting performance early in the design lifecycle
Author :
Britton, Matthew ; Falkner, K. ; Puddy, Gavin
Author_Institution :
Centre for Defence Commun. & Inf. Technol., Univ. of Adelaide, Adelaide, SA, Australia
Abstract :
In this paper we show how designs of COTS-based real-time systems, such as Naval combat management systems, can be realistically analysed early in their design lifecycle using the technique of executable modelling, potentially identifying problems earlier in the design lifecycle than by using traditional design methodologies, with resultant cost and time savings. Our emphasis is on verifying performance through-life as components change, and in the initial design where military off-the-shelf components may be used in a platform with different capabilities than originally intended.
Keywords :
formal verification; military computing; naval engineering computing; real-time systems; software packages; software performance evaluation; COTS-based real-time systems; cost savings; design lifecycle; military off-the-shelf components; model-driven engineering; naval combat management systems; performance prediction; performance verification; time savings; Blades; Hardware; Middleware; Predictive models; Sensors; Servers; combat systems; executable models; model-driven engineering; submarines;
Conference_Titel :
Military Communications and Information Systems Conference (MilCIS), 2013
Conference_Location :
Canberra, ACT
Print_ISBN :
978-1-4799-0281-1
DOI :
10.1109/MilCIS.2013.6694492