Scheduled System Maintenance:
On May 6th, system maintenance will take place from 8:00 AM - 12:00 PM ET (12:00 - 16:00 UTC). During this time, there may be intermittent impact on performance. We apologize for the inconvenience.
By Topic

Comprehensive formal description of IEC 61499 control devices

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

The purchase and pricing options are temporarily unavailable. Please try again later.
4 Author(s)
Sunder, C. ; Vienna Univ. of Technol., Vienna ; Gosetti, I. ; Vyatkin, V. ; Favre-Bulle, B.

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.

Published in:

Industrial Informatics, 2008. INDIN 2008. 6th IEEE International Conference on

Date of Conference:

13-16 July 2008