共 50 条
- [2] A Framework for Software Reuse in Safety-Critical System-of-Systems [J]. 2008 IEEE INTERNATIONAL CONFERENCE ON SYSTEM OF SYSTEMS ENGINEERING (SOSE), 2008, : 402 - +
- [3] A Framework for Software Safety in Safety-Critical Systems [J]. NEW TRENDS IN SOFTWARE METHODOLOGIES, TOOLS AND TECHNIQUES, 2008, 182 : 361 - 374
- [4] SOME VERIFICATION TOOLS AND METHODS FOR AIRBORNE SAFETY-CRITICAL SOFTWARE [J]. SOFTWARE ENGINEERING JOURNAL, 1986, 1 (06): : 248 - 253
- [5] Fault mitigation in safety-critical software systems [J]. NINTH IEEE SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS, PROCEEDINGS, 1996, : 12 - 17
- [9] A Methodology for Modeling Software Safety in Safety-Critical Computing Systems [J]. INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2009, 9 (07): : 185 - 193
- [10] Scrum for safety: an agile methodology for safety-critical software systems [J]. Software Quality Journal, 2022, 30 : 1067 - 1088