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 条
  • [1] Quasi-static scheduling of independent tasks for reactive systems
    Cortadella, J
    Kondratyev, A
    Lavagno, L
    Passerone, C
    Watanabe, Y
    [J]. IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2005, 24 (10) : 1492 - 1514
  • [2] Quasi-static scheduling of communicating tasks
    Darondeau, Philippe
    Genest, Blaise
    Thiagarajan, P. S.
    Yang, Shaofa
    [J]. CONCUR 2008 - CONCURRENCY THEORY, PROCEEDINGS, 2008, 5201 : 310 - +
  • [3] Quasi-static scheduling of communicating tasks
    Darondeau, Philippe
    Genest, Blaise
    Thiagarajan, P. S.
    Yang, Shaofa
    [J]. INFORMATION AND COMPUTATION, 2010, 208 (10) : 1154 - 1168
  • [4] Quasi-static scheduling for real-time systems with hard and soft tasks
    Cortés, LA
    Eles, P
    Peng, Z
    [J]. DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, VOLS 1 AND 2, PROCEEDINGS, 2004, : 1176 - 1181
  • [5] Quasi-static scheduling for multiprocessor real-time systems with hard and soft tasks
    Cortés, LA
    Eles, P
    Peng, Z
    [J]. 11TH IEEE INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS, PROCEEDINGS, 2005, : 422 - 428
  • [6] Quasi-static scheduling of reconfigurable dataflow graphs for DSP systems
    Bhattacharya, B
    Bhattacharyya, SS
    [J]. 11TH IEEE INTERNATIONAL WORKSHOP ON RAPID SYSTEM PROTOTYPING, PROCEEDINGS, 2000, : 84 - 89
  • [7] Quasi-static scheduling for concurrent architectures
    Cortadella, J
    Kondratyev, A
    Lavagno, L
    Taubin, A
    Watanabe, Y
    [J]. FUNDAMENTA INFORMATICAE, 2004, 62 (02) : 171 - 196
  • [8] Quasi-static scheduling for concurrent architectures
    Cortadella, J
    Kondratyev, A
    Lavagno, L
    Watanabe, Y
    [J]. THIRD INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, 2003, : 29 - 40
  • [9] Quasi-Static Scheduling for Safe Futures
    Navabi, Armand
    Zhang, Xiangyu
    Jagannathan, Suresh
    [J]. PPOPP'08: PROCEEDINGS OF THE 2008 ACM SIGPLAN SYMPOSIUM ON PRINCIPLES AND PRACTICE OF PARALLEL PROGRAMMING, 2008, : 23 - 32
  • [10] False path elimination in quasi-static scheduling
    Arrigoni, G
    Duchini, L
    Lavagno, L
    Passerone, C
    Watanabe, Y
    [J]. DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, 2002 PROCEEDINGS, 2002, : 964 - 970
12345