Software synthesis of process-based concurrent programs
DAC '98 Proceedings of the 35th annual Design Automation Conference
Timing coverification of concurrent embedded real-time systems
CODES '99 Proceedings of the seventh international workshop on Hardware/software codesign
Synthesis of embedded software using free-choice Petri nets
Proceedings of the 36th annual ACM/IEEE Design Automation Conference
On the Construction of Submodule Specifications and Communication Protocols
ACM Transactions on Programming Languages and Systems (TOPLAS)
Embedded software verification in hardware-software codesign
Journal of Systems Architecture: the EUROMICRO Journal
Formal synthesis and code generation of embedded real-time software
Proceedings of the ninth international symposium on Hardware/software codesign
Bluetooth: Connect Without Cables
Bluetooth: Connect Without Cables
Formal Synthesis and Control of Soft Embedded Real-Time Systems
FORTE '01 Proceedings of the IFIP TC6/WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems
Extended quasi-static scheduling for formal synthesis and code generation of embedded software
Proceedings of the tenth international symposium on Hardware/software codesign
APSEC '02 Proceedings of the Ninth Asia-Pacific Software Engineering Conference
A Framework for Scheduler Synthesis
RTSS '99 Proceedings of the 20th IEEE Real-Time Systems Symposium
Synthesis of Real-Time Embedded Software by Timed Quasi-Static Scheduling
VLSID '03 Proceedings of the 16th International Conference on VLSI Design
Software Synthesis for Complex Reactive Embedded Systems
ICCD '99 Proceedings of the 1999 IEEE International Conference on Computer Design
VERTAF: An Application Framework for the Design and Verification of Embedded Real-Time Software
IEEE Transactions on Software Engineering
Computer Languages, Systems and Structures
Real-Time Embedded Software Design for Mobile and Ubiquitous Systems
Journal of Signal Processing Systems
Real-time embedded software design for mobile and ubiquitous systems
EUC'07 Proceedings of the 2007 international conference on Embedded and ubiquitous computing
Embedded hard real-time scheduling algorithm based on task's resource requirement
International Journal of High Performance Computing and Networking
| Hi-index | 0.00 |
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 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.