Tool-supported model-driven validation process for system architectures

Authors:
André Pflüger;Wolfgang Golubski;Stefan Queins
Affiliations:
Westsächsische Hochschule, Zwickau, Germany;Westsächsische Hochschule, Zwickau, Germany;SOPHIST GmbH, Nürnberg, Germany
Venue:
Proceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded Systems
Year:
2012

Citing 8
Cited 0

Software Engineering Economics

Software Engineering Economics
Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation

ICST '09 Proceedings of the 2009 International Conference on Software Testing Verification and Validation
Validating Real Time Specifications using Real Time Event Queue Modeling

ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Requirements Engineering: Fundamentals, Principles, and Techniques

Requirements Engineering: Fundamentals, Principles, and Techniques
Verification and Validation in Systems Engineering: Assessing UML/SysML Design Models

Verification and Validation in Systems Engineering: Assessing UML/SysML Design Models
Targeting complex embedded architectures by combining the multicore communications API (mcapi) with compile-time virtualisation

Proceedings of the 2011 SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems
Virtual verification of system designs against system requirements

MODELS'10 Proceedings of the 2010 international conference on Models in software engineering
Model Driven Validation of System Architectures

HASE '11 Proceedings of the 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

Designing system architecture is still an error-prone process and a great challenge. The development of complex embedded systems like radar systems is very cost-intensive. Therefore it is important that system architects are supported by appropriate tools. Our UML-based process focuses on validating the architecture against system requirements and analyzing the impacts of requirement or architectural changes. In this paper we present a supporting tool providing automatization possibilities for the validation process. This is a major breakthrough as it reduces the need for repetitive, time consuming and mindless validation process to be conducted manually. The tool is able to handle all the requirements, including the requirements' interconnections with one another, and increase process usability.