Raising Abstraction of Timing Analysis through Model-Driven Engineering

The complexity of software running on vehicular embedded systems is constantlyincreasing and this negatively affects its development costs and time tomarket. One way to deal with these issues is t ...

[1]  Jukka Mäki-Turja,et al.  From Modeling to Deployment of Component-Based Vehicular Distributed Real-Time Systems , 2014, 2014 11th International Conference on Information Technology: New Generations.

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

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

[4]  Mary Shaw,et al.  The coming-of-age of software architecture research , 2001, Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001.

[5]  Yiannis Papadopoulos,et al.  Automatic optimisation of system architectures using EAST-ADL , 2013, J. Syst. Softw..

[6]  Victor R. Basili,et al.  The Experimental Paradigm in Software Engineering , 1992, Experimental Software Engineering Issues.

[7]  John A. Clark,et al.  Holistic schedulability analysis for distributed hard real-time systems , 1994, Microprocess. Microprogramming.

[8]  Jörgen Hansson,et al.  Assessing the State-of-Practice of Model-Based Engineering in the Embedded Systems Domain , 2014, MoDELS.

[9]  J. Javier Gutiérrez,et al.  MAST: Modeling and Analysis Suite for Real Time Applications , 2001, ECRTS.

[10]  Holger Giese,et al.  From model transformation to incremental bidirectional model synchronization , 2009, Software & Systems Modeling.

[11]  Flávio Rech Wagner,et al.  Model driven engineering for MPSOC design space exploration , 2007, SBCCI.

[12]  Antonio Cicchetti,et al.  Automatic Deployment Space Exploration Using Refinement Transformations , 2012 .

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

[14]  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..

[15]  Rolf Johansson,et al.  Developing Automotive Products Using the EAST-ADL2, an AUTOSAR Compliant Architecture Description Language , 2008 .

[16]  Carlo Ghezzi,et al.  Towards quality driven exploration of model transformation spaces , 2011, MODELS'11.

[17]  A. C. Rajeev,et al.  Schedulability and end-to-end latency in distributed ECU networks: formal modeling and precise estimation , 2010, EMSOFT '10.

[18]  Ludovico Iovino,et al.  What is needed for managing co-evolution in MDE? , 2011, IWMCP '11.

[19]  Douglas C. Schmidt,et al.  Guest Editor's Introduction: Model-Driven Engineering , 2006, Computer.

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

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

[22]  Rolf Johansson,et al.  A Design Framework for End-To-End Timing Constrained Automotive Applications , 2010 .

[23]  Alessio Bucaioni,et al.  Understanding bidirectional transformations with TGGs and JTL , 2013, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

[24]  Antonio Cicchetti,et al.  Exploring Timing Model Extractions at EAST-ADL Design-Level Using Model Transformations , 2015, 2015 12th International Conference on Information Technology - New Generations.

[25]  Matthias Gries,et al.  Methods for evaluating and covering the design space during early design development , 2004, Integr..

[26]  Hans Toetenel,et al.  Embedded Software Engineering: The State of the Practice , 2003, IEEE Softw..

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

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

[29]  Bashar Nuseibeh,et al.  Viewpoints: A Framework for Integrating Multiple Perspectives in System Development , 1992, Int. J. Softw. Eng. Knowl. Eng..

[30]  Nico Feiertag,et al.  A Compositional Framework for End-to-End Path Delay Calculation of Automotive Systems under Different Path Semantics , 2008, RTSS 2009.

[31]  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.

[32]  George T. Heineman,et al.  Component-Based Software Engineering: Putting the Pieces Together , 2001 .

[33]  Bernhard Schätz,et al.  Design-Space Exploration through Constraint-Based Model-Transformation , 2010, 2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems.

[34]  Stuart Kent,et al.  Model Driven Engineering , 2002, IFM.

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

[36]  Bran Selic,et al.  Using models in real-time software design , 2003 .

[37]  Ákos Horváth,et al.  A model-driven framework for guided design space exploration , 2011, ASE.

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

[39]  Jukka Mäki-Turja,et al.  Communications-oriented development of component-based vehicular distributed real-time embedded systems , 2014, J. Syst. Archit..

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

[41]  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).