Dynamic Safety Contracts for Functional Cooperation of Automotive Systems

被引:1
|
作者
Mueller, Sebastian [1 ]
Liggesmeyer, Peter [1 ]
机构
[1] Tech Univ Kaiserslautern, Lehrstuhl Software Engn Dependabil, D-67653 Kaiserslautern, Germany
来源
COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2016 | 2016年 / 9923卷
关键词
Cooperative systems; Dynamic safety contracts; Condition monitoring; Safety; Autonomous vehicles; Conditional certificates; Dynamic adaptation;
D O I
10.1007/978-3-319-45480-1_14
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Going along with current research trends like Cyber-Physical Systems it is assumed for future embedded systems to enable a better interconnection of distributed systems. Besides mutual awareness, they should provide a deeper integration on the level of functional cooperation. By today, runtime aspects of system adaptation for functional safety are not sufficiently addressed. As predicted for the near future, especially collaboration scenarios of autonomous driving vehicles like platooning will make it necessary to address safety across the classical boundaries of single automotive systems. Therefore, extending the vehicle safety architecture to an open and adaptive one, implies that there is a need for a runtime assessment of safety. To ensure that the current operational situation based on cooperative functionalities is safe, we propose a safety evaluation with dynamic safety contracts between involved parties. The approach is based on a continuous monitoring, sharing and calculation of safety related quality characteristics of systems at runtime.
引用
收藏
页码:171 / 182
页数:12
相关论文
共 50 条
  • [41] Intent-Based Security for Functional Safety in Cyber-Physical Systems
    Tomur, Emrah
    Bilgin, Zeki
    Gulen, Utku
    Soykan, Elif Ustundag
    Karacay, Leyli
    Karakoc, Ferhat
    IEEE TRANSACTIONS ON EMERGING TOPICS IN COMPUTING, 2024, 12 (02) : 615 - 630
  • [42] Approximate Dynamic Programming for Constrained Piecewise Affine Systems With Stability and Safety Guarantees
    He, Kanghui
    Shi, Shengling
    van den Boom, Ton
    de Schutter, Bart
    IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2025, 55 (03): : 1722 - 1734
  • [43] Real-Time Safety Assessment for Dynamic Systems With Limited Memory and Annotations
    Liu, Zeyi
    He, Xiao
    IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS, 2023, 24 (09) : 10076 - 10086
  • [44] A lightweight approach to smart contracts supporting safety, security, and privacy
    Owe, Olaf
    Fazeldehkordi, Elahe
    JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2022, 127
  • [45] The Nature and Content of Safety Contracts: Challenges and Suggestions For a Way Forward
    Graydon, Patrick
    Bate, Iain
    2014 20TH IEEE PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC 2014), 2014, : 135 - 144
  • [46] Data transmission in automotive applications and security/safety requirements
    Cancellieri, Giovanni
    Battaglioni, Massimo
    2020 AEIT INTERNATIONAL CONFERENCE OF ELECTRICAL AND ELECTRONIC TECHNOLOGIES FOR AUTOMOTIVE (AEIT AUTOMOTIVE), 2020,
  • [47] Design Automation Challenges for Automotive Systems
    Lin, Chung-Wei
    PROCEEDINGS OF THE 2024 INTERNATIONAL SYMPOSIUM ON PHYSICAL DESIGN, ISPD 2024, 2024, : 263 - 263
  • [48] Security and Safety Systems on Modern Vehicles
    Repas, Jozsef
    Berek, Lajos
    VEHICLE AND AUTOMOTIVE ENGINEERING 4, VAE2022, 2023, : 84 - 100
  • [49] Managing Food Safety With Pricing, Contracts and Coordination in Supply Chains
    Lin, Dung-Ying
    Juan, Chieh-Ju
    Chang, Ching-Chih
    IEEE ACCESS, 2019, 7 : 150892 - 150909
  • [50] Automotive safety: ActivityView enabled split-screen
    Lazic, Nemanja
    Ponos, Milica
    Bjelica, Milan
    Andjelic, Tihomir
    Pesic, Jasmina
    2021 29TH TELECOMMUNICATIONS FORUM (TELFOR), 2021,