Safely Using the AUTOSAR End-to-End Protection Library

被引:3
|
作者
Arts, Thomas [1 ]
Tonetta, Stefano [2 ]
机构
[1] QuviQ, Gothenburg, Sweden
[2] FBK, Trento, Italy
关键词
Verification; Formal methods; AUTOSAR; E2E Protection; Communication failures;
D O I
10.1007/978-3-319-24255-2_7
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
The AUTOSAR End-to-End library is used to protect data. On the producer side a counter and checksum are added, such that on the consumer side it can be detected whether there was a communication failure. For optimal bus utilisation, it is a common solution that a producer publishes data that is read by many consumers. If the data also needs to be protected, this results in an End-to-Many-Ends solution. In this paper, we analyse the impact of an End-to-Many-Ends solution on the safety guarantees of the AUTOSAR End-to-End Protection. In particular with focus on the problem that arises when the consumers read the messages with a periodicity that differs from the producer. It turns out that this common situation severely reduces the safety guarantees these standard components offer. In this report we analyze these reductions on different architectures.
引用
收藏
页码:74 / 89
页数:16
相关论文
共 50 条
  • [1] Improvement of Automotive Sensors by Migrating AUTOSAR End-to-End Communication Protection Library into Hardware
    Caprita, Horia V.
    Selisteanu, Dan
    [J]. ELEKTRONIKA IR ELEKTROTECHNIKA, 2022, 28 (05) : 34 - 44
  • [2] END-TO-END SECURITY PROTECTION
    Nazaryan, Levon
    Panaousis, Emmanouil A.
    Politis, Christos
    [J]. IEEE VEHICULAR TECHNOLOGY MAGAZINE, 2010, 5 (01): : 85 - 90
  • [3] Guaranteeing end-to-end deadlines for AUTOSAR-based automotive software
    Yoon, H.
    Ryu, M.
    [J]. INTERNATIONAL JOURNAL OF AUTOMOTIVE TECHNOLOGY, 2015, 16 (04) : 635 - 644
  • [4] Guaranteeing end-to-end deadlines for AUTOSAR-based automotive software
    H. Yoon
    M. Ryu
    [J]. International Journal of Automotive Technology, 2015, 16 : 635 - 644
  • [5] End-to-end consensus using end-to-end channels
    Wiesmann, Matthias
    Defago, Xavier
    [J]. 12TH PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING, PROCEEDINGS, 2006, : 341 - +
  • [6] Integrated End-to-End Timing Analysis of Networked AUTOSAR-Compliant Systems
    Lakshmanan, Karthik
    Bhatia, Gaurav
    Rajkumar, Raj
    [J]. 2010 DESIGN, AUTOMATION & TEST IN EUROPE (DATE 2010), 2010, : 331 - 334
  • [7] Avalanche: an End-to-End Library for Continual Learning
    Lomonaco, Vincenzo
    Pellegrini, Lorenzo
    Cossu, Andrea
    Carta, Antonio
    Graffieti, Gabriele
    Hayes, Tyler L.
    De Lange, Matthias
    Masana, Marc
    Pomponi, Jary
    Van de Ven, Gido M.
    Mundt, Martin
    She, Qi
    Cooper, Keiland
    Forest, Jeremy
    Belouadah, Eden
    Calderara, Simone
    Parisi, German, I
    Cuzzolin, Fabio
    Tolias, Andreas S.
    Scardapane, Simone
    Antiga, Luca
    Ahmad, Subutai
    Popescu, Adrian
    Kanan, Christopher
    Van de Weijer, Joost
    Tuytelaars, Tinne
    Bacciu, Davide
    Maltoni, Davide
    [J]. 2021 IEEE/CVF CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION WORKSHOPS, CVPRW 2021, 2021, : 3595 - 3605
  • [8] Verena: End-to-End Integrity Protection for Web Applications
    Karapanos, Nikolaos
    Filios, Alexandros
    Popa, Raluca Ada
    Capkun, Srdjan
    [J]. 2016 IEEE SYMPOSIUM ON SECURITY AND PRIVACY (SP), 2016, : 895 - 913
  • [9] End-to-end header protection in signed S/MIME
    Liao, Lijun
    Schwenk, Joerg
    [J]. ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2007: COOPIS, DOA, ODBASE, GADA, AND IS, PT 2, PROCEEDINGS, 2007, 4804 : 1646 - 1658
  • [10] Overview of End-to-End Event Chain in Advanced Driver-Assistance Software following AUTOSAR
    Vulic, Marko
    Popovic, Valentin T.
    Davidovic, Aleksandra
    Kastelan, Ivan
    [J]. 2019 IEEE 23RD INTERNATIONAL SYMPOSIUM ON CONSUMER TECHNOLOGIES (ISCT), 2019, : 308 - 312