共 50 条
- [2] Challenges in Validating Safety-Critical Embedded Systems [J]. SAE INTERNATIONAL JOURNAL OF AEROSPACE, 2010, 3 (01): : 109 - 116
- [4] EVALUATION OF SAFETY-CRITICAL SOFTWARE [J]. COMMUNICATIONS OF THE ACM, 1990, 33 (06) : 636 - 648
- [5] The quantitative safety assessment for safety-critical software [J]. 29th Annual IEEE/NASA Software Engineering Workshop, Proceedings, 2005, : 150 - 159
- [7] Axiomatic safety-critical assessment process (ASCAP) risk assessment of a transit signaling system [J]. PROBABILISTIC SAFETY ASSESSMENT AND MANAGEMENT, VOL 1- 6, 2004, : 2262 - 2268
- [8] An Empirical Evaluation of System-Level Test Effectiveness for Safety-Critical Software [J]. PROCEEDINGS OF THE 18TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, ENASE 2023, 2023, : 293 - 305
- [9] A Practical Approach towards Validating HIL Simulation of a Safety-critical System [J]. 2017 IEEE 28TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW 2017), 2017, : 40 - 43
- [10] Languages for safety-critical software: Issues and assessment [J]. 29th International Conference on Software Engineering: ICSE 2007 Companion Volume, Proceedings, 2007, : 180 - 181