An approach to implement a Programmable Logic Controller from real-time software components

This paper proposes an approach to implement a Programmable Logic Controller (PLC) from real-time software components following the International Industrial Standard IEC61499. According to this standard, a Function Block is an event triggered component owning data and a control application is a network of blocks that have to satisfy end to end response time bounds according to user requirements. To correctly deploy these blocks in feasible OS tasks of the PLC, we propose a hybrid scheduling approach that combines static non-preemptive and online preemptive policies where the static policy allows the construction of sequencings that satisfy temporal constraints. We transform these sequencings into conditional OS tasks of the execution environment before we apply the online policy to check the preemptive feasibility of these tasks.

[1]  Christos Tranoris,et al.  A tool supported engineering process for developing control applications , 2006, Comput. Ind..

[2]  V. Vyatkin,et al.  Modelling of IEC 61499 function blocks a clue to their verification , 2000 .

[3]  Dinesh Kumar,et al.  Behaviour analysis and resource optimisation for an industrial system , 2007 .

[4]  Sanjoy K. Baruah,et al.  Dynamic- and Static-priority Scheduling of Recurring Real-time Tasks , 2004, Real-Time Systems.

[5]  Mohamed Khalgui,et al.  A heuristic based method for automatic deployment of distributed component based applications , 2006, 2006 International Symposium on Industrial Embedded Systems.

[6]  Georg Frey,et al.  Development process for distributed automation systems combining UML and IEC 61499 , 2007, Int. J. Manuf. Res..

[7]  Mohamed Khalgui,et al.  Component based deployment of industrial control systems: a hybrid scheduling approach , 2006, 2006 IEEE Conference on Emerging Technologies and Factory Automation.

[8]  Valeriy Vyatkin.  The potential impact of the IEC61499 standard on the progress of distributed intelligent automation , 2006, Int. J. Manuf. Technol. Manag..

[9]  Marco Spuri,et al.  Deadline Scheduling for Real-Time Systems , 2011 .

[10]  Lothar Thiele,et al.  On the Complexity of Scheduling Conditional Real-Time Code , 2001, WADS.

[11]  Too-Seng Tia,et al.  Assigning real-timle tasks and resources to distributed systems , 1995 .

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

[13]  Jean-Marc Jézéquel,et al.  Applying CLP to Predict Extra-Functional Properties of Component-Based Models , 2004, ICLP.

[14]  Kleanthis Thramboulidis,et al.  Model-integrated mechatronics - toward a new paradigm in the development of manufacturing systems , 2005, IEEE Transactions on Industrial Informatics.

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

[16]  Valeriy Vyatkin,et al.  Verification of distributed control systems in intelligent manufacturing , 2003, J. Intell. Manuf..

[17]  Hervé Guéguen,et al.  A Timed Automata Model of IEC 61499 Basic Function Blocks Semantic , 2003 .

[18]  Mohamed Khalgui,et al.  A Schedulability Analysis of an IEC-61499 Control Application , 2006 .

[19]  Mohamed Khalgui,et al.  A contribution to the validation of complex real-time systems , 2004 .

[20]  Kleanthis Thramboulidis,et al.  Model driven development of distributed control applications , 2007 .

[21]  Valeriy Vyatkin,et al.  Formal validation of intelligent-automated production systems: towards industrial applications , 2006, Int. J. Manuf. Technol. Manag..

[22]  Joseph Y.-T. Leung,et al.  Scheduling real-time tasks: algorithms and complexity , 2004 .

[23]  Mohamed Khalgui,et al.  Adaptable OPC-XML contracts taking into account network traffic , 2005, 2005 IEEE Conference on Emerging Technologies and Factory Automation.

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