Change search
ReferencesLink to record
Permanent link

Direct link
Comprehensive formal description of IEC 61499 control devices
Vienna University of Technology.
Vienna University of Technology.
University of Auckland.
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, 1166-1172 p.Conference paper (Refereed)
Abstract [en]

This work analyses the requirements for a comprehensive formal description of an IEC 61499 control device. The model captures functional properties, along with temporal properties, and architecture of a control device, which includes also underlying runtime environment and operating system. The paper presents a case study of an IEC 61499 control device utilizing the Framework for Distributed Industrial Automation and Control (4DIAC) and gives an impression on analysis details that can be achieved by this modeling approach. The formal description is based on Net Condition/Event Systems and the model checking tools VisualVerifier and SESA

Place, publisher, year, edition, pages
Piscataway, NJ: IEEE Communications Society, 2008. 1166-1172 p.
Identifiers
URN: urn:nbn:se:ltu:diva-40078DOI: 10.1109/INDIN.2008.4618279Local ID: f0e18021-5bde-483e-9619-bf635334c3d7ISBN: 9781424421701OAI: oai:DiVA.org:ltu-40078DiVA: diva2:1013601
Conference
IEEE International Conference on Industrial Informatics : 13/07/2008 - 16/07/2008
Note
Upprättat; 2008; 20130503 (andbra)Available from: 2016-10-03 Created: 2016-10-03

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Vyatkin, Valeriy

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 1 hits
ReferencesLink to record
Permanent link

Direct link