共 50 条
- [1] A Bridge from System to Software Development for Safety-Critical Automotive Embedded Systems [J]. 2012 38TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA), 2012, : 75 - 79
- [2] Cost-effective development of safety-critical embedded software [J]. Automotive Industries AI, 2007, 187 (04):
- [3] Rule checking within the model-based development of safety-critical systems and embedded automotive software [J]. Eighth International Symposium on Autonomous Decentralized Systems, Proceedings, 2007, : 287 - 294
- [4] Improving Methods and Processes for the Development of Safety-Critical Automotive Embedded Systems [J]. 2010 IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2010,
- [5] Quality first - Measuring a safety-critical embedded software development process [J]. INTERNATIONAL CONFERENCE ON PRODUCT FOCUSED SOFTWARE PROCESS IMPROVEMENT, 1999, 195 : 300 - 320
- [7] Software Qualification Approach for Safety-Critical Software of the Embedded System [J]. COMPUTER APPLICATIONS FOR COMMUNICATION, NETWORKING, AND DIGITAL CONTENTS, 2012, 350 : 175 - +
- [8] On the formal development of safety-critical software [J]. VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2008, 4171 : 362 - 373
- [10] Licensing Reliable Embedded Software for Safety-Critical Applications [J]. Real-Time Systems, 2004, 28 : 217 - 236