Abstract | ||
---|---|---|
This paper addresses the problem of schedu ling reactive real-time tran saction s(task groups) implementing a net work of extend ed Finite State Machines comm unicating asynchronously. Task instances are activated in response to internal and/or external ev ents.The objective is avoiding the loss of events exchanged by the tasks. This sc heduling problem has many similarities with the conventional formulation of real-tim e problems and yet it differs enough to justify a rethinking of the assu mptions an d techniques used to solve the problem. Our iterative solution targets fixed p riority systems and offers a priority assignment scheme together with a sufficiently tight worst-case analysis. |
Year | DOI | Venue |
---|---|---|
2000 | 10.1145/337292.337551 | DAC |
Keywords | Field | DocType |
task scheduling,iterative solution,ling reactive real-time tran,sc heduling problem,conventional formulation,rt constraint,p riority system,task instance,finite state machines,task group,real-tim e problem,external ev ents,system on chip,computer aided software engineering,embedded system,real time,production,formal specifications,extended finite state machine,scheduling algorithm,finite state machine,scheduling problem,automata,real time systems | Permission,Mathematical optimization,System on a chip,Scheduling (computing),Computer science,Automaton,Real-time computing,Formal specification,Finite-state machine,Computer-aided software engineering,Co-simulation | Conference |
ISSN | ISBN | Citations |
0738-100X | 1-58113-187-9 | 2 |
PageRank | References | Authors |
0.41 | 7 | 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 |