共 50 条
- [1] Software Qualification Approach for Safety-Critical Software of the Embedded System [J]. COMPUTER APPLICATIONS FOR COMMUNICATION, NETWORKING, AND DIGITAL CONTENTS, 2012, 350 : 175 - +
- [2] A software diversity model for embedded safety-critical system [J]. PROCEEDINGS OF THE 2009 INTERNATIONAL CONFERENCE ON WIRELESS NETWORKS AND INFORMATION SYSTEMS, 2009, : 106 - 109
- [3] Hardware/software codesign for embedded systems [J]. IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES, 1998, 145 (03): : 153 - 153
- [4] The effect of hardware platform selection on safety-critical software in embedded systems: Empirical evaluations [J]. 2007 INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS, 2007, : 78 - 85
- [5] Hardware/software codesign techniques for low power embedded system [J]. IMECS 2007: INTERNATIONAL MULTICONFERENCE OF ENGINEERS AND COMPUTER SCIENTISTS, VOLS I AND II, 2007, : 1716 - 1721
- [7] Hardware and Software Framework for an Open Battery Management System in Safety-Critical Applications [J]. PROCEEDINGS OF THE IECON 2016 - 42ND ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, 2016, : 5507 - 5512
- [9] Formal methods for safety-critical embedded software - flight warning computer case study [J]. ELECTRONIC ENGINEERING DESIGN, 2002, 74 (904): : 28 - +
- [10] Hardware-software codesign of embedded systems [J]. XI BRAZILIAN SYMPOSIUM ON INTEGRATED CIRCUIT DESIGN, PROCEEDINGS, 1998, : 2 - 8