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