Zastosowanie języków opisu sprzętu do specyfikacji urządzeń srk

• Autorzy: Piotr Kawalec , Marcin Rżysko

Warianty tytułu

Application of Hardware Description Languages in Specification of Railway Traffic Control Devices

• Języki publikacji: PL

Abstrakty

W artykule przedstawiono zagadnienia wspomaganej komputerowo specyfikacji urządzeń srk z wykorzystaniem języków opisu sprzętu. Przegląd stosowanych obecnie metod opisu urządzeń i systemów srk wskazuje, że nie istnieje metoda, która mogłaby zapewnić jednolitą platformę opisu wszelkiego rodzaju dyskretnych układów sterowania. Dodatkowo większość stosowanych metod opisu nie pozwala na wykorzystanie wspomagania komputerowego na etapie specyfikacji i weryfikacji algorytmów działania tego typu układów. Zostało pokazane, Ŝe zastosowanie do tego celu języków opisu sprzętu tworzy jednolitą platformę specyfikacji i weryfikacji urządzeń srk, pozwalając dodatkowo na statyczną i dynamiczną weryfikację poprawności opisu, z wykorzystaniem wspomagania komputerowego w postaci symulatorów logicznych. Na przykładzie specyfikacji algorytmu działania jednoodstępowej blokady liniowej w języku VHDL zaprezentowane zostały zarówno możliwości pakietu Active-HDL, jak i proces wspomaganej komputerowo specyfikacji i weryfikacji projektowanego specjalizowanego układu.(abstrakt oryginalny)

EN

The article presents several issues concerning computer aided specification of railway traffic control devices using hardware description languages. The review of currently used description methods of railway traffic control devices and systems indicates that the method which could ensure a uniform platform for description of all kinds of discrete control systems does not exist. In addition, the majority of description methods currently used do not allow the use of computer support at the stage of specification and verification of operation algorithms of this type of systems. It is shown that application of hardware description languages for this purpose comprises a uniform platform for specification and verification of railway traffic control devices, which additionally allows static and dynamic verification of correctness of this description with the use of computer support in the form of logic simulators. On the example of specification of one-section line block operation algorithm in VHDL, both the possibilities of Active-HDL package as well as the process of computer supported specification and verification of the designed specialized system are presented.(original abstract)

Słowa kluczowe

PL

Algorytm transportowy

EN

Transport algorithm

• Czasopismo: Logistyka
• Rocznik: 2012
• Numer: nr 4, CD 1
• Strony: 351--358

Twórcy

autor

Piotr Kawalec

• Politechnika Warszawska

autor

Marcin Rżysko

• Politechnika Warszawska

Bibliografia

• [1] Dąbrowa-Bajon M.: Podstawy sterowania ruchem kolejowym. OWPW, Warszawa 2007.
• [2] Kalisz J. (red.): Język VHDL w praktyce. WKiŁ, Warszawa 2002.
• [3] Kawalec P., Koliński D.: Zastosowanie języka VHDL do badania złoŜonych sieci zestykowych. Pomiary Automatyka Kontrola, 8/2008, Wydawnictwo PAK, Warszawa, 2008, s. 529-531.
• [4] Kawalec P., Koliński D.: Modelowanie interlocking'u z zastosowaniem języka opisu sprzętu. Logistyka, 6/2010, Instytut Logistyki i Magazynowania, Poznań, 2010.
• [5] Mikulski M.: Mechaniczne urządzenia zabezpieczenia ruchu kolejowego. WKiŁ, Warszawa 1983.
• [6] Zajączkowski A., Kalicińska K., Olendrzyński W.: Elektryczne urządzenia zabezpieczenia ruchu kolejowego. Urządzenia stacyjne. WKiŁ, Warszawa 1976.