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 条
  • [21] Towards End-to-End Data Protection in Low-Power Networks
    Mikhalev, Vasily
    Gomez, Laurent
    Armknecht, Frederik
    Marquez, Jose
    [J]. COMPUTER SECURITY, 2017, 2018, 10683 : 3 - 18
  • [22] A Novel Solution for End-to-End Integrity Protection in Signed PGP Mail
    Liao, Lijun
    Schwenk, Joerg
    [J]. INFORMATION AND COMMUNICATIONS SECURITY, PROCEEDINGS, 2008, 5308 : 19 - 32
  • [23] Realization and Evaluation of Java']Java Wrapper that calls the End-to-End Communication Library
    Shimizu, Kazuki
    Suzuki, Hidekazu
    Naito, Katsuhiro
    Watanabe, Akira
    [J]. 2017 TENTH INTERNATIONAL CONFERENCE ON MOBILE COMPUTING AND UBIQUITOUS NETWORK (ICMU), 2017, : 69 - 70
  • [24] End-to-end authorization
    Howell, J
    Kotz, D
    [J]. USENIX ASSOCIATION PROCEEDINGS OF THE FOURTH SYMPOSIUM ON OPERATING SYSTEMS DESIGN AND IMPLEMENTATION, 2000, : 151 - 164
  • [25] End-to-end service
    Nave, B
    [J]. COMMUNICATIONS NEWS, 1998, 35 (06): : 64 - 65
  • [26] END-TO-END ANASTOMOSIS
    MARIK, JJ
    ZANUTTA, EU
    [J]. INTERNATIONAL JOURNAL OF FERTILITY, 1983, 28 (01) : 29 - 30
  • [27] END-TO-END CHEMISTRY
    Thayer, Ann M.
    [J]. CHEMICAL & ENGINEERING NEWS, 2014, 92 (21) : 13 - +
  • [28] Intracorporeal end-to-end esophagojejunostomy using a circular stapler
    Daisuke Yagi
    Hisahiro Hosogi
    Shinya Yoshida
    Seiichiro Kanaya
    [J]. International Cancer Conference Journal, 2024, 13 : 76 - 77
  • [29] Intracorporeal end-to-end esophagojejunostomy using a circular stapler
    Yagi, Daisuke
    Hosogi, Hisahiro
    Yoshida, Shinya
    Kanaya, Seiichiro
    [J]. INTERNATIONAL CANCER CONFERENCE JOURNAL, 2024, 13 (02) : 76 - 77
  • [30] END-TO-END URETERAL ANASTOMOSIS USING A STAPLING APPARATUS
    FORTUNOFF, S
    COOPER, P
    CHRISTIE, SG
    [J]. JOURNAL OF UROLOGY, 1963, 89 (06): : 793 - &