Abstract | ||
---|---|---|
A reactive system must process inputs from the environment at the speed and with the delay dictated by the environment. The synthesis of reactive software from a modular concurrent specification model generates a set of concurrent tasks coordinated by an operating system. This paper presents a synthesis approach for reactive software that is aimed at minimizing the overhead introduced by the operating system and the interaction among the concurrent tasks. A formal model based on Petri nets is used to synthesize the tasks and verify the correctness of their composition. A practical application of the approach is illustrated by means of a real-life industrial example, which shows the significant impact of the approach on the performance of the system. |
Year | DOI | Venue |
---|---|---|
2005 | 10.1109/TCAD.2005.852038 | IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems |
Keywords | Field | DocType |
concurrent task,reactive software,independent task,Petri net,reactive system,real-life industrial example,operating system,practical application,modular concurrent specification model,formal model,synthesis approach,Quasi-static scheduling | Petri net,Concurrency,Scheduling (computing),Computer science,Quasistatic process,Formal specification,Fifo queue,Formal methods,Reactive system,Distributed computing | Journal |
Volume | Issue | ISSN |
24 | 10 | 0278-0070 |
ISBN | Citations | PageRank |
3-540-43787-8 | 16 | 2.75 |
References | Authors | |
19 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jordi Cortadella | 1 | 1862 | 163.70 |
Alex Kondratyev | 2 | 192 | 14.20 |
L. Lavagno | 3 | 330 | 50.09 |
C. Passerone | 4 | 25 | 4.85 |
Yosinori Watanabe | 5 | 37 | 7.43 |