|
| volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 1 van 65 gevonden artikelen
| Titel: |
An Improved Quasi-Static Scheduling Algorithm for Mixed Data-Control Embedded Software |
| Auteur: |
Liu Chun-Chen |
| Verschenen in: |
Journal of applied sciences |
| Paginering: | Jaargang 6 (2006) nr. 7 pagina's 1571-1575 |
| Jaar: |
2006 |
| Inhoud: |
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. |
| Uitgever: |
Asian Network for Scientific Information (provided by DOAJ) |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 1 van 65 gevonden artikelen
| volgende >> |