共 50 条
- [31] Design and Test of a Certifiable ASIC for a Safety-Critical Gas Burner Control System Journal of Electronic Testing, 2002, 18 : 285 - 294
- [32] Rigorous development of a safety-critical system based on coordinated atomic actions Proceedings - Annual International Conference on Fault-Tolerant Computing, 1999, : 68 - 75
- [33] An Empirical Evaluation of System-Level Test Effectiveness for Safety-Critical Software PROCEEDINGS OF THE 18TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, ENASE 2023, 2023, : 293 - 305
- [34] Combining STPA With CoFI to Generate Requirements and Test Cases for Safety-Critical System IEEE SYSTEMS JOURNAL, 2022, 16 (04): : 6635 - 6646
- [35] Design and test of a certifiable ASIC for a safety-critical gas burner control system JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS, 2002, 18 (03): : 285 - 294
- [36] Model-based software development - A Process for safety-critical embedded Systems ATP EDITION, 2012, (7-8): : 60 - 66
- [37] Formal Development Process of Safety-Critical Embedded Human Machine Interface Systems PROCEEDINGS 11TH 2017 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE), 2017, : 111 - 118
- [38] Quantification of the safety level of a safety-critical control system 2010 INTERNATIONAL CONFERENCE ON APPLIED ELECTRONICS, 2010, : 285 - 288
- [39] SESAME: A Model-Driven Test Selection Process for Safety-Critical Embedded Systems ERCIM NEWS, 2008, (75): : 43 - 44
- [40] Abstract State Machines and System Theoretic Process Analysis for Safety-Critical Systems FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2017, 2017, 10623 : 15 - 32