engleski

Formal methods for railway oeration and control systems

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.

Railway Safety, Automatic Block Section, Unified Modelling Language

nije evidentirano