共 50 条
- [1] A semantic support for Testing Activities of Safety-Critical Embedded Systems [J]. 2014 EIGHTH INTERNATIONAL CONFERENCE ON COMPLEX, INTELLIGENT AND SOFTWARE INTENSIVE SYSTEMS (CISIS),, 2014, : 576 - 581
- [2] Development of a framework for automated systematic testing of safety-critical embedded systems [J]. PROCEEDINGS OF THE FOURTH INTERNATIONAL WORKSHOP ON INTELLIGENT SOLUTIONS IN EMBEDDED SYSEMS, 2006, : 65 - +
- [3] Fault detection in safety-critical embedded systems [J]. DESIGN AND ANALYSIS OF DISTRIBUTED EMBEDDED SYSTEMS, 2002, 91 : 113 - 119
- [4] Safety-critical Java']Java for embedded systems [J]. CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2017, 29 (22):
- [6] Challenges in Validating Safety-Critical Embedded Systems [J]. SAE INTERNATIONAL JOURNAL OF AEROSPACE, 2010, 3 (01): : 109 - 116
- [7] Application of SOA in Safety-Critical Embedded Systems [J]. CONVERGENCE AND HYBRID INFORMATION TECHNOLOGY, 2011, 206 : 345 - +
- [8] A Controlled Experiment in Testing of Safety-Critical Embedded Software [J]. 2016 9TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST), 2016, : 1 - 11
- [9] Testing of Safety-Critical Software Embedded in an Artificial Heart [J]. ADVANCES IN SYSTEMS SAFETY, 2011, : 143 - +
- [10] Safety Assessment of Design Patterns for Safety-Critical Embedded Systems [J]. 2009 35TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS, PROCEEDINGS, 2009, : 523 - 527