DocumentCode
2788546
Title
Model Driven Validation of System Architectures
Author
Pflüger, André ; Golubski, Wolfgang ; Queins, Stefan
Author_Institution
Westsachsische Hochschule Zwickau, Zwickau, Germany
fYear
2011
fDate
10-12 Nov. 2011
Firstpage
25
Lastpage
28
Abstract
The architecture is the basic structure of every system. The system architect is responsible for ensuring that it fits to the system requirements even if these requirements change according to new conditions during development process. Our approach defines a model driven process for the architect to validate system architecture against system requirements and it supports the architect in analysing the impacts of requirements changes.
Keywords
formal verification; software architecture; model driven validation; system architecture validation; system development process; system requirements; Computer architecture; Data models; Hardware; Radar tracking; Software; Unified modeling language; UML; architecture; model-driven; validation;
fLanguage
English
Publisher
ieee
Conference_Titel
High-Assurance Systems Engineering (HASE), 2011 IEEE 13th International Symposium on
Conference_Location
Boca Raton, FL
ISSN
1530-2059
Print_ISBN
978-1-4673-0107-7
Type
conf
DOI
10.1109/HASE.2011.46
Filename
6113869
Link To Document