Complex event models for automotive embedded systems

被引:1
|
作者
Krawczyk, Lukas [1 ]
Bazzal, Mahmoud [1 ]
Mackamul, Harald [2 ]
Weber, Raphael [3 ]
Wolff, Carsten [1 ]
机构
[1] Dortmund Univ Appl Sci & Arts, D-44227 Dortmund, Germany
[2] Robert Bosch GmbH, D-70049 Stuttgart, Germany
[3] Vector Informat GmbH, D-93053 Regensburg, Germany
关键词
Amalthea; APP4MC; Autosar; East-ADL; Event models; Performance analysis; Real-time systems; TIMING ANALYSIS; SYMTA/S;
D O I
10.1016/j.sysarc.2021.102343
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
The adherent need for computational power in highly automated driving will lead to fewer control units with larger computational power, eventually replacing a large number of a vehicle's electric control units by so-called vehicle control computers. As a result, high-level functionality will no longer be realized by co-designing software and hardware, but instead by integrating software from different suppliers onto a shared hardware platform. In order to ensure that this functionality will operate according to system specifications, the integrator will need to ensure that requirements related to performance and timing are fulfilled. However, solely relying on e.g. periodical or event triggered activation patterns when integrating third-party software without taking into account external triggering information may lead to overly pessimistic estimations, thus leading to unnecessarily expensive hardware or even preventing feasible configurations. In this work, we provide a comprehensive overview of activation patterns that are employed in the automotive industry and a detailed description of their semantics. We also propose novel event models corresponding to these activation patterns in order to enable the application of performance analysis techniques. We demonstrate the usage of these models on a case study in the context of compositional performance analysis, and quantify the improvement when bounding response times in comparison to the usage of chained task sets. Our experimental results show that the accurate representation of occurrence schemes using specialized event models allows to reduce the pessimism by up to 32.3% compared to using traditional modeling techniques. Finally, we discuss the results along with the impact on the determinism of an application's temporal behavior.
引用
收藏
页数:11
相关论文
共 50 条
  • [1] Discrete Event Simulation and Analysis of Timing Problems in Automotive Embedded Systems
    Lauer, Christoph
    German, Reinhard
    Pollmer, Jens
    2010 IEEE INTERNATIONAL SYSTEMS CONFERENCE, 2010, : 18 - 22
  • [2] Automotive Embedded Systems
    Watzenig, Daniel
    Armengaud, Eric
    ELEKTROTECHNIK UND INFORMATIONSTECHNIK, 2011, 128 (06): : 189 - 189
  • [3] Logs and models in engineering complex embedded systems
    Yang, Nan
    Cuijpers, Pieter
    Schiffelers, Ramon
    Lukkien, Johan
    Serebrenik, Alexander
    2021 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE AND EVOLUTION (ICSME 2021), 2021, : 695 - 700
  • [4] Pruning Architectural Models of Automotive Embedded Systems via Dependency Analysis
    Marinescu, Raluca
    Mubeen, Saad
    Seceleanu, Cristina
    2016 42ND EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA), 2016, : 293 - 302
  • [5] Trends in Automotive Embedded Systems
    Gunnarsson, Dan
    Kuntz, Stefan
    Farrall, Glenn
    Iwai, Akihiko
    Ernst, Rolf
    CASES'12: PROCEEDINGS OF THE 2012 ACM INTERNATIONAL CONFERENCE ON COMPILERS, ARCHITECTURES AND SYNTHESIS FOR EMBEDDED SYSTEMS, 2012, : 9 - 9
  • [6] Trends in Automotive Embedded Systems
    Gunnarsson, Dan
    Kuntz, Stefan
    Farrall, Glenn
    Iwai, Akihiko
    Ernst, Rolf
    EMSOFT '12: PROCEEDINGS OF THE TENTH AMC INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE 2012, 2012, : 9 - 9
  • [7] Trends in Automotive Embedded Systems
    Gunnarsson, Dan
    Kuntz, Stefan
    Farrall, Glenn
    Iwai, Akihiko
    Ernst, Rolf
    CODES+ISSS'12:PROCEEDINGS OF THE TENTH ACM INTERNATIONAL CONFERENCE ON HARDWARE/SOFTWARE-CODESIGN AND SYSTEM SYNTHESIS, 2012, : 9 - 9
  • [8] Standard Compliant Co-simulation Models for Verification of Automotive Embedded Systems
    Krammer, Martin
    Martin, Helmut
    Radmilovic, Zoran
    Erker, Simon
    Karner, Michael
    LANGUAGES, DESIGN METHODS, AND TOOLS FOR ELECTRONIC SYSTEM DESIGN, 2016, 385 : 29 - 47
  • [9] Standard Compliant Co-Simulation Models for Verification of Automotive Embedded Systems
    Krammer, Martin
    Martin, Helmut
    Radmilovic, Zoran
    Erker, Simon
    Karner, Michael
    2015 18th Forum on Specification and Design Languages (FDL), 2015, : 57 - 64
  • [10] Safety Analysis of Automotive Embedded Systems
    Jesty, Peter H.
    Ward, David D.
    Rivett, Roger S.
    SAE INTERNATIONAL JOURNAL OF PASSENGER CARS-ELECTRONIC AND ELECTRICAL SYSTEMS, 2009, 1 (01): : 255 - 264