Modelling of IEC 61499 function blocks a clue to their verification

• Autorzy: Vyatkin V. , Hanisch H.M.

Warianty tytułu

PL

Modelowanie bloków funkcjonalnych standardu IEC 61499 podstawą ich weryfikacji

• Konferencja: XI Workshop on Supervising and Diagnostics of Machining Systems, Karpacz , Poland March 12-17, 2000
• Języki publikacji: EN

Abstrakty

EN

Suggests a way of modelling of discrete measurement and control applications following the new international standard IEC 61499. The applications which are distributed and event driven, require an adequate formalism, clear enough to be adopted by engineers. The presented formalism of signal/net systems proved to be suitable for modelling of distributed applications alone, as well as for the interconnected systems combined with the model of the plant. Based on the modelling, numerous problems of verification can be effectively solved. The model checking is performed by a bunch of developed analysing tools, including VEDA (verification environment for distributed applications) and SESA (signal/event systems analyser). It includes: test for reachability of dangerous states, search of the never executable code, and validation or invalidation of arbitrary input/output specifications.

Słowa kluczowe

EN

IEC 61499 function blocks; discrete measurement; discrete control; event driven applications; distributed applications; interconnected systems; model checking; reachability tests; dangerous states

• Wydawca: Oficyna Wydawnicza Politechniki Wrocławskiej
• Czasopismo: Prace Naukowe Instytutu Technologii Maszyn i Automatyzacji Politechniki Wrocławskiej. Konferencje
• Rocznik: 2000
• Tom: Vol. 76, nr 35
• Strony: 59--68
• Opis fizyczny: Bibliogr. 9 poz.,

Twórcy

autor

Vyatkin V.

autor

Hanisch H.M.

• Martin-Luther-Univ., Halle-Wittenberg, Germany