Worst-Case Failover Timing Analysis of Distributed Fail-Operational Automotive Applications

被引:2
|
作者
Weiss, Philipp [1 ]
Elsabbahy, Sherif [1 ]
Wcichslgartner, Andreas [2 ]
Steinhorst, Sebastian [1 ]
机构
[1] Tech Univ Munich, Munich, Germany
[2] AUDI AG, Ingolstadt, Germany
关键词
D O I
10.23919/DATE51398.2021.9473950
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
Enabling fail-operational behavior of safety-critical software is essential to achieve autonomous driving. At the same time, automotive vendors have to regularly deliver over-the-air software updates. Here, the challenge is to enable a flexible and dynamic system behavior while offering, at the same time, a predictable and deterministic behavior of time-critical software. Thus, it is necessary to verify that timing constraints can be met even during failover scenarios. For this purpose, we present a formal analysis to derive the worst-case application failover time. Without such an automated worst-case failover timing analysis, it would not be possible to enable a dynamic behavior of safety-critical software within safe bounds. We support our formal analysis by conducting experiments on a hardware platform using a distributed fail-operational neural network. Our randomly generated worst-case results are as close as 6.0% below our analytically derived exact bound. Overall, our presented worst-case failover timing analysis allows to conduct an automated analysis at run-time to verify that the system operates within the bounds of the failover timing constraint such that a dynamic and safe behavior of autonomous systems can be ensured.
引用
收藏
页码:1294 / 1299
页数:6
相关论文
共 50 条
  • [1] Checkpointing Period Optimization of Distributed Fail-Operational Automotive Applications
    Weiss, Philipp
    Daporta, Emil
    Weichslgartner, Andreas
    Steinhorst, Sebastian
    [J]. 2021 24TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN (DSD 2021), 2021, : 389 - 395
  • [2] Improving the fail-operational behavior of automotive applications by artificial DNA
    Brinkschulte, Uwe
    Pacher, Mathias
    Brinkschulte, Melanie
    [J]. CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2021, 33 (14):
  • [3] Generic Management of Availability in Fail-Operational Automotive Systems
    Schleiss, Philipp
    Drabek, Christian
    Weiss, Gereon
    Bauer, Bernhard
    [J]. COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2017, 2017, 10488 : 179 - 194
  • [4] Markov Chain-based Reliability Analysis for Automotive Fail-Operational Systems
    Kohn, Andre
    Schneider, Rolf
    Vilela, Antonio
    Dannebaum, Udo
    Herkersdorf, Andreas
    [J]. SAE INTERNATIONAL JOURNAL OF TRANSPORTATION SAFETY, 2013, 1 (01) : 30 - 38
  • [5] Hardware Multiversioning for Fail-Operational Multithreaded Applications
    Amslinger, Rico
    Piatka, Christian
    Haas, Florian
    Weis, Sebastian
    Ungerer, Theo
    Altmeyer, Sebastian
    [J]. 2020 IEEE 32ND INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE AND HIGH PERFORMANCE COMPUTING (SBAC-PAD 2020), 2020, : 20 - 27
  • [6] Worst-Case Analysis of Ethernet AVB in Automotive System
    Park, Jong-doo
    Cheoun, Bo-mu
    Jeon, Jae-wook
    [J]. 2015 IEEE INTERNATIONAL CONFERENCE ON INFORMATION AND AUTOMATION, 2015, : 1696 - 1699
  • [7] Worst-Case Analysis of Automotive Collision Avoidance Systems
    Nilsson, Jonas
    Odblom, Anders C. E.
    Fredriksson, Jonas
    [J]. IEEE TRANSACTIONS ON VEHICULAR TECHNOLOGY, 2016, 65 (04) : 1899 - 1911
  • [8] Comparison of fail-operational software architectures from the viewpoint of an automotive application
    Schnellbach, A.
    Hirz, M.
    Fabian, J.
    [J]. ELEKTROTECHNIK UND INFORMATIONSTECHNIK, 2016, 133 (06): : 283 - 293
  • [9] A Safety Argumentation for Fail-Operational Automotive Systems in Compliance with ISO 26262
    Schmid, Tobias
    Schraufstetter, Stefanie
    Wagner, Stefan
    Hellhake, Dominik
    [J]. 2019 4TH INTERNATIONAL CONFERENCE ON SYSTEM RELIABILITY AND SAFETY (ICSRS 2019), 2019, : 484 - 493
  • [10] Exploring the Worst-Case Timing of Ethernet AVB for Industrial Applications
    Diemer, Jonas
    Rox, Jonas
    Ernst, Rolf
    Chen, Feng
    Kremer, Karl-Theo
    Richter, Kai
    [J]. 38TH ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS SOCIETY (IECON 2012), 2012, : 3182 - 3187