Tytuł artykułu
Autorzy
Identyfikatory
Warianty tytułu
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
Abstrakty
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.
Czasopismo
Rocznik
Tom
Strony
59--68
Opis fizyczny
Bibliogr. 9 poz.,
Twórcy
Bibliografia
Typ dokumentu
Bibliografia
Identyfikator YADDA
bwmeta1.element.baztech-article-BPW4-0002-0091