An Improved Quasi-Static Scheduling Algorithm for Mixed Data-Control Embedded Software
Liu ., Chun-Chen . · Journal of Applied Sciences · 2006
An embedded system is defined as a set of concurrent processes that communicate through channels.Described in flow C, each process is a sequential program that may contain data-dependent or synchronization-dependant control structures.A task is a set of sequential operations that the system will perform to respond to the inputs from the environment.The embedded software coordinates these tasks generated for input events.A software synthesis approach includes two correlated parts: scheduling and code generation.Our scheduling algorithm can guarantee that all tasks can be executed within finite memory for arbitrary input streams, and the code generated can have a smaller size than those previously used.Petri net (PN) is used the underlying model of computation (MoC) to do formal analysis and verification.