Compositional constraints generation for concurrent real-time loops with interdependent iterations

Authors:
I. Assayad;S. Yovine
Affiliations:
VERIMAG, Centre Equation, Gieres, France;VERIMAG, Centre Equation, Gieres, France
Venue:
IICS'05 Proceedings of the 5th international conference on Innovative Internet Community Systems
Year:
2005

Citing 6
Cited 1

Efficient timing constraint derivation for optimal retiming high speed processing units

ISSS '94 Proceedings of the 7th international symposium on High-level synthesis
Scheduler Modeling Based on the Controller Synthesis Paradigm

Real-Time Systems
A Single-Chip Multiprocessor

Computer
Trends in Embedded-Microprocessor Design

Computer
Worst-case performance analysis of parallel, communicating software processes

Proceedings of the tenth international symposium on Hardware/software codesign
Hard Real-time Computing Systems: Predictable Scheduling Algorithms And Applications (Real-Time Systems Series)

Hard Real-time Computing Systems: Predictable Scheduling Algorithms And Applications (Real-Time Systems Series)

A platform-based design framework for joint SW/HW multiprocessor systems design

Journal of Systems Architecture: the EUROMICRO Journal

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we describe an assume/guarantee based execution constraints synthesis algorithm for concurrent threads executing on parallel platforms. Threads are loops which can have several control points, such as the activation of loop iterations and the interaction with other threads. Real-time applications such as multimedia applications are usually specified using this kind of concurrent interacting threads. The proposed compositional algorithm outputs a set of sufficient constraints on the control points in order to meet timing objectives. The paper first presents the timed system model we use to specify such applications. Then, the constraints synthesis algorithm is presented and illustrated on a real-time video application.