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

13 years 9 months ago

Download www.cecs.uci.edu

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 scheduling procedure, we are able to formally synthesize real-time embedded software from a network of Real-Time Petri Nets speciﬁcation. 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. Categories and Subject Descriptors C.3 [Special Purpose and Application-Based Systems]: Realtime and embedded systems; D.2.2 [Software Engineering]: Design tools and techn...

Pao-Ann Hsiung, Cheng-Yi Lin

Real-time Traffic