Definition of the execution model used in the fuber IEC 61499 runtime environment

IEEE International Conference on Industrial Informatics (INDIN)

Volumn , Issue , 2008, Pages 301-306

  Čngić, Goran ^a   Ǻkcsson, Knut ^a  

^a CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATIONS; AUTOMATA THEORY; COMPUTATIONAL FLUID DYNAMICS; FINITE AUTOMATA; SCHEDULING;

BASIC FUNCTIONS; COMPOSITE FUNCTIONS; DISCRETE EVENT SYSTEMS; EXECUTION MODELS; FINITE AUTOMATA MODELS; FORMAL VERIFICATIONS; FUNCTION BLOCKS; INPUT EVENTS; RUNTIME ENVIRONMENTS; SCHEDULING FUNCTIONS; SCHEDULING POLICIES; SEQUENTIAL EXECUTIONS; SERVICE INTERFACES;

PROBABILITY DENSITY FUNCTION;

EID: 54849422000     PISSN: 19354576     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/INDIN.2008.4618113     Document Type: Conference Paper

References (27)

1. IEC, "IEC 61499-1: Function blocks - part 1: Architecture," International Electrotechnical Commission, Tech. Rep., 2005.
2. ISO/IEC, Programmable Controllers-Part 3: Programming languages, 2nd ed., ser. International standard IEC 61131-3. ISO/IEC. 2003.
3. J. H. Christensen, "Function Block Development Kit, FBDK." [Online]. Available: http://www.holobloc.com
4. K. Thramboulidis, "Development of distributed industrial control applications: The CORFU framework," in Proceedings of the 4th IEEE International Workshop on Factory Communication Systems. IEEE, 2002. pp. 39-16.
5. "CORFU Framework." [Online]. Available: http://seg.ee.upatras. gr/corfu/dev/index.htm
6. "Archimedes System Platform." [Online]. Available: http://seg.ee.upatras.gr/MIM/archimedes.htm
7. "OOONEIDA-FBench Project." [Online]. Available: http://www.ele.auckland.ac.nz/̃vyatkin/ fbench/index.html
8. V. Vyatkin, J. Christensen, and J. Lastra, "OOONEIDA: An open, object-oriented knowledge economy for intelligent industrial automation," IEEE Transactions on Industrial Informatics, vol. 1, no. 1, pp. 4-17, Feb. 2005.
9. "4DIAC-IDE." [Online]. Available: http://www.fordiac.Org/9.0. html
10. "ISaGRAF - ICS Triplex." [Online]. Available: http://www.isagraf.com
11. K. Thramboulidis and A. Zoupas, "Real-time Java in control and automation: A model driven development approach," in Proceedings of the 10th IEEE International Conference on Emerging Technologies and Factory Automation. IEEE, Sept. 2005, pp. 39 46.
12. G. Doukas and K. Thramboulidis, "A real-time linux execution environment for function-block based distributed control applications," in Proceedings of 3rd IEEE International Conference on Industrial Informatics. IEEE, Aug. 2005, pp. 56-61.
13. "4DIAC-RTE." [Online]. Available: http://www.fordiac.Org/8.0. html
14. G. Čengić, "Fuber Project at SourceForge." [Online]. Available: http://sourceforge.net/projects/fuber
15. L. Ferrarini and C. Veber, "Implementation aproaches for the execution of IEC 61499 applications," in Proceedings of 2nd IEEE International Conference on Industrial Informatics. IEEE, June 2004, pp. 612-7.
16. C. Sünder, A. Zoitl, J. H. Christensen, V. Vyatkin, R. Brennan, A. Valentini, L. Ferrarini, T. Strasser, J. Lastra, and F. Auinger, "Usability and interoperability of IEC 61499 based distributed automation systems," in Proceedings of the 4th IEEE International Conference on Industrial Informatics. IEEE, Aug. 2006, pp. 31-7.
17. A. Zoitl. G. Grabmair, F. Auinger. and C. Sünder, "Executing real-time constrained control applications modelled in IEC 61499 with respect to dynamic reconfiguration." in Proceedings of the 3rd IEEE International Conference on Industrial Informatics. IEEE, Aug. 2005, pp. 62 - 7.
18. W. E. Rumpl, C. Dutzler, A. Zoitl, and F. Auinger, "Platforms for scalable flexible automation considering the concepts of IEC 61499," in Proceedings of the 5th IFIP/IEEE International Conference on Information Technology for Balanced Automation Systems in Manufacturing and Services. Kluwer, B.V., Sept. 2002, pp. 237-46.
19. N. Hagge and B. Wagner, "Applying the handler-based execution model to IEC 61499 basic and composite function blocks." in Proceedings of the 4th IEEE International Conference on Industrial Informatics (INDIN). IEEE, Aug. 2006.
20. V. Vyatkin and V. Dubinin, "Sequential axiomatic model for execution of basic function blocks in IEC61499," in Proceedings of the 5th IEEE International Conference on Industrial Informatics. IEEE, June 2007, pp. 1183-8.
21. V. Dubinin and V. Vyatkin, "On definition of a formal model for IEC 61499 function blocks," EURASIP Journal on Embedded Systems, vol. 2007, 2007.
22. G. Čengić, O. Ljungkrantz, and K. Ǻkesson, "Formal modeling of function block applications running in IEC 61499 execution runtime," in Proceedings of the 11th IEEE International Conference on Emerging Technology and Factory Automation. IEEE, Sept. 2006, pp. 1269-76.
23. V. Vyatkin, "Execution semantic of function blocks based on the model of net condition/event systems," in Proceedings of the 4th IEEE International Conference on Industrial Informatics. IEEE, Aug. 2006, pp. 874-9.
24. V. Dubinin. V. Vyatkin, and H.-M. Hanisch. "Modelling and verification of IEC 61499 applications using Prolog," in Proceedings of the 11th IEEE International Conference on Emerging Technology and Factory Automation. IEEE, Sept. 2006, pp. 774-81.
25. M. Sköldstam, K. Ǻkesson, and M. Fabian, "Modelling of discrete event systems using finite automata with variables," in Proceedings of the 46th IEEE Conference on Decision and Control. IEEE. Dec 2007, pp. 3387-92.
26. K. Ǻkesson, M. Fabian, H. Plordal, and R. Malik, "Supremica-an integrated environment for verification, synthesis and simulation of discrete event systems," in Proceedings of the 8th International Workshop on Discrete Event Systems, WODES '06, July 2006, pp. 384-5.
27. C. Sünder, A. Zoitl, J. H. Christensen, M. Colla, and T. Strasser, "Execution models for the IEC 61499 elements composite function block and subapplication," in Proceedings of the 5th IEEE International Conference on Industrial Informatics. IEEE, July 2007, pp. 1169-75.