Paper Info
Title
Formal Synthesis and Code Generation of Real-Time Embedded Software using Time-Extended Quasi-Static Scheduling
Abstract
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.
Year
DOI
Venue
2002
10.1109/APSEC.2002.1183009
APSEC
Keywords
Field
DocType
indispensable design automation technique,real-time embedded software,code generation,synthesizes embedded softwarewith complex,real-time embeddedsystems design,formal synthesis method,real-time embeddedsoftware,time complex-choice petri nets,formal synthesis,time-extended quasi-static scheduling,complexreal-time embedded software,embedded software,formal software synthesis hasbecome,synthesizes real-time embeddedsoftware code,embedded system,petri net,complexity,system design,multi threading,time complexity,switches,memory,wireless communication,multiprogramming,formal specification,petri nets,real time systems,master slave,design automation,real time,embedded systems,memory management
Avionics software,Embedded software,Software design,Software design description,Computer science,Real-time computing,Software system,Software construction,Software development,Software framework,Embedded system,Distributed computing
Conference
ISBN
Citations 
PageRank 
0-7695-1850-8
8
0.55
References 
Authors
15
3
Name
Order
Citations
PageRank
Pao-ann Hsiung162468.75
Trong-yen Lee29820.70
Feng-Shi Su3332.61