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 条
  • [41] 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
  • [42] A Model-Driven Engineering Framework for Fault Tolerance in Dependable Embedded Systems Design
    Ziani, Adel
    Hamid, Brahim
    Bruel, Jean-Michel
    2012 38TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA), 2012, : 166 - 169
  • [43] Domain Specific Views in Model-driven Embedded Systems Design in Industrial Automation
    Ferrarini, Luca
    Dede, Alessio
    Salauen, Patrick
    Dang, Tuan
    Fogliazza, G.
    2009 7TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, VOLS 1 AND 2, 2009, : 702 - +
  • [44] Managing Embedded Systems Complexity with Aspect-Oriented Model-Driven Engineering
    Driver, Cormac
    Reilly, Sean
    Linehan, Eamonn
    Cahill, Vinny
    Clarke, Siobhan
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2010, 10 (02)
  • [45] A Model-Driven Framework for the Development of Portable Real-time Embedded Systems
    Chehade, W. El Hajj
    Radermacher, A.
    Terrier, F.
    Selic, B.
    Gerard, S.
    2011 16TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS), 2011, : 45 - 54
  • [46] Model-Driven Design-Space Exploration for Embedded Systems: The Octopus Toolset
    Basten, Twan
    van Benthum, Emiel
    Geilen, Marc
    Hendriks, Martijn
    Houben, Fred
    Igna, Georgeta
    Reckers, Frans
    de Smet, Sebastian
    Somers, Lou
    Teeselink, Egbert
    Trcka, Nikola
    Vaandrager, Frits
    Verriet, Jacques
    Voorhoeve, Marc
    Yang, Yang
    LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT I, 2010, 6415 : 90 - 105
  • [47] Model-Driven Development of Industrial Embedded Systems : Challenges Faced and Lessons Learnt
    Nicholas, K.
    Bhatti, Z. E.
    Roop, P. S.
    2012 IEEE 17TH CONFERENCE ON EMERGING TECHNOLOGIES & FACTORY AUTOMATION (ETFA), 2012,
  • [48] Me3D: A Model-driven Methodology Expediting Embedded Device Driver Development
    Chen, Hui
    Godet-Bar, Guillaume
    Rousseau, Frederic
    Petrot, Frederic
    2011 22ND IEEE INTERNATIONAL SYMPOSIUM ON RAPID SYSTEM PROTOTYPING (RSP), 2011, : 171 - 177
  • [49] Model-driven Testing Approach for Embedded Systems Specifics Verification based on UML Model Transformation
    Grigorjevs, Jurijs
    MODEL-DRIVEN ARCHITECTURE AND MODEL-DRIVEN SOFTWARE DEVELOPMENT, 2011, : 26 - 35
  • [50] Verifying Protocol Conformance Using Software Model Checking for the Model-Driven Development of Embedded Systems
    Moffett, Yann
    Dingel, Juergen
    Beaulieu, Alain
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2013, 39 (09) : 1307 - 1325