共 50 条
- [41] Applying Model-Based Design and Automatic Production Code Generation to Safety-Critical System Development SAE INTERNATIONAL JOURNAL OF PASSENGER CARS-ELECTRONIC AND ELECTRICAL SYSTEMS, 2009, 2 (01): : 240 - 248
- [42] Rule checking within the model-based development of safety-critical systems and embedded automotive software Eighth International Symposium on Autonomous Decentralized Systems, Proceedings, 2007, : 287 - 294
- [44] Towards formalized model-based requirements for a seamless design approach in safety-critical systems development 2015 IEEE 18th International Symposium on Real-Time Distributed Computing Workshops, 2015, : 111 - 115
- [45] XANDAR: Exploiting the X-by-Construction Paradigm in Model-based Development of Safety-critical Systems PROCEEDINGS OF THE 2022 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE 2022), 2022, : 814 - 818
- [46] Incident and accident investigation techniques to inform model-based design of safety-critical interactive systems INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, 2006, 3941 : 51 - 66
- [47] Fault mitigation in safety-critical software systems NINTH IEEE SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS, PROCEEDINGS, 1996, : 12 - 17
- [48] Fault detection in safety-critical embedded systems DESIGN AND ANALYSIS OF DISTRIBUTED EMBEDDED SYSTEMS, 2002, 91 : 113 - 119