Quasi-static scheduling of independent tasks for reactive systems

被引：0
|
作者：
Cortadella, J [1 ]
Kondratyev, A
Lavagno, L
Passerone, C
Watanabe, Y
机构：
[1] Univ Politecn Cataluna, Barcelona, Spain
[2] Cadence Berkeley Labs, Berkeley, CA USA
[3] Politecn Torino, Turin, Italy
来源：
APPLICATIONS AND THEORY OF PETRI NETS 2002 | 2002年 / 2360卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
The synthesis of a reactive system generates a set of concurrent tasks coordinated by an operating system. This paper presents a synthesis approach for reactive systems that aims 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. A practical application is illustrated by means of a real-life industrial example.
引用
收藏
页码：80 / 100
页数：21
相关论文
共 50 条
  • [31] Quasi-Static Scheduling of Data Flow Graphs in the Presence of Limited Channel Capacities
    Falk, Joachim
    Schwarzer, Tobias
    Glass, Michael
    Teich, Juergen
    Zebelein, Christian
    Haubelt, Christian
    [J]. 2015 13TH IEEE SYMPOSIUM ON EMBEDDED SYSTEMS FOR REAL-TIME MULTIMEDIA, 2015, : 29 - 38
  • [32] Extended quasi-static scheduling for formal synthesis and code generation of embedded software
    Su, FS
    Hsiung, PA
    [J]. CODES 2002: PROCEEDINGS OF THE TENTH INTERNATIONAL SYMPOSIUM ON HARDWARE/SOFTWARE CODESIGN, 2002, : 211 - 216
  • [33] Synthesis of real-time embedded software by timed quasi-static scheduling
    Hsiung, PA
    Su, FS
    [J]. 16TH INTERNATIONAL CONFERENCE ON VLSI DESIGN, PROCEEDINGS, 2003, : 579 - 584
  • [34] Model and algorithms for scheduling independent tasks on heterogeneous systems
    Shang Mingsheng
    Wang Qingxian
    Fu Yan
    Li Jianping
    [J]. PROCEEDINGS OF THE INTERNATIONAL CONFERENCE INFORMATION COMPUTING AND AUTOMATION, VOLS 1-3, 2008, : 691 - +
  • [35] Boundary heat flux estimation in quasi-static thermoelastic systems
    Sivergina, I
    Polis, MP
    Kolmanovsky, IV
    [J]. ACC: Proceedings of the 2005 American Control Conference, Vols 1-7, 2005, : 3888 - 3893
  • [36] Mathematical results on the stability of quasi-static paths of smooth systems
    Rebrova, N. V.
    Martins, J. A. C.
    Sobolev, V. A.
    [J]. TOPICS ON MATHEMATICS FOR SMART SYSTEMS, 2007, : 183 - +
  • [37] Quasi-static Decomposition and the Gibbs Factorial in Small Thermodynamic Systems
    Shin-ichi Sasa
    Ken Hiura
    Naoko Nakagawa
    Akira Yoshida
    [J]. Journal of Statistical Physics, 2022, 189
  • [38] OPTIMAL PREEMPTIVE SCHEDULING OF INDEPENDENT TASKS FOR MULTIPROCESSOR SYSTEMS
    ROWICKI, A
    [J]. BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 1978, 26 (07): : 643 - 650
  • [39] Quasi-static Decomposition and the Gibbs Factorial in Small Thermodynamic Systems
    Sasa, Shin-ichi
    Hiura, Ken
    Nakagawa, Naoko
    Yoshida, Akira
    [J]. JOURNAL OF STATISTICAL PHYSICS, 2022, 189 (02)
  • [40] Control of flat systems by quasi-static feedback of generalized states
    Delaleau, E
    Rudolph, J
    [J]. INTERNATIONAL JOURNAL OF CONTROL, 1998, 71 (05) : 745 - 765
12345