research-article

Tool-supported model-driven validation process for system architectures

Authors:

André Pflüger,

Wolfgang Golubski,

Stefan QueinsAuthors Info & Claims

ACES-MB '12: Proceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded Systems

Pages 1 - 6

https://doi.org/10.1145/2432631.2432632

Published: 30 September 2012 Publication History

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.

References

[1]

Pflüger, A., Golubski, W., Queins, S.: Validation of System Architectures against Requirements. In: 2010 International Conference on Systems, Computing Sciences and Software Engineering, part of the International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering (CISSE). Springer (2012)

[2]

Pflüger, A., Golubski, W., Queins, S.: Model Driven Validation of System Architecture. In: 13th IEEE International Symposium on High-Assurance Systems Engineering (HASE), pp. 25--28. IEEE Computer Society (2011)

Digital Library

[3]

Boehm, B. W.: Software Engineering Economics. Prentice Hall (1981)

Digital Library

[4]

Endres, A., Rombach, D.: A Handbook of Software and Systems Engineering. Addison-Wesley Longman (2003)

[5]

Grady, J. O.: System Validation and Verification. CRC Press, Boca Raton (1997)

[6]

International Council on System Engineering: INCOSE Systems Engineering Handbook (version 3.2.2), http://www.incose.org

[7]

Pohl, K.: Requirements Engineering - Fundamentals, Principles, and Techniques. Springer (2010)

Digital Library

[8]

Navy Modeling and Simulation Management Office: Modeling and Simulation Verification, Validation and Accreditation Implementation Handbook. Technical Report, Department of the Navy, USA (2004)

[9]

Dörr, J.: Elicitation of a Complete Set of Non-Functional Requirements. Doctoral Thesis. University of Kaiserslautern. Fraunhofer Verlag (2010)

[10]

Debabbi, M., Hassaine, F., Jarraya, Y., Soeanu, A., Alawneh, L.: Verification and Validation in Systems Engineering - Assessing UML/SysML Design Models. Springer (2010)

Digital Library

[11]

Schamai, W., Helle, P., Fritzson, P., Paredis, C. J. J.: Virtual Verification of System Designs against System Requirements. In: Models in Software Engineering - Workshops and Symposia at MODELS 2010. LNCS, vol. 6627, pp. 75--89. Springer (2011)

Digital Library

[12]

Aydal, E. G., Paige, R. F., Utting, M., Woodcock, J.: Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation. In: Second International Conference on Software Testing, Verification and Validation (ICST), pp. 131--140. IEEE Computer Society (2009)

Digital Library

[13]

Hall, R. J.: Validating Real Time Specifications using Real Time Event Queue Modeling. In: 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE), pp. 79--88. IEEE (2008)

Digital Library

[14]

Holtmann, J., Meyer, J., Meyer, M.: A Seamless Model-Based Development Process for Automotive Systems. In: Software Engineering (SE) 2010 - Workshopband, LNI volume P-184, pp. 79--88, Bonner Köllen Verlag (2011)

[15]

Clements, P., Kazman, R., Klein, M.: Evaluating Software Architectures: Methods and Case Studies. Addison-Wesley Longman (2001)

[16]

Gray, I., Audsley, N. C.: Targeting Complex Embedded Architectures by Combining the Multicore Communications API (MCAPI) with Compile-Time Virtualisation. In: ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), pp. 51--60. ACM (2011)

Digital Library

Cited By

Anuar UAhmad SEmran N(2015)A simplified systematic literature review: Improving Software Requirements Specification quality with boilerplates2015 9th Malaysian Software Engineering Conference (MySEC)10.1109/MySEC.2015.7475203(99-105)Online publication date: Dec-2015
https://doi.org/10.1109/MySEC.2015.7475203
Zhao JZhao J(2014)Evaluation on Architecture Engineering Quality Based on Set Pair Analysis MethodApplied Mechanics and Materials10.4028/www.scientific.net/AMM.644-650.5749644-650(5749-5752)Online publication date: Sep-2014
https://doi.org/10.4028/www.scientific.net/AMM.644-650.5749

Index Terms

Tool-supported model-driven validation process for system architectures
1. General and reference
  1. Cross-computing tools and techniques
    1. Validation
2. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Empirical software validation
      2. Process validation

Recommendations

Model Driven Validation of System Architectures
HASE '11: Proceedings of the 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering

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 ...
Executable system architecting using systems modeling language in conjunction with colored Petri nets in a model-driven systems development process

This work proposes an executable system architecting paradigm for discrete-event system modeling and analysis through integration of a set of modeling tools, executable formalisms, analytical tools, and animation tools. The essential step is converting ...
Transformation techniques in the model-driven development process of UWE
ICWE '06: Workshop proceedings of the sixth international conference on Web engineering

Development of Web software is still an inefficient and error-prone process. We need integrated techniques and tool support for automated generation of Web systems. The goal of model-driven development (MDD) is to tackle these problems introducing a ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

ACES-MB '12: Proceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded Systems

September 2012

66 pages

ISBN:9781450318006

DOI:10.1145/2432631

Conference Chair:
Iulian Ober
University of toulouse-IRIT, France

Copyright © 2012 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 30 September 2012

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

MODELS '12

Sponsor:

SIGSOFT

MODELS '12: ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems

September 30, 2012

Innsbruck, Austria

Upcoming Conference

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
160
Total Downloads

Downloads (Last 12 months)8
Downloads (Last 6 weeks)0

Reflects downloads up to 11 Aug 2024

Other Metrics

View Author Metrics

Citations

Cited By

Anuar UAhmad SEmran N(2015)A simplified systematic literature review: Improving Software Requirements Specification quality with boilerplates2015 9th Malaysian Software Engineering Conference (MySEC)10.1109/MySEC.2015.7475203(99-105)Online publication date: Dec-2015
https://doi.org/10.1109/MySEC.2015.7475203
Zhao JZhao J(2014)Evaluation on Architecture Engineering Quality Based on Set Pair Analysis MethodApplied Mechanics and Materials10.4028/www.scientific.net/AMM.644-650.5749644-650(5749-5752)Online publication date: Sep-2014
https://doi.org/10.4028/www.scientific.net/AMM.644-650.5749

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents