MoVES: A Model-Driven Methodology for Vehicular Embedded Systems

被引:17
|
作者
Bucaioni, Alessio [1 ,2 ]
Addazi, Lorenzo [1 ]
Cicchetti, Antonio [1 ]
Ciccozzi, Federico [1 ]
Eramo, Romina [3 ]
Mubeen, Saad [1 ,2 ]
Sjodin, Mikael [1 ]
机构
[1] Malardalen Univ, Sch Innovat Design & Engn, S-72123 Vasteras, Sweden
[2] Arcticus Syst AB, S-17543 Jarfalla, Sweden
[3] Univ Aquila, Dept Informat Engn Comp Sci & Math, I-67100 Laquila, Italy
来源
IEEE ACCESS | 2018年 / 6卷
基金
瑞典研究理事会;
关键词
Model-driven development; vehicular embedded systems; EAST-ADL; component model; model transformations; DESIGN-SPACE; TIME; TRANSFORMATION;
D O I
10.1109/ACCESS.2018.2789400
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
This paper introduces a novel model-driven methodology for the software development of real-time distributed vehicular embedded systems on single-and multi-core platforms. The proposed methodology discloses the opportunity of improving the cost-efficiency of the development process by providing automated support to identify viable design solutions with respect to selected non-functional requirements. To this end, it leverages the interplay of modeling languages for the vehicular domain whose integration is achieved by a suite of model transformations. An instantiation of the methodology is discussed for timing requirements, which are among the most critical ones for vehicular systems. To support the design of temporally correct systems, cooperation between EAST-ADL and the Rubus component model is opportunely built-up by means of model transformations, enabling timing-aware design and model-based timing analysis of the system. The applicability of the methodology is demonstrated as the proof of concepts on industrial use cases performed in cooperation with our industrial partners.
引用
收藏
页码:6424 / 6445
页数:22
相关论文
共 50 条
  • [31] SystemC/C-Based Model-Driven Design for Embedded Systems
    Riccobene, Elvinia
    Scandurra, Patrizia
    Bocchio, Sara
    Rosti, Alberto
    Lavazza, Luigi
    Mantellini, Luigi
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2009, 8 (04)
  • [32] Towards model-driven methodology: A novel testing approach for collaborative embedded system design
    Jiao, Yi
    Zhu, Kun
    Yu, Qiang
    Wu, Baifeng
    2006 10TH INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED COOPERATIVE WORK IN DESIGN, PROCEEDINGS, VOLS 1 AND 2, 2006, : 112 - 116
  • [33] Towards a model-driven software engineering methodology for organic computing systems
    Kasinger, H
    Bauer, B
    PROCEEDINGS OF THE IASTED INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE, 2005, : 141 - 146
  • [34] Aspect-Oriented Model-Driven Engineering for Embedded Systems Applied to Automation Systems
    Wehrmeister, Marco A.
    Pereira, Carlos Eduardo
    Rammig, Franz J.
    IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2013, 9 (04) : 2373 - 2386
  • [35] Model-Driven Embedded-System Design
    Basten, Twan
    Ernst, Rolf
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2010, 10 (02)
  • [36] The Research of Model-Driven Architecture in The Embedded System
    Jin, Huang
    ADVANCED DEVELOPMENT IN AUTOMATION, MATERIALS AND MANUFACTURING, 2014, 624 : 524 - 527
  • [37] Model-driven systems development
    Balmelli, L.
    Brown, D.
    Cantor, M.
    Mott, M.
    IBM SYSTEMS JOURNAL, 2006, 45 (03) : 569 - 585
  • [38] Model-driven distributed systems
    Coutts, IA
    Edwards, JM
    IEEE CONCURRENCY, 1997, 5 (03): : 55 - &
  • [39] A Methodology for Model-Driven Web Application Composition
    Kateros, Dimitrios A.
    Kapitsaki, Georgia M.
    Tselikas, Nikolaos D.
    Venieris, Iakovos S.
    2008 IEEE INTERNATIONAL CONFERENCE ON SERVICES COMPUTING, PROCEEDINGS, VOL 2, 2008, : 489 - 492
  • [40] MODEL-DRIVEN ENGINEERING AND FORMAL VALIDATION OF HIGH-PERFORMANCE EMBEDDED SYSTEMS
    Gamatie, Abdoulaye
    Rutten, Eric
    Yu, Huafeng
    Boulet, Pierre
    Dekeyser, Jean-Luc
    SCALABLE COMPUTING-PRACTICE AND EXPERIENCE, 2009, 10 (02): : 147 - 162