SAFETY-CRITICAL SYSTEMS - INTRODUCTION

被引：0
|
作者：
BENNETT, P
机构：
来源：
COMPUTING & CONTROL ENGINEERING JOURNAL | 1994年 / 5卷 / 01期
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：5 / 5
页数：1
相关论文
共 50 条
  • [31] FACILITATING THE MAINTENANCE OF SAFETY-CRITICAL SYSTEMS
    GANNOD, GC
    CHENG, BHC
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1994, 4 (02) : 183 - 204
  • [32] Designing safety-critical computer systems
    Dunn, WR
    COMPUTER, 2003, 36 (11) : 40 - +
  • [33] SysML Aided Safety Analysis for Safety-Critical Systems
    Li, Guoqi
    Wang, Boxuan
    ARTIFICIAL INTELLIGENCE AND COMPUTATIONAL INTELLIGENCE, PT I, 2011, 7002 : 270 - 275
  • [34] Architecture Level Safety Analyses for Safety-Critical Systems
    Kushal, K. S.
    Nanda, Manju
    Jayanthi, J.
    INTERNATIONAL JOURNAL OF AEROSPACE ENGINEERING, 2017, 2017
  • [35] A framework for safety automation of safety-critical systems operations
    Acharyulu, P. V. Srinivas
    Seetharamaiah, P.
    SAFETY SCIENCE, 2015, 77 : 133 - 142
  • [36] Introduction to characterization of monitors for testing safety-critical software
    Di Biagio, Christian
    Pennella, Guido
    Lomartire, Anna
    Cantone, Giovanni
    ICSOFT 2006: PROCEEDINGS OF THE FIRST INTERNATIONAL CONFERENCE ON SOFTWARE AND DATA TECHNOLOGIES, VOL 1, 2006, : 253 - 256
  • [37] GPU Devices for Safety-Critical Systems: A Survey
    Perez-Cerrolaza, Jon
    Abella, Jaume
    Kosmidis, Leonidas
    Calderon, Alejandro J.
    Cazorla, Francisco
    Luis Flores, Jose
    ACM COMPUTING SURVEYS, 2023, 55 (07)
  • [38] Safety-Critical Kinematic Control of Robotic Systems
    Singletary, Andrew
    Kolathaya, Shishir
    Ames, Aaron D.
    IEEE CONTROL SYSTEMS LETTERS, 2022, 6 : 139 - 144
  • [39] Safety-Critical Optimal Control for Autonomous Systems
    Xiao Wei
    Cassandras, G. Christos
    Belta, Calin
    JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2021, 34 (05) : 1723 - 1742
  • [40] Towards Improved Survivability in Safety-Critical Systems
    Abella, Jaume
    Cazorla, Francisco J.
    Quinones, Eduardo
    Gizopoulos, Dimitris
    Grasset, Arnaud
    Yehia, Sami
    Bonnot, Philippe
    Mariani, Riccardo
    Bernat, Guillem
    2011 IEEE 17TH INTERNATIONAL ON-LINE TESTING SYMPOSIUM (IOLTS), 2011,
12345