共 50 条
- [1] An assessment framework for development processes of safety-critical system functions applied to a model-based safety-critical middleware 2020 AIAA/IEEE 39TH DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC) PROCEEDINGS, 2020,
- [2] Model-based design, analysis and assessment framework for safety-critical systems 51ST ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS - SUPPLEMENTAL VOL (DSN 2021), 2021, : 25 - 26
- [3] A UML Model-Based Approach for Replication Assessment of AUTOSAR Safety-Critical Applications TRUSTCOM 2011: 2011 INTERNATIONAL JOINT CONFERENCE OF IEEE TRUSTCOM-11/IEEE ICESS-11/FCST-11, 2011, : 1176 - 1187
- [4] Model-Based Performance Evaluation of Safety-Critical POMDPs IEEE INTERNATIONAL CONFERENCE ON RECENT ADVANCES IN SYSTEMS SCIENCE AND ENGINEERING (IEEE RASSE 2021), 2021,
- [5] Model-Based Validation of Safety-Critical Embedded Systems 2010 IEEE AEROSPACE CONFERENCE PROCEEDINGS, 2010,
- [6] Model-based Automated Safety Analysis Method for Safety-critical System 2024 5TH INTERNATIONAL CONFERENCE ON MECHATRONICS TECHNOLOGY AND INTELLIGENT MANUFACTURING, ICMTIM 2024, 2024, : 55 - 59
- [8] Integrating Safety Certification into Model-based Testing of Safety-critical Systems 2019 IEEE 30TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE), 2019, : 250 - 260
- [9] Model-based assurance evidence management for safety-critical systems SOFTWARE AND SYSTEMS MODELING, 2022, 21 (06): : 2329 - 2365
- [10] Model-Based Deployment Generation for Safety-Critical Avionics Systems 2017 12TH IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS (SIES), 2017, : 174 - 181