Time-Memory Scheduling and Code Generation for Real-Time Embedded Software

• Main Authors: Chuen-Hau Gau, 高淳浩
• Other Authors: Pao-Ann Hsiung
• Format: Others
• Language: zh-TW
• Published: 2002
• Online Access: http://ndltd.ncl.edu.tw/handle/53790601461347444907

碩士 === 國立中正大學 === 資訊工程研究所 === 90 === Increase in system complexity has made embedded software a very important part of an embedded system. It has necessitated further research on how a complex, real-time, embedded software can be designed automatically and correctly. Enhancing recent advances in this research, we propose a Time-Memory Scheduling (TMS) method for formally synthesizing and automatically generating code for real-time embedded software, using the Colored Time Petri Nets (CTPN) model. Our method extends previous work in three ways: (1) by allowing the specification of temporal constraints in the system description to model real-time behaviors of software, (2) by allowing the specification of colored tokens in the system description to model different memory usages by data-types, and (3) by proposing an extended algorithm to schedule the enhanced system model and generate static code. A real-time embedded software, which is specified by a set of CTPN, is scheduled using TMS such that the schedules satisfy both limited embedded memory requirements and all real-time with task precedence constraints. Finally, a embedded software program is generated in the C programming language using the valid TMS schedules. Through a real-world example on the ATM Virtual Private Network server, we illustrate the feasibility and advantages of the proposed TMS method for synthesizing embedded real-time software.