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 :
بازگشت