Publikace detail

Functional Behaviour Modeling of The Interlocking RBC Interface Signalling System by Means of Colored Petri Nets

Autoři: Ouředníček Jan | Slovák Roman | Schnieder Eckehard

Rok: 2007

Druh publikace: článek ve sborníku

Název zdroje: FORMS/FORMAT 2007 - Formal Methods for Automation and Safety in Railway and Automotive Systems

Název nakladatele: GZVB - Traffic Transport &Telematics

Místo vydání: Braunschweig

Strana od-do: 52-63

Tituly:

Jazyk	Název	Abstrakt	Klíčová slova
cze	Modelování funkčního chování zabezpečovacího systému IRI prostřednictvím barevných Petriho sítí.	Příspěvek popisuje model funkčního chování systému IRI vytvořený pomocí nástroje pro barevné Petriho sítě ? Design/CPN. Příspěvek obsahuje stručný popis problému, tj. pilotní projekt ERTMS/ETCS v ČR, dále popisuje použitou metodiku modelování, strukturu a činnost modelu. Zmíněna je rovněž verifikace modelu.	Barevné Petriho sítě, Hierarchické Petriho sítě, Design/CPN, návrh prostřednictvím modelu, aplikace železničních zabezpečovacích systémů, ERTMS/ETCS, funkční algoritmy
eng	Functional Behaviour Modeling of The Interlocking RBC Interface Signalling System by Means of Colored Petri Nets	This paper presents a model of Interlocking ? RBC Interface functional behaviour created in by means of Colored Petri Nets software tool ? Design/CPN. The paper contains short domain problem description i.e. Czech ERTMS/ETCS pilot application, next describes used modelling methodology, structure and working of the model and also model verification methods are mentioned.	Colored Petri nets, Hierarchical Petri nets, Design/CPN, model based design, signalling railway application, ERTMS/ETCS, functional algorithm

Search