Naslov
Formal methods for railway oeration and control systems

Autori
Tarnai, G. ; Schnieder, E. ; Toš, Z. (Eds):

Vrsta, podvrsta i kategorija rada
Poglavlja u knjigama, ostalo

Knjiga
Formal methods for railway oeration and control systems

Urednik/ci
Tarnai, G. ; Schnieder, E.

Izdavač
L'Harmattan

Grad
Budimpešta

Godina
2003

Raspon stranica

ISBN
963 9457 45 0

Ključne riječi
Sigurnost željezničkog prometa, Automatski pružni blok, UML
(Railway Safety, Automatic Block Section, Unified Modelling Language)

Sažetak
SAŽETAK Za stvaranje modela Automatskog pružnog bloka kao operativne formalizacije znanja, potrebno je razumjeti operativne sistemske principe i njegovo strukturno i funkcionalno ponašanje. Pružni blok se može modelirati pomoću podataka i metoda korištenih u klasičnoj željezničkoj signalizaciji i vođenju prometa vlakova. Za pobliže označavanje sustava i izrade modela korišten je UML (Unified Modelling Language) progamski jezik. Edukacijski modul je realiziran na modelu željeznice, upravljan osobnim računalom u Windows okruženju i objektno orijentiranom programskom podrškom. ABSTRACT To establish the model of Automatic Block Section (ABS) ...System as the operative formalization of knowledge, we need to understand the system's operating principals and its structural and functional behaviour. Bloc section can be modelled with data and methods inherited from signalling and train control railway system ontology. For specification of the system and construction of its model Unified Modelling Language has been used. The educational module is realised by the small-scale model of railway system using peronal computers, Windows operating system and object-oriented authoring software.

Izvorni jezik
Engleski

Znanstvena područja
Tehnologija prometa i transport

POVEZANOST RADA