Automatic model generation of IEC 61499 function block using net Condition/Event Systems
2008 (English)In: Proceedings, IEEE INDIN 2008: 6th IEEE International Conference on Industrial Informatics : July 13-16, 2008, Daejeon Convention Center, Daejeon, Korea, Piscataway, NJ: IEEE Communications Society, 2008, 1133-1138 p.Conference paper (Refereed)
The IEC 61499 standard establishes a framework specifically designed for the implementation of decentralized reconfigurable industrial automation systems. However, the process of distributed system's validation and verification is difficult and error-prone. This paper discusses the needs of model generators which are capable of automatically translating IEC 61499 function blocks into formal models following specific execution semantics. In particular, this paper introduces the prototype Net Condition/Event Systems model generator and aims to summarize the generic techniques of model translation.
Place, publisher, year, edition, pages
Piscataway, NJ: IEEE Communications Society, 2008. 1133-1138 p.
IdentifiersURN: urn:nbn:se:ltu:diva-34267DOI: 10.1109/INDIN.2008.4618273Local ID: 86a67d92-e38d-4031-a073-d4152882bbb7ISBN: 9781424421701OAI: oai:DiVA.org:ltu-34267DiVA: diva2:1007517
IEEE International Conference on Industrial Informatics : 13/07/2008 - 16/07/2008
Upprättat; 2008; 20130426 (andbra)2016-09-302016-09-30