共 50 条
- [31] Model-Based Performance Evaluation of Safety-Critical POMDPs [J]. IEEE INTERNATIONAL CONFERENCE ON RECENT ADVANCES IN SYSTEMS SCIENCE AND ENGINEERING (IEEE RASSE 2021), 2021,
- [32] Platform modeling in safety-critical embedded systems [J]. Lecture Notes in Electrical Engineering, 2009, 38 : 145 - 158
- [33] Real-time design patterns for the verification of safety-critical embedded systems in model-based approach [J]. JOURNAL OF SUPERCOMPUTING, 2024, 80 (08): : 11431 - 11473
- [34] Real-time design patterns for the verification of safety-critical embedded systems in model-based approach [J]. The Journal of Supercomputing, 2024, 80 : 11431 - 11473
- [35] An MDE-based Process for the Design, Implementation and Validation of Safety-Critical Systems [J]. 2010 15TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS 2010), 2010, : 319 - 324
- [36] Managing Uncertainty in the Design of Safety-Critical Aviation Systems Safety-Critical Unmanned Aerial Systems [J]. PROCEEDINGS OF THE 31ST INTERNATIONAL TECHNICAL MEETING OF THE SATELLITE DIVISION OF THE INSTITUTE OF NAVIGATION (ION GNSS+ 2018), 2018, : 2297 - 2320
- [37] A Model-Based Framework to Assess the Reliability of Safety-Critical Applications [J]. 2021 24TH INTERNATIONAL SYMPOSIUM ON DESIGN AND DIAGNOSTICS OF ELECTRONIC CIRCUITS & SYSTEMS (DDECS), 2021, : 41 - 44
- [38] A distance model for safety-critical systems [J]. Periodica Polytechnica Electrical Engineering, 2001, 45 (02): : 109 - 118
- [39] Safety Assessment of Design Patterns for Safety-Critical Embedded Systems [J]. 2009 35TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS, PROCEEDINGS, 2009, : 523 - 527
- [40] Safety Perspective for Supporting Architectural Design of Safety-Critical Systems [J]. SOFTWARE ARCHITECTURE, ECSA 2014, 2014, 8627 : 365 - 373