Name
Abstract | ||
|---|---|---|
Abstract: The development of control-dominated embedded systems can be largely automated by making use of formal models of computation. In some of these models functional objects are not independently activated, triggered by time or external events, as in conventional real-time scheduling models, but each communication between any two functional objects carries an activation signal from the sender to the receiver. This paper presents an application of scheduling theory to reactive real-time transactions (task groups) implementing a formal model of this kind, used in the context of the POLIS toolset: a network of extended Finite State Machines communicating asynchronously. Task instances are activated in response to internal and/or external events and the objective of the scheduling problem is to avoid the loss of events exchanged by the tasks and to minimize the number of task instances activated in response to external events. The paper presents a schedulability analysis, two priority assignment algorithms, and an experimental part with a dashboard controller example. |
Year | DOI | Venue |
|---|---|---|
2001 | 10.1109/RTTAS.2001.929886 | IEEE Real-Time Technology and Applications Symposium |
Keywords | Field | DocType |
control system analysis computing,embedded systems,finite state machines,hardware-software codesign,scheduling,software tools,CASE tool,Codesign Finite State Machines,POLIS toolset,activation signal,codesign environment,control-dominated embedded systems,dashboard controller,embedded control systems,extended finite state machines,formal models,functional objects,hardware components,microcontroller,priority assignment algorithms,reactive task graphs,real-time scheduling models,real-time transactions,schedulability analysis,scheduling theory,task groups | Control theory,Job shop scheduling,Computer science,Scheduling (computing),Real-time computing,Automatic control,Finite-state machine,Context model,Model of computation,Dynamic priority scheduling,Distributed computing | Conference |
Citations | PageRank | References |
0 | 0.34 | 8 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| M. Di Natale | 1 | 34 | 5.98 |
| Alberto L. Sangiovanni-Vincentelli | 2 | 11385 | 1881.40 |
| F. Balarin | 3 | 320 | 37.19 |