Quasi-static scheduling of independent tasks for reactive systems

Authors:
J. Cortadella;A. Kondratyev;L. Lavagno;C. Passerone;Y. Watanabe
Affiliations:
Univ. Politecnica de Catalunya, Barcelona, Spain;-;-;-;-
Venue:
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Year:
2006

Citing 0
Cited 9

A Development Process for Self-adapting Service Oriented Applications

ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
Quasi-Static Scheduling of Communicating Tasks

CONCUR '08 Proceedings of the 19th international conference on Concurrency Theory
Schedulability Analysis of Petri Nets Based on Structural Properties

Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'06)
Code decomposition and recomposition for enhancing embedded software performance

Proceedings of the 2009 Asia and South Pacific Design Automation Conference
Automating the addition of fault tolerance with discrete controller synthesis

Formal Methods in System Design
Petri nets and programming: a survey

ACC'09 Proceedings of the 2009 conference on American Control Conference
Adaptor synthesis for real-time components

TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
Quasi-static scheduling of communicating tasks

Information and Computation
Schedulability Analysis of Petri Nets Based on Structural Properties

Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'06)

Quantified Score

Hi-index	0.03

Visualization

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.