共 50 条
- [21] Formal verification of embedded real-time software in component-based application frameworks [J]. APSEC 2001: EIGHTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2001, : 71 - 78
- [22] A component model for embedded real-time software product-lines [J]. FIELDBUS SYSTEMS AND THEIR APPLICATIONOS 2001 (FET'2001), 2002, : 265 - 271
- [23] A methodology for software synthesis of embedded real-time systems based on TPN and LSC [J]. EMBEDDED SOFTWARE AND SYSTEMS, PROCEEDINGS, 2005, 3820 : 50 - 62
- [24] Integration of PECOS into MARMOT for Embedded Real Time Software Component-Based Development [J]. 2009 FOURTH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING ADVANCES (ICSEA 2009), 2009, : 265 - 270
- [25] Software architecture synthesis for retargetable real-time embedded systems [J]. PROCEEDINGS OF THE FIFTH INTERNATIONAL WORKSHOP ON HARDWARE/SOFTWARE CODESIGN (CODES/CASHE '97), 1997, : 101 - 105
- [26] Real-Time Embedded Software Design for Mobile and Ubiquitous Systems [J]. Journal of Signal Processing Systems, 2010, 59 : 13 - 32
- [27] SOFTWARE-PERFORMANCE ANALYSIS OF REAL-TIME EMBEDDED SYSTEMS [J]. HEWLETT-PACKARD JOURNAL, 1993, 44 (02): : 107 - 115
- [28] Hardware-Software Partitioning for Real-Time Embedded Systems [J]. Design Automation for Embedded Systems, 1997, 2 : 339 - 358
- [29] Techniques for software thread integration in real-time embedded systems [J]. 19TH IEEE REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 1998, : 322 - 333