Modelowanie interlocking`u z zastosowaniem języka opisu sprzętu

• Autorzy: Kawalec P. , Koliński D.

Warianty tytułu

EN

Interlocking modelling in hardware description languages

• Konferencja: Transcomp - XIV International Conference Computer Systems Aided Science, Industry and Transport
• Języki publikacji: PL

Abstrakty

PL

W referacie na przykładzie modułu przejazdowego (ang. Level crossing) zaproponowano modelowanie funkcjonalności Euro-Interlocking'u. Jednocześnie zaprezentowano odmienne podejście do problemu tworzenia opisu europejskiego systemu zależnościowego. Dla prezentowanego modelu przedstawiono proces jego opracowania rozpoczynający się od specyfikacji na poziomie podstawowych funkcjonalności, przez budowę struktury hierarchicznej całego modułu aż po wykorzystanie modelu do badań.

EN

The paper deals with the modelling of Euro-Interlocking's functionality exemplified by level crossing. Moreover, a different approach to the problem of creating this system's description has been presented. The whole process of creating the model has been introduced, concerning the specification of its basic functionality, the creation of the hierarchical structure and the application of the model to research.

Słowa kluczowe

PL

system zależnościowy; urządzenia przejazdowe

EN

interlocking modelling; hardware description languages

• Wydawca: Sieć Badawcza Łukasiewicz - Poznański Instytut Technologiczny
• Czasopismo: Logistyka
• Rocznik: 2010
• Tom: nr 6
• Opis fizyczny: Pełny tekst na CD, Bibliogr. 8 poz., rys., tab.

Twórcy

autor

Kawalec P.

autor

Koliński D.

• Politechnika Warszawska, Wydział transportu; 00-662 Warszawa; ul. Koszykowa 75. tel: + 48 234-75-85,

Bibliografia

• [1] Dąbrowa-Bajon M.: Podstawy sterowania ruchem kolejowym. Oficyna Wydawnicza Politechniki Warszawskiej, Warszawa, 2002.
• [2] Kawalec P., Koliński D.: Algorytmizacja funkcji samoczynnych sygnalizacji przejazdowych z wykorzystaniem wspomagania komputerowego. Materiały VII Konferencji „Komputerowe systemy wspomagania nauki, przemysłu i transportu TRANSCOMP”, Zakopane, 2003, str. 255-260.
• [3] Kawalec P., Koliński D.: Modelowanie obwodów przekaźnikowych urządzeń srk językach opisu sprzętu. Politechnika Radomska, Prace Naukowe – Elektryka nr 1 (9) 2005, Radom, 2005. str. 101-106.
• [4] Kawalec P., Koliński D.: Zastosowanie języków opisu sprzętu do modelowania elementów srk o charakterystyce przekaźnikowej. Politechnika Radomska, Prace Naukowe – Elektryka nr1 (9) 2005, Radom, 2005. str. 107-112.
• [5] Kawalec P., Koliński D., Mocki J.: Zastosowanie programowalnych struktur logicznych w projektowaniu urządzeń sterowania ruchem kolejowym. Problemy kolejnictwa, Nr 140, CNTK, Warszawa, 2005, str. 66 – 88.
• [6] Zwoliński R.: Projektowanie układów cyfrowych z wykorzystaniem języka VHDL, WKŁ, Warszawa,2002.
• [7] Kalisz J. (red.): Język VHDL w praktyce, WKŁ, Warszawa,2002.
• [8] Strona UIC: www.uic.org/download.php/publication/505_05E.pdf