DocumentCode :
2619708
Title :
Use cases in an IV&V system reference model
Author :
Facemire, Michael ; Dabney, James B.
Author_Institution :
L-3 Commun., Fairmont, WV, USA
fYear :
2010
fDate :
5-8 April 2010
Firstpage :
127
Lastpage :
132
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;
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.5482476
Filename :
5482476
Link To Document :
بازگشت