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 条
  • [31] Specifying safety-critical embedded systems with statecharts and Z:: A case study
    Büssow, R
    Geisler, R
    Klar, M
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, 1998, 1382 : 71 - 87
  • [32] Development of a framework for automated systematic testing of safety-critical embedded systems
    Kandl, Susanne
    Kirner, Raimund
    Puschner, Peter
    PROCEEDINGS OF THE FOURTH INTERNATIONAL WORKSHOP ON INTELLIGENT SOLUTIONS IN EMBEDDED SYSEMS, 2006, : 65 - +
  • [33] Dependable polygon-processing algorithms for safety-critical embedded systems
    Brandt, J
    Schneider, K
    EMBEDDED AND UBIQUITOUS COMPUTING - EUC 2005, 2005, 3824 : 405 - 417
  • [34] Design and Implementation of an Escape Analysis in the Context of Safety-Critical Embedded Systems
    Lang, Clemens
    Stilkerich, Isabella
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2020, 19 (01)
  • [35] Validation and certification of safety-critical embedded systems -: The DECOS test bench
    Schoitsch, Erwin
    Althammer, Egbert
    Eriksson, Henrik
    Vinter, Jormy
    Goenczy, Laszlo
    Pataricza, Andras
    Csertan, Gyoergy
    COMPUTER SAFETY, RELIABILTIY, AND SECURITY, PROCEEDINGS, 2006, 4166 : 372 - 385
  • [36] Improving Methods and Processes for the Development of Safety-Critical Automotive Embedded Systems
    Krammer, Martin
    Marko, Nadja
    Armengaud, Eric
    Geyer, Dirk
    Griessnig, Gerhard
    2010 IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2010,
  • [37] Safety assurance for safety-critical embedded systems: Qualification of tools for complex electronic hardware
    Komecki, Andrew
    Zalewski, Janusz
    PROCEEDINGS OF THE 2008 1ST INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY, 2008, : 99 - +
  • [38] Secure Architecture for Embedded Systems
    Vai, Michael
    Nahill, Ben
    Kramer, Josh
    Geis, Michael
    Utin, Dan
    Whelihan, David
    Khazan, Roger
    2015 IEEE HIGH PERFORMANCE EXTREME COMPUTING CONFERENCE (HPEC), 2015,
  • [39] Dependability of safety-critical systems
    Buja, G
    Castellan, S
    Menis, R
    Zuccollo, A
    2004 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY (ICIT), VOLS. 1- 3, 2004, : 1561 - 1566
  • [40] Are your systems safety-critical?
    Redmill, F
    IEE REVIEW, 1997, 43 (03): : 93 - &