共 50 条
- [41] HARDWARE SUPPORT FOR EFFICIENT TESTING OF EMBEDDED SOFTWARE PROCEEDINGS OF THE ASME INTERNATIONAL DESIGN ENGINEERING TECHNICAL CONFERENCES AND COMPUTERS AND INFORMATION IN ENGINEERING CONFERENCE, 2011, VOL 3, PTS A AND B, 2012, : 3 - 12
- [43] Hardware Runtime Verification of Embedded Software in SoPC 2016 11TH IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS (SIES), 2016,
- [44] Synchronous Techniques for Software and Hardware Embedded Systems ENGINEERING METHODS AND TOOLS FOR SOFTWARE SAFETY AND SECURITY, 2009, 22 : 43 - 74
- [47] Automatic Generation of Hardware/Software Interfaces ASPLOS XVII: SEVENTEENTH INTERNATIONAL CONFERENCE ON ARCHITECTURAL SUPPORT FOR PROGRAMMING LANGUAGES AND OPERATING SYSTEMS, 2012, : 325 - 336
- [48] Flexible and executable hardware/software interface modeling for multiprocessor SoC design using systemC PROCEEDINGS OF THE ASP-DAC 2007, 2007, : 390 - +
- [49] Hardware/software partitioning of operating systems -: The δ hardware/software RTOS generation framework for SoC EMBEDDED SOFTWARE FOR SOC, 2003, : 187 - 206
- [50] Modeling embedded systems: From SystemC and Esterel to DFCharts IEEE DESIGN & TEST OF COMPUTERS, 2006, 23 (05): : 348 - 358