|
| next >> |
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
Details for article 1 of 65 found articles
| Title: |
An Improved Quasi-Static Scheduling Algorithm for Mixed Data-Control Embedded Software |
| Author: |
Liu Chun-Chen |
| Appeared in: |
Journal of applied sciences |
| Paging: | Volume 6 (2006) nr. 7 pages 1571-1575 |
| Year: |
2006 |
| Contents: |
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. |
| Publisher: |
Asian Network for Scientific Information (provided by DOAJ) |
| Source file: |
Elektronische Wetenschappelijke Tijdschriften |
Details for article 1 of 65 found articles
| next >> |