Modeling embedded systems using a tailored view framework and architecture modeling constraints

Due to the increasing amount of computation in embedded devices, there is a need for software and systems architecture approaches specifically tailored for the needs of the domain. We present in this paper a view framework for the design of embedded systems that has evolved during various projects with industry customers. Our approach is complemented by architecture modeling constraints that can be used to automatically check the completeness and consistency of the created architecture models. In this article, we present our approach together with a preliminary experience report of the application of our approach in different domains.

[1]  Rolf Johansson,et al.  The EAST-ADL Architecture Description Language for Automotive Embedded Software , 2007, Model-Based Engineering of Embedded Real-Time Systems.

[2]  Heinrich Hußmann,et al.  Modular architecture for a toolset supporting OCL , 2000, Sci. Comput. Program..

[3]  Humberto Cervantes,et al.  Designing Software Architectures: A Practical Approach , 2016 .

[4]  Peter Liggesmeyer,et al.  Trends in Embedded Software Engineering , 2009, IEEE Software.

[5]  Achim D. Brucker,et al.  Model-Driven Constraint Engineering , 2006, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

[6]  G. Tosti,et al.  The software architecture to control the Cherenkov Telescope Array , 2016, Astronomical Telescopes + Instrumentation.

[7]  Philippe Kruchten,et al.  The 4+1 View Model of Architecture , 1995, IEEE Softw..

[8]  Eoin Woods,et al.  Software Systems Architecture: Working with Stakeholders Using Viewpoints and Perspectives , 2005 .

[9]  Peter H. Feiler,et al.  The Architecture Analysis & Design Language (AADL): An Introduction , 2006 .

[10]  Manfred Broy,et al.  Model-Based Engineering of Embedded Systems , 2012, Springer Berlin Heidelberg.

[11]  Manfred Broy,et al.  Model-Based Engineering of Embedded Systems: The SPES 2020 Methodology , 2012 .

[12]  Paul Clements,et al.  Software architecture in practice , 1999, SEI series in software engineering.

[13]  Karel Richta,et al.  Using OCL in Model Validation According to Stereotypes , 2012, DATESO.

[14]  Heinrich Hußmann,et al.  Modular architecture for a toolset supporting OCL , 2002, Sci. Comput. Program..