• 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