Quasi-Dynamic Scheduling for the Synthesis of Real-Time Embedded Software with Local and Global Deadlines

Often real-time embedded software is specified as a set of interacting tasks that have local deadlines on subtasks and global deadlines on each task. Currently available scheduling algorithms guarantee only a single level of deadlines, either all local or all global, but not both. We propose a quasi-dynamic scheduling algorithm for simultaneously guaranteeing both types of 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 Periodic 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.

[1]  Massimiliano Chiodo,et al.  Software synthesis for complex reactive embedded systems , 1999, Proceedings 1999 IEEE International Conference on Computer Design: VLSI in Computers and Processors (Cat. No.99CB37040).

[2]  Chuen-Hau Gau,et al.  Time-Memory Scheduling and Code Generation of Real-Time Embedded Software , 2002 .

[3]  Joseph Sifakis,et al.  On the Synthesis of Discrete Controllers for Timed Systems (An Extended Abstract) , 1995, STACS.

[4]  Pao-Ann Hsiung,et al.  Formal Synthesis of Real-Time Embedded Software by Time-Memory Scheduling of Colored Time Petri Nets , 2002, Theory and Practice of Timed Systems @ ETAPS.

[5]  Pao-Ann Hsiung.  Formal Synthesis and Control of Soft Embedded Real-Time Systems , 2001, FORTE.

[6]  Pao-Ann Hsiung.  Timing coverification of concurrent embedded real-time systems , 1999, CODES '99.

[7]  Jennifer Bray,et al.  Bluetooth: Connect Without Cables , 2000 .

[8]  Sérgio Vale Aguiar Campos,et al.  Timing analysis of industrial real-time systems , 1995, Proceedings of 1995 IEEE Workshop on Industrial-Strength Formal Specification Techniques.

[9]  Luciano Lavagno,et al.  Synthesis of embedded software using free-choice Petri nets , 1999, DAC '99.

[10]  Pao-Ann Hsiung,et al.  Extended quasi-static scheduling for formal synthesis and code generation of embedded software , 2002, CODES '02.

[11]  Gang Xu,et al.  Reachability Analysis of Real-Time Systems Using Time Petri Nets , 2000 .

[12]  Dianxiang Xu,et al.  Compositional schedulability analysis of real-time systems using time Petri nets , 2002 .

[13]  Luciano Lavagno,et al.  Hardware-Software Co-Design of Embedded Systems , 1997 .

[14]  Jennifer Bray,et al.  Bluetooth 1.1: Connect Without Cables, Second Edition , 2001 .

[15]  M. Diaz,et al.  Modeling and Verification of Time Dependent Systems Using Time Petri Nets , 1991, IEEE Trans. Software Eng..

[16]  J. M. Fu.  Hardware-Software Timing Coverification of Distributed Embedded Systems , 2000 .

[17]  Gregor von Bochmann,et al.  On the Construction of Submodule Specifications and Communication Protocols , 1983, TOPL.

[18]  Petru Eles,et al.  Formal coverification of embedded systems using model checking , 2000, Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future.

[19]  P. J. Drongowski.  Software architecture in realtime systems , 1993, [1993] Proceedings of the IEEE Workshop on Real-Time Applications.

[20]  Bill Lin,et al.  Efficient compilation of process-based concurrent programs without run-time scheduling , 1998, Proceedings Design, Automation and Test in Europe.

[21]  Pao-Ann Hsiung,et al.  Hardware-software timing coverification of concurrent embedded real-time systems , 2000 .

[22]  Luciano Lavagno,et al.  Hardware-software co-design of embedded systems: the POLIS approach , 1997 .

[23]  Ernst W. Mayr.  An Algorithm for the General Petri Net Reachability Problem , 1984, SIAM J. Comput..

[24]  Joseph Sifakis,et al.  A framework for scheduler synthesis , 1999, Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054).

[25]  Bill Lin,et al.  Software synthesis of process-based concurrent programs , 1998, Proceedings 1998 Design and Automation Conference. 35th DAC. (Cat. No.98CH36175).

[26]  P. Merlin,et al.  Recoverability of Communication Protocols - Implications of a Theoretical Study , 1976, IEEE Transactions on Communications.

[27]  Pao-Ann Hsiung.  Formal synthesis and code generation of embedded real-time software , 2001, CODES '01.

[28]  Pao-Ann Hsiung,et al.  Formal synthesis and code generation of real-time embedded software using time-extended quasi-static scheduling , 2002, Ninth Asia-Pacific Software Engineering Conference, 2002..

[29]  Pao-Ann Hsiung,et al.  Embedded software verification in hardware-software codesign , 2000, J. Syst. Archit..