Exploring Timing Model Extractions at EAST-ADL Design-Level Using Model Transformations

We discuss the problem of extracting control and data flows from vehicular distributed embedded systems at higher abstraction levels during their development. Unambiguous extraction of control and data flows is vital part of the end-to-end timing model which is used as input by the end-to end timing analysis engines. The goal is to support end-to-end timing analysis at higher abstraction levels. In order to address the problem, we propose a two-phase methodology that exploits the principles of Model Driven Engineering and Component Based Software Engineering. Using this methodology, the software architecture at a higher level is automatically transformed to all legal implementation-level models. The end-to-end timing analysis is performed on each generated implementation-level model and the analysis results are fed back to the design-level model. This activity supports design space exploration, model refinement and/or remodeling at higher abstraction levels for tuning the timing behavior of the system.

[1]  Hans Vangheluwe,et al.  Design-space exploration in model driven engineering : an initial pattern catalogue , 2014, MODELS 2014.

[2]  Ivica Crnkovic,et al.  Building Reliable Component-Based Software Systems , 2002 .

[3]  Jukka Mäki-Turja,et al.  The Rubus component model for resource constrained real-time systems , 2008, 2008 International Symposium on Industrial Embedded Systems.

[4]  Jukka Mäki-Turja,et al.  Towards Extraction of Interoperable Timing Models from Component-Based Vehicular Distributed Embedded Systems , 2014, 2014 11th International Conference on Information Technology: New Generations.

[5]  Ákos Horváth,et al.  A model-driven framework for guided design space exploration , 2011, 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011).

[6]  Antonio Cicchetti,et al.  Automatic Deployment Space Exploration Using Refinement Transformations , 2011, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

[7]  Thomas A. Henzinger,et al.  The Embedded Systems Design Challenge , 2006, FM.

[8]  Jukka Mäki-Turja,et al.  Translating Timing Constraints during Vehicular Distributed Embedded Systems Development , 2014, ModComp@MoDELS.

[9]  Antonio Cicchetti,et al.  Towards a Metamodel for the Rubus Component Model , 2014, ModComp@MoDELS.

[10]  Jukka Mäki-Turja,et al.  Support for end-to-end response-time and delay analysis in the industrial tool suite: Issues, experiences and a case study , 2013, Comput. Sci. Inf. Syst..

[11]  Antonio Cicchetti,et al.  JTL: A Bidirectional and Change Propagating Transformation Language , 2010, SLE.

[12]  Jean Bézivin,et al.  Towards a precise definition of the OMG/MDA framework , 2001, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).

[13]  Shane Sendall,et al.  Model Transformation: The Heart and Soul of Model-Driven Software Development , 2003, IEEE Softw..