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 条
  • [21] A model-driven automatically-retargetable debug tool for embedded systems
    Schultz, Max R. de O.
    Mendonca, Alexandre K. I.
    Carvalho, Felipe G.
    Furtado, Olinto J. V.
    Santos, Luiz C. V.
    EMBEDDED COMPUTER SYSTEMS: ARCHITECTURES, MODELING, AND SIMULATION - PROCEEDINGS, 2007, 4599 : 13 - +
  • [22] Organic Computing and Model-Driven Engineering in Embedded Systems Position Statement
    Sterritt, Roy
    Hinchey, Mike
    PROCEEDINGS OF THE 12TH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT/COMPONENT/SERVICE-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, 2009, : 95 - +
  • [23] A model-driven framework for design and verification of embedded systems through SystemVerilog
    Anwar, Muhammad Waseem
    Rashid, Muhammad
    Azam, Farooque
    Kashif, Muhammad
    Butt, Wasi Haider
    DESIGN AUTOMATION FOR EMBEDDED SYSTEMS, 2019, 23 (3-4) : 179 - 223
  • [24] Communication Alternatives Exploration in Model-Driven Design of Networked Embedded Systems
    Ebeid, E.
    Fummi, F.
    Quaglia, D.
    2013 14TH INTERNATIONAL WORKSHOP ON MICROPROCESSOR TEST AND VERIFICATION (MTV): COMMON CHALLENGES AND SOLUTIONS, 2013, : 45 - 51
  • [25] A model-driven framework for design and verification of embedded systems through SystemVerilog
    Muhammad Waseem Anwar
    Muhammad Rashid
    Farooque Azam
    Muhammad Kashif
    Wasi Haider Butt
    Design Automation for Embedded Systems, 2019, 23 : 179 - 223
  • [26] 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)
  • [27] Towards the Model-Driven Engineering of Secure yet Safe Embedded Systems
    Apvrille, Ludovic
    Roudier, Yves
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (148): : 15 - 30
  • [28] A Research Roadmap for Model-Driven Design of Embedded Systems for Automation Components
    Strasser, T.
    Rooker, M.
    Hegny, I.
    Wenger, M.
    Zoitl, A.
    Ferrarini, L.
    Dede, A.
    Colla, M.
    2009 7TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, VOLS 1 AND 2, 2009, : 564 - 569
  • [29] Formal Specification and Systematic Model-Driven Testing of Embedded Automotive Systems
    Siegl, Sebastian
    Hielscher, Kai-Steffen
    German, Reinhard
    Berger, Christian
    2011 DESIGN, AUTOMATION & TEST IN EUROPE (DATE), 2011, : 118 - 123
  • [30] Model-Driven Embedded Systems Design Environment for the Industrial Automation Sector
    Strasser, Thomas
    Suender, Christoph
    Valentini, Antonio
    2008 6TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, VOLS 1-3, 2008, : 1081 - +