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 条
  • [21] Model-Based Validation of Safety-Critical Embedded Systems
    Feiler, Peter H.
    2010 IEEE AEROSPACE CONFERENCE PROCEEDINGS, 2010,
  • [22] An integrated approach to scheduling in safety-critical embedded control systems
    Bate, I
    Burns, A
    REAL-TIME SYSTEMS, 2003, 25 (01) : 5 - 37
  • [23] Human performance and embedded intelligent technology in safety-critical systems
    Grabowski, M
    Sanborn, SD
    INTERNATIONAL JOURNAL OF HUMAN-COMPUTER STUDIES, 2003, 58 (06) : 637 - 670
  • [24] Towards Assured Dynamic Configuration of Safety-Critical Embedded Systems
    Kajtazovic, Nermin
    Preschern, Christopher
    Hoeller, Andrea
    Kreiner, Christian
    COMPUTER SAFETY, RELIABILITY, AND SECURITY, 2014, 8696 : 167 - 179
  • [25] Dual-model approach for safety-critical embedded systems
    Labiak, Grzegorz
    Wegrzyn, Marek
    Rosado-Munoz, Alfredo
    Bazydlo, Grzegorz
    MICROPROCESSORS AND MICROSYSTEMS, 2020, 72
  • [26] An Integrated Approach to Scheduling in Safety-Critical Embedded Control Systems
    I. Bate
    A. Burns
    Real-Time Systems, 2003, 25 : 5 - 37
  • [27] SAFETY-CRITICAL SYSTEMS
    MCDERMID, JA
    THEWLIS, DJ
    SOFTWARE ENGINEERING JOURNAL, 1991, 6 (02): : 35 - 35
  • [28] SAFETY-CRITICAL SYSTEMS
    RUDALL, BH
    ROBOTICA, 1990, 8 : 184 - 184
  • [29] Secure Environment Establishment for FPGA-based Safety-Critical Systems
    Kharchenko, Vyacheslav
    Kovalenko, Andriy
    Sklyar, Vladimir
    PROCEEDINGS OF 2015 IEEE EAST-WEST DESIGN & TEST SYMPOSIUM (EWDTS), 2015,
  • [30] Making sense of an innovation in a safety-critical megaproject
    Aaltonen, Kirsi
    Gotcheva, Nadezhda
    Kujala, Jaakko
    Artto, Karlos
    INTERNATIONAL JOURNAL OF MANAGING PROJECTS IN BUSINESS, 2020, 13 (03) : 520 - 542