共 50 条
- [1] An assessment framework for development processes of safety-critical system functions applied to a model-based safety-critical middleware [J]. 2020 AIAA/IEEE 39TH DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC) PROCEEDINGS, 2020,
- [2] Model-based design, analysis and assessment framework for safety-critical systems [J]. 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 [J]. 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 [J]. IEEE INTERNATIONAL CONFERENCE ON RECENT ADVANCES IN SYSTEMS SCIENCE AND ENGINEERING (IEEE RASSE 2021), 2021,
- [5] Model-Based Validation of Safety-Critical Embedded Systems [J]. 2010 IEEE AEROSPACE CONFERENCE PROCEEDINGS, 2010,
- [7] Integrating Safety Certification into Model-based Testing of Safety-critical Systems [J]. 2019 IEEE 30TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE), 2019, : 250 - 260
- [8] Model-based assurance evidence management for safety-critical systems [J]. SOFTWARE AND SYSTEMS MODELING, 2022, 21 (06): : 2329 - 2365
- [9] Model-Based Deployment Generation for Safety-Critical Avionics Systems [J]. 2017 12TH IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS (SIES), 2017, : 174 - 181
- [10] A model-based Software Development Process for Safety-critical embedded Systems in industrial Measurement Technology UML-Framework for the Modeling of safety-critical Software [J]. AUTOMATION 2012, 2012, 2171 : 55 - 58