Komputerowo wspomagana specyfikacja funkcji zależnościowych urządzeń srk w językach opisu sprzętu

• Autorzy: Kawalec P. , Rżysko M.

Warianty tytułu

EN

Computer aided specification of railway interlocking functions using hardware description languages

• Języki publikacji: PL

Abstrakty

PL

W artykule omówiona została koncepcja wykorzystania języków opisu sprzętu do specyfikacji funkcji zależnościowych urządzeń sterowania ruchem kolejowym. Przegląd stosowanych rozwiązań pokazuje, że nie istnieje metoda opisu zapewniająca jednolitą platformę specyfikacji dyskretnych układów sterowania w kolejnictwie. Obecnie wykorzystywane metody nie oferują również możliwości statycznej i dynamicznej weryfikacji wykonanego układu. Proces projektowania przy użyciu proponowanej metody zaprezentowany został na przykładzie specyfikacji algorytmu działania pojedynczego modułu dla geograficznego systemu zależnościowego, tworzonego w języku VHDL. Zastosowanie symulatorów logicznych w procesie weryfikacji projektu pozwoliło na wykonanie symulacji potwierdzających poprawność działania modelu. Na podstawie tak wykonanej specyfikacji pokazano zalety wykorzystania wspomagania komputerowego w postaci wszechstronnego pakietu przeznaczonego do tworzenia w językach HDL.

EN

This paper presents several issues concerning computer aided specification of railway interlocking functions using hardware description languages. The review of currently used methods shows that none of them can provide a uniform design platform for railway applications, capable of static and dynamic verification of the design. The proposed design process is shown on an exemplary specification of a geographical interlocking module algorithm, written in VHDL. With the use of logic simulators it was possible to verify correctness of the description. The article presents various advantages of utilizing both hardware description languages and computer aided design software.

Słowa kluczowe

PL

języki opisu sprzętu; funkcje zależnościowe; urządzenia sterowania ruchem kolejowym; język VHDL

EN

hardware description languages; interlocking functions; railway traffic control devices; VHDL language

• Wydawca: Instytut Naukowo-Wydawniczy "TTS" Sp. z o.o
• Czasopismo: TTS Technika Transportu Szynowego
• Rocznik: 2012
• Tom: R. 19, nr 9
• Strony: 1605--1614, CD
• Opis fizyczny: Bibliogr. 12 poz.

Twórcy

autor

Kawalec P.

• Politechnika Warszawska

autor

Rżysko M.

• Politechnika Warszawska

Bibliografia

• 1. Banci M., Fantechi A., Gnesi S.: Some Experiences on Formal Specification of Railway Interlocking Systems using Statecharts. SEFM, Koblenz 2005.
• 2. Dąbrowa-Bajon M.: Podstawy sterowania ruchem kolejowym. OWPW, Warszawa 2007.
• 3. Dobias R., Kubatova H.: FPGA Based Design of the Railway’s Interlocking Equipments. EUROMICRO 2004.
• 4. Fokkink W., Groote J. F., Hollenberg M., van Vlijmen B.: LARIS 1.0 Language for Railway Interlocking Specifications. CWI, 2000.
• 5. Hlavatý T., Přeučil L., Štěpán P.: Case Study: Formal Methods in Development and Testing of Safety-Critical Systems: Railway Interlocking System. EUROMICRO 2001.
• 6. Kanso K., Moller F., Setzer A.: Automated Verification of Signaling Principles in Railway Interlocking Systems. Eighth International Workshop of Automated Verification of Critical Systems, Glasgow 2008.
• 7. Kawalec P., Koliński D.: Modelowanie interlocking’u z zastosowaniem języka opisu sprzętu. Logistyka 6/2010.
• 8. Kawalec P., Koliński D.: Zastosowanie języka VHDL do badania złożonych sieci zestykowych. Pomiary Automatyka Kontrola vol. 54, nr 8-2008, Wydawnictwo PAK, Warszawa, 2008, s. 529-531.
• 9. Kawalec P., Rżysko M.: Zastosowanie języków opisu sprzętu do specyfikacji urządzeń srk. Logistyka 4/2012.
• 10. Mickiewicz T., Zubkow A.: Przekaźnikowe urządzenia nastawcze typu półblokowego. WKiŁ, Warszawa 1961.
• 11. Miksza E., Olendrzyński W., Zubkow A.: Zblokowany system sterowania ruchem kolejowym na stacjach typu IZH-111. WKiŁ, Warszawa 1979.
• 12. Pasierbiński J., Zbysiński P.: Układy programowalne w praktyce. WKiŁ, Warszawa 2002.