SEnSE - An Architecture for a Safe and Secure Integration of Safety-Critical Embedded Systems

被引:0
|
作者
Hoefig, Kai [1 ]
Klug, Amir [2 ]
机构
[1] Siemens AG, Corp Technol, D-81739 Munich, Germany
[2] STMicroelectronics, Automot Microcontrollers, D-80687 Munich, Germany
关键词
cyberphysical system; safety; security; communication protocol; embedded system; cloud application; trustcenter; dynamic system; recertification; contract-based development; architecture; COMPONENT;
D O I
暂无
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Embedded systems that communicate with each other over the internet and build up a larger, loosely coupled (hardware) system with an unknown configuration at runtime is often referred to as a cyberphysical system. Many of these systems can become, due to its associated risks during their operation, safety critical. With increased complexity of such systems, the number of configurations can either be infinite or even unknown at design time. Hence, a certification at design time for such systems that documents a safe interaction for all possible configurations of all participants at runtime can become unfeasible. If such systems come together in a new configuration, a mechanism is required that can decide whether or not it is safe for them to interact. Such a mechanism can generally not be part of such systems for the sake of trust. Therefore, we present in the following sections the SEnSE device, short for Secure and Safe Embedded, that tackles these challenges and provides a secure and safe integration of safety-critical embedded systems.
引用
收藏
页码:263 / 267
页数:5
相关论文
共 50 条
  • [41] Certification of Safety-Critical Systems
    Leveson, Nancy G.
    Thomas, John P.
    COMMUNICATIONS OF THE ACM, 2023, 66 (10) : 22 - 26
  • [42] Safety-critical systems design
    Douglass, BP
    ELECTRONIC ENGINEERING, 1998, 70 (862): : 45 - +
  • [43] Cybersecurity in safety-critical systems
    Walker, Alastair
    JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS, 2018, 30 (05)
  • [44] SAFETY-CRITICAL SYSTEMS - INTRODUCTION
    BENNETT, P
    COMPUTING & CONTROL ENGINEERING JOURNAL, 1994, 5 (01): : 5 - 5
  • [45] High-Performance Networked SCADA Architecture for Safety-Critical Systems
    Atlagic, Branislav
    Milinkov, Dejan
    Sagi, Mihaly
    Bogovac, Bojan
    2011 2ND EASTERN EUROPEAN REGIONAL CONFERENCE ON THE ENGINEERING OF COMPUTER BASED SYSTEMS (ECBS-EERC), 2011, : 147 - 148
  • [46] Safety-critical systems design
    Douglass, Bruce Powel
    Electronic Engineering (London), 1998, 70 (862):
  • [47] The ethics of safety-critical systems
    Bowen, J
    COMMUNICATIONS OF THE ACM, 2000, 43 (04) : 91 - 97
  • [48] Cetratus: A framework for zero downtime secure software updates in safety-critical systems
    Mugarza, Imanol
    Parra, Jorge
    Jacob, Eduardo
    SOFTWARE-PRACTICE & EXPERIENCE, 2020, 50 (08): : 1399 - 1424
  • [49] Managing Uncertainty in the Design of Safety-Critical Aviation Systems Safety-Critical Unmanned Aerial Systems
    Gebre-Egziabher, Demoz
    PROCEEDINGS OF THE 31ST INTERNATIONAL TECHNICAL MEETING OF THE SATELLITE DIVISION OF THE INSTITUTE OF NAVIGATION (ION GNSS+ 2018), 2018, : 2297 - 2320
  • [50] A Hybrid Embedded Multichannel Test Compression Architecture for Low-Pin Count Test Environments in Safety-Critical Systems
    Huhn, Sebastian
    Tille, Daniel
    Drechsler, Rolf
    2019 IEEE INTERNATIONAL TEST CONFERENCE IN ASIA (ITC-ASIA 2019), 2019, : 115 - 120