DocumentCode :
1888115
Title :
An approach toward reuse of engineering models in the automation of system verification
Author :
Foster, George J. ; Helm, Annette L.
Author_Institution :
Strategic & Weapons Control Syst. Dept., Naval Surface Warfare Center, Dahlgren, VA, USA
fYear :
2011
fDate :
4-7 April 2011
Firstpage :
556
Lastpage :
562
Abstract :
In large systems such as weapons systems or enterprise business systems, validation of the requirements and verification of system performance are often performed by completely separate and independent teams. This often results in greater resources being used, which results in greater cost of acquisition. However, by tailoring the requirements validation process during the systems engineering and detailed design efforts to produce reusable models of the system software, these models can then be reused to increase the level of automation in the scenario planning, execution, and analysis during Test and Evaluation (T&E). We present our method of reusing engineering models to provide increased analysis coverage during system verification. We also describe our automated retest capability and discuss policy issues related to automated testing of components on the desktop.
Keywords :
formal specification; formal verification; program testing; software reusability; systems engineering; systems software; automation; design efforts; engineering model reuse; system performance verification; system software; system verification; systems engineering; test and evaluation; Algorithm design and analysis; Computer architecture; Java; Modeling; Software; Synchronization; Virtual machining; Neptune; WRATS; modeling; simulation; validation; verification;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Systems Conference (SysCon), 2011 IEEE International
Conference_Location :
Montreal, QC
Print_ISBN :
978-1-4244-9494-1
Type :
conf
DOI :
10.1109/SYSCON.2011.5929128
Filename :
5929128
Link To Document :
بازگشت