共 50 条
- [31] XANDAR: Verification & Validation Approach for Safety-critical Systems 2023 IEEE 36TH INTERNATIONAL SYSTEM-ON-CHIP CONFERENCE, SOCC, 2023, : 78 - 83
- [32] A variability modeling and transformation approach for safety-critical systems PROCEEDINGS OF 15TH INTERNATIONAL WORKING CONFERENCE ON VARIABILITY MODELLING OF SOFTWARE-INTENSIVE SYSTEMS, VAMOS 2021, 2021,
- [33] An Ontological Approach to Hazard Identification for Safety-Critical Systems PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON RELIABILITY SYSTEMS ENGINEERING (ICRSE 2017), 2017,
- [34] AMBOSS: A Task Modeling Approach for Safety-Critical Systems ENGINEERING INTERACTIVE SYSTEMS 2008, PROCEEDINGS, 2008, 5247 : 98 - +
- [35] A Flexible Communication Protocol With Guaranteed Determinism for Distributed, Safety-Critical Real-Time Systems IEEE ACCESS, 2022, 10 : 48049 - 48070
- [36] AADL-based Safety Analysis Approaches for Safety-Critical Systems 2019 IEEE 12TH CONFERENCE ON SOFTWARE TESTING, VALIDATION AND VERIFICATION (ICST 2019), 2019, : 481 - 482
- [37] Compositional Modeling and Control for Safety-Critical Manufacturing Systems 2012 2ND INTERNATIONAL ELECTRIC DRIVES PRODUCTION CONFERENCE (EDPC), 2012,
- [39] Toward a Systematic and Safety Evidence Productive Verification Approach for Safety-Critical Systems 2018 29TH IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW), 2018, : 329 - 336
- [40] SaSeVAL: A Safety/Security-Aware Approach for Validation of Safety-Critical Systems 51ST ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN-W 2021), 2021, : 27 - 34