Synthesis of real-time embedded software with local and global deadlines
Proceedings of the 1st IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
Synthesis of time-constrained multitasking embedded software
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Hi-index | 0.00 |
The rapid escalation in complexity of real-time embeddedsystems design has made embedded software an integralsystem part such that formal software synthesis hasbecome an indispensable design automation technique. Thecurrent work takes one more step forward in this researchdirection by proposing a formal synthesis method for complexreal-time embedded software. Compared to previouswork, our method not only synthesizes embedded softwarewith complex interrelated branching choices for executionwithin a user-given memory bound, but also tries to guaranteethe satisfaction of all user-given local and global timeconstraints. Our proposed method called Time-ExtendedQuasi-Static Scheduling (TEQSS) synthesizes real-time embeddedsoftware code from a set of Time Complex-ChoicePetri Nets. The two most important issues in real-time embeddedsoftware, namely memory and time constraints areboth elegantly and efficiently handled by TEQSS. We showthe feasibility of our method through a master-slave roleswitch application which is a part of the Bluetooth wirelesscommunication protocol.