Wyniki wyszukiwania - BazTech

Ograniczanie wyników

1 Prace Naukowe Instytutu Technologii Maszyn i Automatyzacji Politechniki Wrocławskiej. Konferencje

1 2000

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

Modelling of IEC 61499 function blocks a clue to their verification

Vyatkin V., Hanisch H.M.

Prace Naukowe Instytutu Technologii Maszyn i Automatyzacji Politechniki Wrocławskiej. Konferencje

2000

Vol. 76, nr 35

59-68

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.