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 条
  • [21] Quasi-Static Performance of Interlayer Systems for Laminated Glass
    Nawar, M.
    Salim, H.
    Lafta, M.
    Elshihy, Ashraf
    [J]. JOURNAL OF MATERIALS IN CIVIL ENGINEERING, 2016, 28 (01)
  • [22] Criteria for Maintaining Desired Contacts for Quasi-Static Systems
    Hou, Yifan
    Mason, Matthew T.
    [J]. 2019 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), 2019, : 6555 - 6561
  • [23] Quasi-static simulations of compact polydisperse particle systems
    Thornton, Colin
    [J]. PARTICUOLOGY, 2010, 8 (02) : 119 - 126
  • [24] Quasi-static scheduling based error recovery for Digital microfluidic biochips
    Rajesh, Kolluri
    Pyne, Sumanta
    [J]. MICROPROCESSORS AND MICROSYSTEMS, 2022, 94
  • [25] Optical detection of quasi-static actuation of nanoelectromechanical systems
    Meyer, C
    Lorenz, H
    Karrai, K
    [J]. APPLIED PHYSICS LETTERS, 2003, 83 (12) : 2420 - 2422
  • [26] Quasi-Static Scheduling of CAL Actor Networks for Reconfigurable Video Coding
    Boutellier, Jani
    Lucarz, Christophe
    Lafond, Sebastien
    Gomez, Victor Martin
    Mattavelli, Marco
    [J]. JOURNAL OF SIGNAL PROCESSING SYSTEMS FOR SIGNAL IMAGE AND VIDEO TECHNOLOGY, 2011, 63 (02): : 191 - 202
  • [27] Quasi-Static Scheduling of CAL Actor Networks for Reconfigurable Video Coding
    Jani Boutellier
    Christophe Lucarz
    Sébastien Lafond
    Victor Martin Gomez
    Marco Mattavelli
    [J]. Journal of Signal Processing Systems, 2011, 63 : 191 - 202
  • [28] Quasi-static simulations of compact polydisperse particle systems
    Colin Thornton
    [J]. Particuology, 2010, 8 (02) : 119 - 126
  • [29] Fast quasi-static time-series analysis and reactive power control of unbalanced distribution systems
    Selim, Ali
    Abdel-Akher, Mamdouh
    Aly, Mohamed M.
    Kamel, Salah
    Senjyu, Tomonobu
    [J]. INTERNATIONAL TRANSACTIONS ON ELECTRICAL ENERGY SYSTEMS, 2019, 29 (01)
  • [30] A Rule-Based Quasi-Static Scheduling Approach for Static Islands in Dynamic Dataflow Graphs
    Falk, Joachim
    Zebelein, Christian
    Haubelt, Christian
    Teich, Juergen
    [J]. ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2013, 12 (03)
12345