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