共 50 条
- [1] An assessment framework for development processes of safety-critical system functions applied to a model-based safety-critical middleware 2020 AIAA/IEEE 39TH DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC) PROCEEDINGS, 2020,
- [3] Safety-Critical Control With Limited Information IEEE CONTROL SYSTEMS LETTERS, 2024, 8 : 2379 - 2384
- [4] Strategic Safety-Critical Attacks Against an Advanced Driver Assistance System 2022 52ND ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN 2022), 2022, : 79 - 87
- [5] PROVING PROPERTIES OF A SAFETY-CRITICAL SYSTEM SOFTWARE ENGINEERING JOURNAL, 1991, 6 (02): : 41 - 50
- [6] A qualification effort assessment framework for development processes of safety-critical system functions 2021 IEEE/AIAA 40TH DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2021,
- [7] Quantification of the safety level of a safety-critical control system 2010 INTERNATIONAL CONFERENCE ON APPLIED ELECTRONICS, 2010, : 285 - 288
- [8] Detecting Hazardously Misleading Information on Safety-Critical Displays 2019 IEEE/AIAA 38TH DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2019,
- [9] Formal development method for safety-critical system Beifang Jiaotong Daxue Xuebao/Journal of Northern Jiaotong University, 2002, 26 (06):
- [10] Platform Independent Safety-Critical Operating System 2015 INTERNATIONAL CONFERENCE ON INFORMATION AND DIGITAL TECHNOLOGIES (IDT), 2015, : 68 - 71