Comprehensive formal description of IEC 61499 control devices

Author

Sünder, Christoph ; Gosetti, Ivo ; Vyatkin, Valeriy ; Favre-Bulle, Bernard

Author_Institution

Vienna Univ. of Technol., Vienna

fYear

2008

fDate

13-16 July 2008

Firstpage

1166

Lastpage

1172

Abstract

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.

Keywords

IEC standards; control equipment; embedded systems; industrial control; IEC 61499 control devices; SESA; VisualVerifier; distributed industrial automation; distributed industrial control; net condition-event systems; Application software; Automatic control; Automation; Control systems; Electrical equipment industry; Embedded system; IEC standards; Industrial control; Operating systems; Runtime environment;

fLanguage

English

Publisher

ieee

Conference_Titel

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

Conference_Location

Daejeon

ISSN

1935-4576

Print_ISBN

978-1-4244-2170-1

Electronic_ISBN

1935-4576

Type

conf

DOI

10.1109/INDIN.2008.4618279

Filename

4618279