Title :
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
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;
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
DOI :
10.1109/ETFA.1999.815365
