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 条
  • [41] Pattern Catalog for MultiCore Migration of Embedded Automotive Systems
    Macher, Georg
    Hoeller, Andrea
    Armengaud, Eric
    Kreiner, Christian
    PROCEEDINGS OF THE 20TH EUROPEAN CONFERENCE ON PATTERN LANGUAGES OF PROGRAMS (EUROPLOP 2015), 2015,
  • [42] VLSI design and verification methodologies for automotive embedded systems
    Fanucci, L
    Giambastiani, A
    Rosadini, C
    SCS 2003: INTERNATIONAL SYMPOSIUM ON SIGNALS, CIRCUITS AND SYSTEMS, VOLS 1 AND 2, PROCEEDINGS, 2003, : 261 - 264
  • [43] Channel Characterization Techniques for Wireless Automotive Embedded Systems
    Cheikh, M.
    David, J.
    Tartarin, J.
    Kessler, S.
    Morin, A.
    PIERS 2011 MARRAKESH: PROGRESS IN ELECTROMAGNETICS RESEARCH SYMPOSIUM, 2011, : 1391 - 1395
  • [44] Special Issue on Automotive Embedded Systems Guest Editorial
    Di Natale, Marco
    Ghosal, Arkadeb
    Giusto, Paolo
    Sangiovanni-Vincentelli, Alberto
    Zeng, Haibo
    Seshia, Sanjit
    IEEE EMBEDDED SYSTEMS LETTERS, 2010, 2 (02) : 21 - +
  • [45] Improving automotive embedded systems engineering at European level
    Griessnig, G.
    Kundner, I.
    Armengaud, E.
    Torchiaro, S.
    Karlsson, D.
    ELEKTROTECHNIK UND INFORMATIONSTECHNIK, 2011, 128 (06): : 209 - 214
  • [46] Fault models for embedded systems
    Godskesen, JC
    CORRECT HARDWARE DESIGN AND VERIFICATION METHODS, 1999, 1703 : 354 - 359
  • [47] Models of Event Driven Systems
    Bicevska, Zane
    Bicevskis, Janis
    Karnitis, Girts
    DATABASES AND INFORMATION SYSTEMS, DB&IS 2016, 2016, 615 : 83 - 98
  • [48] A computational model for complex systems of embedded systems
    Luqi
    Qiao, Y
    Zhang, L
    RADICAL INNOVATIONS OF SOFTWARE AND SYSTEMS ENGINEERING IN THE FUTURE, 2004, 2941 : 261 - 273
  • [49] On Validation of Simulation Models in Timing Analysis of Complex Real-Time Embedded Systems
    Lu, Yue
    Kraft, Johan
    Nolte, Thomas
    Norstrom, Christer
    2010 IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2010,
  • [50] Hybrid systems and the design of embedded controllers for automotive engine management
    Balluchi, A
    Benvenuti, L
    Di Benedetto, M
    Ferrari, A
    Pinello, C
    Sangiovanni-Vincentelli, A
    PROCEEDINGS OF THE 37TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-4, 1998, : 2656 - 2661