Security and Reliability of Safety-Critical RTOS

被引:0
|
作者
Luna R. [1 ]
Islam S.A. [1 ]
机构
[1] Department of Computer Science, University of Texas Rio Grande Valley, Edinburg, TX
关键词
Embedded systems; Reliability; RTOS; Safety-critical; Security;
D O I
10.1007/s42979-021-00753-y
中图分类号
学科分类号
摘要
Real-Time Operating System (RTOS) presents a computing environment with the ability to react to events within a strictly-defined period. Modern domain-specific (e.g., aerospace, industrial control, defense, and medical) embedded systems include safety-critical applications whose failures would result in catastrophic events. Such systems avoid the general-purpose operating system and leverage RTOS to work in increasingly dynamic and harsh environments. Moreover, many of these systems operate over networks, making them susceptible to various attacks. Hence, the reliability and security of embedded systems running on top of RTOS are equally important. Although research on these two crucial components has been conducted and presented for traditional operating systems, there has been a significant research thrust on RTOS due to the recent emergence of the internet of things (IoT). This article presents an in-depth and systematic review of the security and reliability of safety-critical systems. We highlight the best practices and recent research efforts and their feasibility in the context of safety-critical RTOS. We compare the solutions qualitatively and discuss their pros and cons. We conclude the article with open-ended research questions. © 2021, The Author(s), under exclusive licence to Springer Nature Singapore Pte Ltd.
引用
收藏
相关论文
共 50 条
  • [1] RTOS Eyes Fault Tolerance and Safety-Critical Applications
    Wong, William
    [J]. Electronic Design, 2003, 51 (24)
  • [2] Reliability modeling for safety-critical software
    Schneidewind, NF
    [J]. IEEE TRANSACTIONS ON RELIABILITY, 1997, 46 (01) : 88 - 98
  • [3] Reliability demonstration for safety-critical systems
    Tal, O
    McCollin, C
    Bendell, T
    [J]. IEEE TRANSACTIONS ON RELIABILITY, 2001, 50 (02) : 194 - 203
  • [4] Managing security evidence in safety-critical organizations
    Mohamad, Mazen
    Steghoefer, Jan-Philipp
    Knauss, Eric
    Scandariato, Riccardo
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 2024, 214
  • [5] DESIGN FOR ARINC 653 CONFORMANCE: ARCHITECTING INDEPENDENT VALIDATION OF A SAFETY-CRITICAL RTOS
    Alptekin, Ahmet
    Yilmazer, Yunus
    Usug, Ugur
    Koca, Feyzullah
    Incki, Koray
    [J]. 2014 IEEE/AIAA 33RD DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2014,
  • [6] Safety-critical and security-critical computing in Britain: An exploration
    MacKenzie, D
    Tierney, M
    [J]. TECHNOLOGY ANALYSIS & STRATEGIC MANAGEMENT, 1996, 8 (04) : 355 - 379
  • [7] Utilising Redundancy to Enhance Security of Safety-Critical Systems
    Troubitsyna, Elena
    [J]. COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2023 WORKSHOPS, 2023, 14182 : 188 - 196
  • [8] Implementing a Security Architecture for Safety-Critical Railway Infrastructure
    Eckel, Michael
    Kuzhiyelil, Don
    Krauss, Christoph
    Zhdanova, Maria
    Katzenbeisser, Stefan
    Cosic, Jasmin
    Drodt, Matthias
    Pitrolle, Jean-Jacques
    [J]. 2021 INTERNATIONAL SYMPOSIUM ON SECURE AND PRIVATE EXECUTION ENVIRONMENT DESIGN (SEED 2021), 2021, : 215 - 226
  • [9] Reliability Modeling and Analysis of Safety-critical Manufacture System
    Sun, Qing
    Cui, Lirong
    Chen, Gong
    Pan, Rong
    [J]. ICICTA: 2009 SECOND INTERNATIONAL CONFERENCE ON INTELLIGENT COMPUTATION TECHNOLOGY AND AUTOMATION, VOL II, PROCEEDINGS, 2009, : 560 - +
  • [10] Ensuring system and software reliability in safety-critical systems
    Tsai, WT
    Mojdehbakhsh, R
    Zhu, F
    [J]. 1998 IEEE WORKSHOP ON APPLICATION-SPECIFIC SOFTWARE ENGINEERING AND TECHNOLOGY (ASSET 98) - PROCEEDINGS, 1998, : 48 - 53