SAFETY-CRITICAL SYSTEMS - INTRODUCTION

被引：0
|
作者：
BENNETT, P
机构：
来源：
COMPUTING & CONTROL ENGINEERING JOURNAL | 1994年 / 5卷 / 01期
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：5 / 5
页数：1
相关论文
共 50 条
  • [41] Bringing Rust to Safety-Critical Systems in Space
    Seidel, Lukas
    Beier, Julian
    2024 SECURITY FOR SPACE SYSTEMS CONFERENCE, 3S 2024, 2024,
  • [42] Dynamic Reconfiguration of Safety-Critical Production Systems
    Ul Muram, Faiz
    Javed, Muhammad Atif
    Hansson, Hans
    Punnekkat, Sasikumar
    2020 IEEE 25TH PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC 2020), 2020, : 120 - 129
  • [43] Visualizing Change in Agile Safety-Critical Systems
    Cleland-Huang, Jane
    Agrawal, Ankit
    Vierhauser, Michael
    Mayr-Dorn, Christoph
    IEEE SOFTWARE, 2021, 38 (03) : 43 - 51
  • [44] Safety-Critical Control Systems [About this Issue]
    Sepulchre, Rodolphe
    IEEE CONTROL SYSTEMS MAGAZINE, 2023, 43 (02): : 5 - 6
  • [45] Predictable GPUWavefront Splitting for Safety-Critical Systems
    Klashtorny, Artem
    Wu, Zhuanhao
    Kaushik, Anirudh Mohan
    Patel, Hiren
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2023, 22 (05)
  • [46] Testing Experiences of Safety-Critical Embedded Systems
    Bakker, Bryan
    ADVANCES IN SYSTEMS SAFETY, 2011, : 169 - 186
  • [47] Synthesis of a Controller Algorithm for Safety-Critical Systems
    De Souza, Fellipe Guilherme Rey
    Hirata, Celso Massaki
    Nadjm-Tehrani, Simin
    IEEE ACCESS, 2022, 10 : 76351 - 76375
  • [48] Adaptive Network Management for Safety-Critical Systems
    Perner, Cora
    Kinkelin, Holger
    Carle, Georg
    2019 IFIP/IEEE SYMPOSIUM ON INTEGRATED NETWORK AND SERVICE MANAGEMENT (IM), 2019,
  • [49] Verifying a scheduling protocol of safety-critical systems
    Meng Wang
    Cong Tian
    Nan Zhang
    Zhenhua Duan
    Hongwei Du
    Journal of Combinatorial Optimization, 2019, 37 : 1191 - 1215
  • [50] ANALYSIS OF TIMELINESS REQUIREMENTS IN SAFETY-CRITICAL SYSTEMS
    DELEMOS, R
    SAEED, A
    ANDERSON, T
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 571 : 171 - 192
12345