共 50 条
- [21] Safety-Critical System Modeling in Model-Based Testing with Hazard and Operability Analysis 2018 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY (QRS 2018), 2018, : 397 - 404
- [22] A Model-Based Design Methodology with Contracts to Enhance the Development Process of Safety-Critical Systems SOFTWARE TECHNOLOGIES FOR EMBEDDED AND UBIQUITOUS SYSTEMS, 2010, 6399 : 59 - +
- [23] Towards the Adoption of Model-Based Engineering for the Development of Safety-Critical Systems in Industrial Practice COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2016, 2016, 9923 : 322 - 333
- [24] A Process-oriented Build Tool for Safety-critical Model-based Software Development PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT, 2018, : 191 - 202
- [25] Innovation Welcome: An Agile Approach to Model-Based Development of Safety-Critical Embedded Systems 2018 IEEE 15TH INTERNATIONAL CONFERENCE ON SOFTWARE ARCHITECTURE COMPANION (ICSA-C 2018), 2018, : 152 - 152
- [26] UML for Software Safety and Certification Model-Based Development of Safety-Critical Software-Intensive Systems MODEL-BASED ENGINEERING OF EMBEDDED REAL-TIME SYSTEMS, 2010, 6100 : 201 - +
- [29] An algorithm based fault tolerance technique for safety-critical applications ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM - 1997 PROCEEDINGS: THE INTERNATIONAL SYMPOSIUM ON PRODUCT QUALITY & INTEGRITY, 1997, : 278 - 285
- [30] On-line Fault-diagnosis Study: Model-Based Fault Diagnosis for Ultracapcitors PROCEEDINGS OF 2014 PROGNOSTICS AND SYSTEM HEALTH MANAGEMENT CONFERENCE (PHM-2014 HUNAN), 2014, : 158 - 162