An approach to implement a programmable logic controller from real-time software components

International Journal of Industrial and Systems Engineering

Volumn 4, Issue 1, 2009, Pages 60-75

  Khalgui, Mohamed ^a,b,c   Rebeuf, Xavier ^a  

^a LORIA   (France)

^b ITIA CNR   (Italy)

^c MARTIN LUTHER UNIVERSITY HALLE WITTENBERG   (Germany)

Author keywords

Component based approach; Deployment; Function blocks; IEC61499; Real time; Schedulability analysis

Indexed keywords

CONTROLLERS; PROGRAMMABLE LOGIC CONTROLLERS; PROGRAMMED CONTROL SYSTEMS;

COMPONENT BASED APPROACH; DEPLOYMENT; FUNCTION BLOCK; IEC 61499; REAL TIME; SCHEDULABILITY ANALYSIS;

COMPUTER CIRCUITS;

EID: 57349119909     PISSN: 17485037     EISSN: 17485045     Source Type: Journal    
DOI: 10.1504/IJISE.2009.021686     Document Type: Article

References (31)

1. Baruah, S. (2003) 'Dynamic and static priority scheduling of recurring real-time tasks', Real-time Systems, Vol. 24, No. 1, pp.93-128.
2. Baruah, S. and Goossens, J. (2004) 'Scheduling real-time tasks: algorithms and complexity', in Leung, J.Y-T. (Ed.): Handbook of Scheduling: Algorithms, Models and Performance Analysis, Chapman Hall/CRC press, ISBN: 1-58488-397-9.
3. Chakraborty, S., Erlebach, T. and Thiele, L. (2001) 'On the complexity of scheduling conditional real-time code', Proc. 7th International Workshop on Algorithms and Data Structures (WADS), LNCS 2125.
4. Crnkovic, I. and Larsson, M. (2002) Building Reliable Component-Based Software Systems, Artech House, London, ISBN 1-58053-327-2.
5. Defour, O., Jezequel, J.M. and Plouzeau, N. (2004) 'Applying clp to predict extra-functional properties of component-based models', in de Boer, J.S. (Ed.): Proceedings of Logic Programming: 20th International Conference, ICLP 2004, Springer, Heidelberg.
6. Hanisch, H.M., Lobov, A., Lastra, J.L.M., Tuokko, R. and Vyatkin, V. (2006) 'Formal validation of intelligent automated production systems towards industrial applications', International Journal of Manufacturing Technology and Management, Vol. 8, No. 1, pp.75-106.
7. IEC1131, I.S. (1993) Programmable Controllers Part 3, Bureau Central de la commission Electrotechnique Internationale, Switzerland.
8. IEC61499, I.S. (2004) Industrial Process Measurements and Control Systems, International Electrotechnical Commission (IEC), Committee Draft.
9. Khalgui, M. and Rebeuf, X. (2006) 'A heuristic based method for automatic deployment of distributed component based applications', First IEEE International Symposium on Industrial Embedded Systems (IES2006), France.
10. Khalgui, M., Rebeuf, X. and Simonot-Lion, F. (2004a) 'A behaviour model for iec 61499 function blocks', Third International Workshop on Modelling of Objects, Components, and Agents (MOCA04), Denmark.
11. Khalgui, M., Rebeuf, X. and Simonot-Lion, F. (2004b) 'A contribution to the validation of complex real-time systems', Second International IEEE Conference on Electronics, Computer Science and Telecommunication (SETIT 2004), Tunisie.
12. Khalgui, M., Rebeuf, X. and Simonot-Lion, F. (2005a) 'A schedulability analysis of an iec 61499 control application', 6th IFAC International Conference on Fieldbuses and Networks in Industrial and Embedded Systems (FET05), Mexico.
13. Khalgui, M., Rebeuf, X. and Simonot-Lion, F. (2005b) 'A schedulability condition of an iec 61499 control application with limited buffers', Third International Workshop on Object-Oriented Modeling of Embedded Real-Time Systems (OMER3), Germany.
14. Khalgui, M., Rebeuf, X. and Simonot-Lion, F. (2006a) 'Component-based deployment of industrial control systems: An hybrid scheduling approach', 11th IEEE International Conference on Emerging Technology and Factory automation (ETFA06), Czech Republic.
15. Khalgui, M., Rebeuf, X. and Simonot-Lion, F. (2006b) 'A tolerant temporal validation of components based applications', 12th IFAC International Conference on Information Control Problems in Manufacturing (INCOM 06), France.
16. Khalgui, M., Rebeuf, X. and Zampognaro, F. (2006c) 'Adaptable opc-xml contracts taking into account network traffic', 10th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA05), Italy.
17. Leung, J. and Whitehead, J. (1982) 'On the complexity of fixed-priority scheduling of periodic real-time tasks', Performance Evaluation, Vol. 2, pp.237-250.
18. Lewis, R. (2001) Modelling Control Systems using iec 61499, Institution of Engineering and Technology, UK, ISBN: 0852967969.
19. Panjaitan, S. and Frey, G. (2007) 'Development process for distributed automation systems combining uml and iec 61499', International Journal of Manufacturing Research, Inderscience Publishers, Vol. 2, No. 1, pp.1-20.
20. Sharma, R.K., Kumar, D. and Kumar, P. (2007) 'Behaviour analysis and resource optimisation for an industrial system', International Journal of Industrial Systems Engineering, Vol. 2, No. 4, pp.413-443.
21. Stanica, M. and Guguen, H. (2003) 'A timed automata model of iec 61499 basic function blocks semantic', ECRTS'03, Euromicro European Conference on Real-Time Systems, Portugal.
22. Stankovic, J., Spuri, M. and Ramamritham, K. (2005) Deadline Scheduling for Real-Time Systems, Kluwer Academic Publishers, ISBN: 0792382692.
23. Takada, H. and Sakamura, K. (1995) 'mu-itron for small-scale embedded systems', IEEE MICRO, Vol. 15, No. 6, pp.46-54.
24. Thramboulidis, K. (2005) 'Model integrated mechatronics - towards a new paradigm in the development of manufacturing systems', IEEE Transactions on Industrial Informatics, Vol. 1, No. 1, pp.54-61.
25. Thramboulidis, K., Perdikis, D. and Kantas, S. (2007) 'Model driven development of distributed control applications', The International Journal of Avanced Manufacturing Technology, Springer-Verlag, Vol. 33, Nos. 3-4, pp.233-242.
26. Tia, T.S. and Liu, J.W.S. (1995) 'Assigning real-time tasks and resources to distributed systems', International Journal Minim and Microcomputers, Vol. 17, No. 1, pp.18-25.
27. Tranoris, C. and Thramboulidis, K. (2006) 'A tool supported engineering process for developing control applications', Computers in Industry Vol. 57, No. 5, pp.462-472.
28. Vyatkin, V. (2006) 'The potential impact of the iec 61499 standard on the progress of distributed intelligent automation', International Journal of Manufacturing Technology and Management, Vol. 8, No. 1, pp.107-125.
29. Vyatkin, V. and Hanisch, H.M. (2000) 'Modeling of iec 61499 function blocks a clue to their veri.cation', XI Workshop on Supervising and Diagnostics of Machining Systems, Wroclaw.
30. Vyatkin, V. and Hanisch, H.M. (2003) 'Verification of distributed control systems in intelligent manufacturing', Journal of International Manufacturing, Vol. 14, No. 1, pp.123-136.
31. Wang, W. and Mok, A. (2002) Pre-Scheduling: Balancing between Static and Dynamic Schedulers, UTCS Technical Report RTS-TR-02-01.