Quasi-Static Scheduling of Independent Tasksfor Reactive Systems

Authors:
Jordi Cortadella;Alex Kondratyev;Luciano Lavagno;Claudio Passerone;Yosinori Watanabe
Affiliations:
-;-;-;-;-
Venue:
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Year:
2002

Citing 13
Cited 7

Communicating sequential processes

Communicating sequential processes
Static scheduling of synchronous data flow programs for digital signal processing

IEEE Transactions on Computers
STATEMATE: A Working Environment for the Development of Complex Reactive Systems

IEEE Transactions on Software Engineering
TTP-A Protocol for Fault-Tolerant Real-Time Systems

Computer
Software synthesis of process-based concurrent programs

DAC '98 Proceedings of the 35th annual Design Automation Conference
An MPEG-2 decoder case study as a driver for a system level design methodology

CODES '99 Proceedings of the seventh international workshop on Hardware/software codesign
Scheduling hardware/software systems using symbolic techniques

CODES '99 Proceedings of the seventh international workshop on Hardware/software codesign
Synthesis of embedded software using free-choice Petri nets

Proceedings of the 36th annual ACM/IEEE Design Automation Conference
YAPI: application modeling for signal processing systems

Proceedings of the 37th Annual Design Automation Conference
Task generation and compile-time scheduling for mixed data-control embedded software

Proceedings of the 37th Annual Design Automation Conference
Generation of minimal size code for scheduling graphs

Proceedings of the conference on Design, automation and test in Europe
Synchronous Programming of Reactive Systems

Synchronous Programming of Reactive Systems
Scheduling dynamic dataflow graphs with bounded memory using the token flow model

Scheduling dynamic dataflow graphs with bounded memory using the token flow model

Metropolis: An Integrated Electronic System Design Environment

Computer
A structural approach to quasi-static schedulability analysis of communicating concurrent programs

Proceedings of the 5th ACM international conference on Embedded software
Synthesis of time-constrained multitasking embedded software

ACM Transactions on Design Automation of Electronic Systems (TODAES)
Efficient software implementation of embedded communication protocol controllers using asynchronous software thread integration with time- and space-efficient procedure calls

ACM Transactions on Embedded Computing Systems (TECS)
Quasi-static Scheduling for Concurrent Architectures

Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'03)
Quasi-static Scheduling for Concurrent Architectures

Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'03)
Automatic synthesis of modular connectors via composition of protocol mediation patterns

Proceedings of the 2013 International Conference on Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.