共 50 条
- [21] UML for Software Safety and Certification Model-Based Development of Safety-Critical Software-Intensive Systems MODEL-BASED ENGINEERING OF EMBEDDED REAL-TIME SYSTEMS, 2010, 6100 : 201 - +
- [25] 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
- [26] 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
- [27] 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
- [28] A consequence-based approach to safety-critical systems SAFETY INTEGRITY: THE IMPLICATIONS OF IEC 61508 AND OTHER STANDARDS FOR THE PROCESS INDUSTRIES, PROCEEDINGS, 2000, : 29 - 40
- [29] A distance model for safety-critical systems Periodica Polytechnica Electrical Engineering, 2001, 45 (02): : 109 - 118
- [30] Automatic Testbench Generation for Simulation-based Verification of Safety-critical Systems in UML PECCS: PROCEEDINGS OF THE 6TH INTERNATIONAL JOINT CONFERENCE ON PERVASIVE AND EMBEDDED COMPUTING AND COMMUNICATION SYSTEMS, 2016, : 70 - 75