Title :
Use cases in an IV&V system reference model
Author :
Facemire, Michael ; Dabney, James B.
Author_Institution :
L-3 Commun., Fairmont, WV, USA
Abstract :
As the complexity of software-intensive systems increases, it becomes more difficult for independent verification and validation (IV&V) agents to perform comprehensive requirements analysis early in the product lifecycle. In order to accelerate early-lifecycle IV&V, the NASA IV&V Program has explored a system reference model (SRM) approach using unified modeling language (UML) constructs to model key system behaviors. This paper describes the SRM concept and early results of its application.
Keywords :
Unified Modeling Language; formal specification; formal verification; systems analysis; NASA; independent verification and validation; product lifecycle; requirements analysis; software-intensive system; system reference model; unified modeling language; Independent verification and validation; requirements analysis; system reference model;
Conference_Titel :
Systems Conference, 2010 4th Annual IEEE
Conference_Location :
San Diego, CA
Print_ISBN :
978-1-4244-5882-0
DOI :
10.1109/SYSTEMS.2010.5482476