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