Comparative Evaluation of Timing Model Extraction Methodologies at EAST-ADL Design Level

There are various methodologies that support the extraction of timing models from EAST-ADL design-level models during the development of vehicular embedded software systems. These timing models are used to predict timing behavior of the systems by performing end-to-end timing analysis. This paper presents a comparative evaluation of three methodologies. We present an evaluation framework that consists of several evaluation features. Using the framework, we compare and evaluate the methodologies against each feature. Eventually, the evaluation results can be used as guidelines for the selection of the most suitable methodology with respect to the end-to-end timing behavior of a given vehicular embedded system.

[1]  Vinod G. Shelake,et al.  Integrated Development Environment , 2007 .

[2]  Ljerka Beus-Dukic,et al.  Specifying timing requirements in domain specific languages for modeling , 2014, 2014 3rd Mediterranean Conference on Embedded Computing (MECO).

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

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

[5]  Paul Pettersson,et al.  ViTAL: A Verification Tool for EAST-ADL Models Using UPPAAL PORT , 2012, 2012 IEEE 17th International Conference on Engineering of Complex Computer Systems.

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

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

[8]  Mathai Joseph,et al.  Finding Response Times in a Real-Time System , 1986, Comput. J..

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

[10]  Martin Törngren,et al.  A Timed Automata-Based Method to Analyze EAST-ADL Timing Constraint Specifications , 2012, ECMFA.