Metodyka budowy komputerowych systemów srk

• Autorzy: Maciejewski M. , Zabłocki W.

Warianty tytułu

EN

Methodology of construction of computer systems for atc

• Konferencja: Nowoczesne technologie i systemy zarządzania w transporcie szynowym = Modern technologies and management systems for rail transport (30.11-2.12.2011 ; Zakopane, Polska)
• Języki publikacji: PL

Abstrakty

PL

W publikacji przedstawiono ogólne założenia metody tworzenia komputerowych systemów srk. Podstawą metody projektowania systemu srk jest strategia oparta na analizie systemowej uwzględniającej cykl V oraz podejście COTS. Treść publikacji zawiera opisy wybranych etapów projektowania należących do cyklu V. Opisy obejmują własności systemu srk i podstawy metody formalizacji opartej na modelu systemu srk nawiązującym do układu przełączającego (automatu), w którym zostają wyróżnione automaty składowe umożliwiające odwzorowanie funkcji sterowania. Podstawą analizy pracy automatów jest specyfikacja sygnałów oraz wyznaczenie funkcji przejść uzupełnione schematami grafów przejść. Rezultatem powyższej metodyki projektowania jest wypracowana metoda pozwalająca tworzyć bezpieczne komputerowe systemy sterowania ruchem.

EN

The general assumptions for the method of computer system for atc construction have been presented in the paper. The basis of the method of atr system designing is the strategy resulting from system analysis including V cycle and COTS approach. The descriptions of some designing stages that belong to V cycle have been given. The descriptions contain the atr system properties and the basis of formalization method. The basis of machines work analysis is specification of signals and definition of transfer function completed with schemes of transfer graphs. The result of mentioned above methodology of designing is the method allowing to create computer systems for traffic control.

Słowa kluczowe

PL

ruch kolejowy; system; metoda; sterowanie; projektowanie; modelowanie; automat; specyfikacja systemu; opis formalny; cykl V; droga przebiegu

EN

rail traffic; system; method; control; project; modeling; machine (automat); specification for the system; formal description; cycle V; route of the Road

• Wydawca: Stowarzyszenie Inżynierów i Techników Komunikacji Rzeczpospolitej Polskiej. Oddział w Krakowie
• Czasopismo: Zeszyty Naukowo-Techniczne Stowarzyszenia Inżynierów i Techników Komunikacji w Krakowie. Seria: Materiały Konferencyjne
• Rocznik: 2011
• Tom: Nr 96, z. 158
• Strony: 289--305
• Opis fizyczny: Bibliogr. 16 poz., rys.

Twórcy

autor

Maciejewski M.

• Politechnika Warszawska, Wydział Transportu, ul. Koszykowa 75, 00-662 Warszawa

autor

Zabłocki W.

• Politechnika Warszawska, Wydział Transportu, ul. Koszykowa 75, 00-662 Warszawa

Bibliografia

• [1] Cheng A., M., K.: Real-Time Systems. Scheduling, Analysis and Verification. Wiley-Interscience, New Jersey 2002.
• [2] Chevillat C., Carrington D., Strooper P., J. Sueß G., and Wildman L.: Model-Based Generation of Interlocking Controller Software from Control Tables, Lecture Notes in Computer Science. SpringerLink 2008, Vol. 5095/2008, 349-360.
• [3] Grochowski K., Sitek I., Maciejewski M., Jasiński S.: Budowa urządzeń kierowania i sterowania ruchem ILTOR-2 i WTUZ. Zeszyty Naukowo-Techniczne Stowarzyszenia Inżynierów i Techników Komunikacji RP w Krakowie, Materiały Konferencyjne, nr 91 (Zeszyt 149), Kraków 2009.
• [4] König N. H.: The Euro-Interlocking Project Standards for Interlocking Systems in Europe Project. Presentation for Polish Railways, 8 June 2004.
• [5] Maciejewski M.: Zróżnicowanie struktur komputerowych urządzeń należnościowych. Materiały Konferencji Nowoczesne technologie i systemy zarządzania w kolejnictwie, Zeszyty Naukowo-Techniczne Stowarzyszenia Inżynierów i Techników Komunikacji RP w Krakowie, Materiały Konferencyjne, nr 91 (Zeszyt 149), Kraków 2009.
• [6] Maciejewski M.: Metoda budowy komputerowych systemów sterowania ruchem kolejowym. Praca doktorska, w przygotowaniu.
• [7] Maciejewski M., Zabłocki W.: Wybrane problemy tworzenia funkcji i równań zależnościowych w systemach srk. Prace Naukowe, Politechnika Warszawska, seria Transport, z. 72, Warszawa 2010, 87 – 100.
• [8] Maciejewski M., Zabłocki W.: Basis of the Formalization and the Algorithmization of the Control Functions in ATC Systems, Communications in Computer and Information Science. Transport Systems Telematics, Nr 104, Springer Verlag, Berlin - Haidelberg 2010, 253 – 262.
• [9] Yuen Man Hon: An Engineering-Oriented Formal Framework for Railway Interlocking Systems Requirements Specifications. Dissertation, Fakultat Architektur, Bauingenieurwesen Und Umweltwissenschaften der Technischen Universitat Carolo-Wilhelmina zu Braunschweig, September 2009.
• [10] Zabłocki W.: Modelowanie systemów sterowania ruchem kolejowym - struktury informacji i elementy opisu formalnego. Prace naukowe TRANSPORT, Politechnika Warszawska, 57/2006.
• [11] Zabłocki W.: A Formal Analysis of Conflict Functions Used in Rail Traffic Control Systems. The Archives of Transport, vol. 18, Warszawa 2006.
• [12] Zabłocki W.: Podstawy opisu formalnego zależności stacyjnych. Prace naukowe TRANSPORT, Oficyna Wydawnicza Politechniki Warszawskiej, z. 62/2007.
• [13] Zabłocki W.: Synteza funkcji zależnościowych stacyjnego system srk. Materiały Konferencji Nowoczesne technologie i systemy zarządzania w kolejnictwie, Zeszyty Naukowo-Techniczne Stowarzyszenia Inżynierów i Techników Komunikacji RP w Krakowie, Materiały Konferencyjne, nr 91 (Zeszyt 149), Kraków 2009.
• [14] Norma Europejska, (CENELEC): EN 50126 : Railway Applications - the Specification and Demonstration of Reliability, Availability, Maintainability and Safety (RAMS),
• [15] Norma Europejska, (CENELEC): EN 50128 : Railway Applications - Communication, Signaling and Processing Systems - Software for Railway Control and Protection Systems,
• [16] Norma Europejska, (CENELEC) : EN 50129 : Railway Applications : Safety Related Electronic Systems for Signaling.