共 50 条
- [31] XANDAR: Exploiting the X-by-Construction Paradigm in Model-based Development of Safety-critical Systems [J]. PROCEEDINGS OF THE 2022 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE 2022), 2022, : 814 - 818
- [32] Formal Development Process of Safety-Critical Embedded Human Machine Interface Systems [J]. PROCEEDINGS 11TH 2017 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE), 2017, : 111 - 118
- [33] Applying Model-Based Design and Automatic Production Code Generation to Safety-Critical System Development [J]. SAE INTERNATIONAL JOURNAL OF PASSENGER CARS-ELECTRONIC AND ELECTRICAL SYSTEMS, 2009, 2 (01): : 240 - 248
- [34] Abstract State Machines and System Theoretic Process Analysis for Safety-Critical Systems [J]. FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2017, 2017, 10623 : 15 - 32
- [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] Validating Effectiveness of Compliance Evaluation in Safety-Critical Process Assessment [J]. SYSTEMS, SOFTWARE AND SERVICES PROCESS IMPROVEMENT (EUROSPI 2018), 2018, 896 : 181 - 192
- [38] Safety-Critical System Modeling in Model-Based Testing with Hazard and Operability Analysis [J]. 2018 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY (QRS 2018), 2018, : 397 - 404
- [39] Gaussian process model of uncertainty in safety-critical autonomous driving [J]. 2023 IEEE 26TH INTERNATIONAL CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS, ITSC, 2023, : 4436 - 4442
- [40] 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