Sciweavers

Share
IICS
2005
Springer

Compositional Constraints Generation for Concurrent Real-Time Loops with Interdependent Iterations

12 years 5 months ago
Compositional Constraints Generation for Concurrent Real-Time Loops with Interdependent Iterations
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.
Ismail Assayad, Sergio Yovine
Added 27 Jun 2010
Updated 27 Jun 2010
Type Conference
Year 2005
Where IICS
Authors Ismail Assayad, Sergio Yovine
Comments (0)
books