Comparative Evaluation of Timing Model Extraction Methodologies at EAST-ADL Design Level
暂无分享,去创建一个
Federico Ciccozzi | Antonio Cicchetti | Mikael Sjödin | Alessio Bucaioni | Saad Mubeen | Federico Ciccozzi | A. Cicchetti | Mikael Sjödin | S. Mubeen | Alessio Bucaioni
[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.