Title :
Model Driven Validation of System Architectures
Author :
Pflüger, André ; Golubski, Wolfgang ; Queins, Stefan
Author_Institution :
Westsachsische Hochschule Zwickau, Zwickau, Germany
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;
Conference_Titel :
High-Assurance Systems Engineering (HASE), 2011 IEEE 13th International Symposium on
Conference_Location :
Boca Raton, FL
Print_ISBN :
978-1-4673-0107-7
DOI :
10.1109/HASE.2011.46