• DocumentCode
    2618227
  • Title

    A unified approach to requirements validation and system verification

  • Author

    Foster, George J. ; Helm, Annette L.

  • Author_Institution
    Defense Group, CSC, King George, VA, USA
  • fYear
    2010
  • fDate
    5-8 April 2010
  • Firstpage
    404
  • Lastpage
    408
  • Abstract
    In large software-intensive systems, validation of requirements and verification of system performance are often performed completely independently by separate groups at great expense. However, by producing products at the requirements validation phase of development that can be reused during system performance verification, the costs can be greatly reduced and the verification can be increasingly automated with an improvement in quality. We present our model and simulation approach to requirements validation that produces data analysis tools that are then reused in automating system.
  • Keywords
    data analysis; program verification; data analysis tools; requirements validation; software intensive systems; system verification; Neptune; WRATS; modeling; simulation; validation; verification;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Systems Conference, 2010 4th Annual IEEE
  • Conference_Location
    San Diego, CA
  • Print_ISBN
    978-1-4244-5882-0
  • Type

    conf

  • DOI
    10.1109/SYSTEMS.2010.5482324
  • Filename
    5482324