Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Visualizing Verification Adrian A. Marsh
 

Summary: Visualizing Verification
Adrian A. Marsh
April 2004
Abstract
This paper proposes extending UML modeling to system verification. Changing
the utilization of the UML diagrams will increase the quality of systems requirements,
ease the development of verification testing, and result in an accurate graphical depiction
of the system throughout the design process.
Keywords
Systems Engineering, Requirements Engineering, UML and System Verification
2
Table of Contents
1. Problem Statement.......................................................................................................... 3
2. Scope and Objectives...................................................................................................... 4
3. Current Systems Engineering Design Process................................................................ 5
4. Proposed Systems Engineering Design Process ............................................................. 9
5. Implementation ............................................................................................................. 12
A. Parallel Verification Diagram................................................................................. 12
B. UML/Verification Extension.................................................................................... 13
6. Conclusions................................................................................................................... 15

  

Source: Austin, Mark - Institute for Systems Research & Department of Civil and Environmental Engineering, University of Maryland at College Park

 

Collections: Engineering