Synthesis of real-time embedded software with local and global deadlines

Pao-Ann Hsiung, Cheng-Yi Lin
2003 Proceedings of the 1st IEEE/ACM/IFIP international conference on Hardware/software codesign & system synthesis - CODES+ISSS '03  
Current methods cannot synthesize real-time embedded software applications when the global deadline of a task is shorter than the total of all local deadlines along a critical path in the task. This creates unnecessary modeling limitations which directly affect the types of systems synthesizable. We propose a quasi-dynamic scheduling algorithm for simultaneously guaranteeing both local and global deadlines, while satisfying all precedence constraints among subtasks and among tasks. Through this
more » ... scheduling procedure, we are able to formally synthesize real-time embedded software from a network of Real-Time Petri Nets specification. Application examples, including a driver for the Master/Slave role switch in Bluetooth wireless communication devices, are given to illustrate the feasibility of the scheduling algorithm. GIS enabled Vehicle GPS MMDT Vehicle Vehicle (DC) Dispatching Center GPS MMDT GPS MMDT
doi:10.1145/944678.944679 fatcat:cehvmud2abgwnp2gmo3qfbuapq