A static scheduling generator for the deployment of a component based application

This paper proposes a static scheduling of an application designed using the IEC 61499 standard. In this standard, a function block (FB) is an event triggered component and an application is a FBs network. According to specifications, we propose temporal constraints on the application behavior. To verify these constraints, we propose to transform the application blocks into a particular tasks system with precedence constraints. The purpose is to exploit previous works on scheduling. In addition, we propose a schedulability analysis generating an accessibility graph of the application. This graph allows the construction of a static scheduling to use by a sequencer at run-time.

[1]  Charles U. Martel,et al.  On non-preemptive scheduling of period and sporadic tasks , 1991, [1991] Proceedings Twelfth Real-Time Systems Symposium.

[2]  John P. Lehoczky,et al.  The rate monotonic scheduling algorithm: exact characterization and average case behavior , 1989, [1989] Proceedings. Real-Time Systems Symposium.

[3]  Mohamed Khalgui,et al.  A SCHEDULABILITY ANALYSIS OF AN IEC-61499 CONTROL APPLICATION , 2006 .

[4]  Alan Burns,et al.  Applying new scheduling theory to static priority pre-emptive scheduling , 1993, Softw. Eng. J..

[5]  Martin Naedele.  Fault-tolerant real-time scheduling under execution time constraints , 1999, Proceedings Sixth International Conference on Real-Time Computing Systems and Applications. RTCSA'99 (Cat. No.PR00306).

[6]  William Moses.  Modelling control systems using IEC 61499 , 2001 .

[7]  Joseph Y.-T. Leung,et al.  On the complexity of fixed-priority scheduling of periodic, real-time tasks , 1982, Perform. Evaluation.

[8]  Paul F. Ware.  J. W. S.: An Appreciation by His First Resident , 1967 .

[9]  Jacek Blazewicz,et al.  Scheduling Dependent Tasks with Different Arrival Times to Meet Deadlines , 1976, Performance.

[10]  Parameswaran Ramanathan,et al.  A Dynamic Priority Assignement Technique for Streams with (m, k)-Firm Deadlines , 1995, IEEE Trans. Computers.

[11]  Chung Laung Liu,et al.  Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.

[12]  Mark Klein,et al.  A practitioner's handbook for real-time analysis - guide to rate monotonic analysis for real-time systems , 1993, The Kluwer international series in engineering and computer science.

[13]  Ivica Crnkovic,et al.  Building Reliable Component-Based Software Systems , 2002 .

[14]  Mohamed Khalgui,et al.  A behavior model for IEC 61499 function blocks , 2004 .

[15]  Stephane Pailler,et al.  Off-line scheduling of real time applications with variable duration tasks , 2004 .

[16]  Jörg Würtz,et al.  Off-line scheduling of a real-time system , 1998, SAC '98.

[17]  Maria L. Gini,et al.  Scheduling tasks with precedence constraints to solicit desirable bid combinations , 2003, AAMAS '03.

[18]  Hiroaki Takada,et al.  μITRON for small-scale embedded systems , 1995, IEEE Micro.

[19]  Daniel Moldt.  Third Workshop on Modelling of Objects, Components, and Agents , 2002 .

[20]  Ness B. Shroff,et al.  The notion of end-to-end capacity and its application to the estimation of end-to-end network delays , 2005, Comput. Networks.

[21]  Guillem Bernat,et al.  A New Timing Schema for WCET Analysis , 2004 .

[22]  Eugene L. Lawler,et al.  Optimal Sequencing of a Single Machine Subject to Precedence Constraints , 1973 .