A modeling approach for verification of IEC1499 function blocks using net condition/event systems

Author

Vyatkin, V. ; Hanisch, Hans-Michael

Author_Institution

Inst. for Autom. Technol., Otto-von-Guericke Univ. of Magdeburg, Germany

Volume

1

fYear

1999

fDate

1999

Firstpage

261

Abstract

This paper presents a preliminary report on verification of discrete control applications defined by a new international standard draft IEC 1499. As a first step to verification, the structures presented in the IEC1499 are modeled with Net Condition/Event Systems, for which there exist formal methods and tools of proofing various qualitative and quantitative properties. The paper illustrates the methodology of modeling and outlines further steps towards the full-scale verification of execution control of IEC1499 applications

Keywords

IEC standards; discrete event systems; formal verification; programmable controllers; IEC1499 function blocks verification; discrete control sytems; formal methods; modeling approach; net condition/event systems; Automatic control; Automation; Communication system control; Computer architecture; Control systems; IEC standards; Logic devices; Programmable control; Software reusability; Standards development;

fLanguage

English

Publisher

ieee

Conference_Titel

Emerging Technologies and Factory Automation, 1999. Proceedings. ETFA '99. 1999 7th IEEE International Conference on

Conference_Location

Barcelona

Print_ISBN

0-7803-5670-5

Type

conf

DOI

10.1109/ETFA.1999.815365

Filename

815365