Weryfikacja równań zależnościowych z wykorzystaniem symulatorów logicznych na przykładzie zastosowania pakietu Active-HDL

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

Warianty tytułu

EN

Verification of interlocking equations using logic simulators in Active-HDL environment

• Języki publikacji: PL

Abstrakty

PL

W artykule przedstawiona została problematyka weryfikacji logiki zależnościowej współczesnych systemów sterowania ruchem kolejowym. Złożoność zagadnienia rośnie w ostatnich latach w wyniku wielu istotnych czynników, takich jak konieczność zapewnienia interoperacyjności systemów, czy tendencja do obejmowania sterowaniem z jednej nastawni coraz większych obszarów. Utrudniona staje się więc manualna analiza poprawności działania projektowanych systemów. W związku z tym do weryfikacji zaproponowane zostało wykorzystanie nowoczesnego, zintegrowanego pakietu programistycznego Active-HDL. Na przykładzie zestawu równań zależnościowych opracowanego w języku VHDL przedstawione zostały możliwości pakietu w zakresie weryfikacji projektu.

EN

This paper presents a formal method for railway interlocking logic verification. After decomposing the railway control system into objects and algorithms, interlocking functions were described using formal methods. This allowed the use of integrated design environment - Active-HDL, for verification of the whole design and building VHDL code as a final description. Various methods of manual and automated simulation are presented, showing the capabilities of the described design and verification method.

Słowa kluczowe

PL

sterowanie ruchem kolejowym; system zależnościowy; formalizacja opisu; Active-HDL

EN

railway traffic control; dependence system; formal description; Active-HDL

• Wydawca: Instytut Naukowo-Wydawniczy "TTS" Sp. z o.o
• Czasopismo: TTS Technika Transportu Szynowego
• Rocznik: 2013
• Tom: R. 20, nr 10
• Strony: 1587--1596, CD
• Opis fizyczny: Bibliogr. 9 poz., il. kolor., rys.

Twórcy

autor

Kawalec P.

• Politechnika Warszawska, Wydział Transportu

autor

Rżysko M.

• Bombardier Transportation (Rail Engineering) Polska

Bibliografia

• 1. Kanso K., Moller F., Setzer A., Automated Verification of Signalling Principles in Railway Interlocking Systems. Electronic Notes in Theoretical Computer Science, AVoCS 2008.
• 2. Koliński D., Formalny opis funkcji zależnościowych systemów srk dla współczesnych posterunków ruchu. Prace Naukowe - Transport z.86, Warszawa 2012, s.35-52.
• 3. Kawalec P., Rżysko M., Komputerowo wspomagana specyfikacja funkcji zależnościowych urządzeń srk w językach opisu sprzętu. Technika Transportu Szynowego, nr 9/2012, s.1605-1614.
• 4. Dąbrowa-Bajon M., Podstawy sterowania ruchem kolejowym. OWPW, Warszawa 2007.
• 5. Borecký J., Kubalík P., Kubátová H., Reliable Railway Station System based on Regular Structure implemented in FPGA. 12th Euromicro Conf. on Digital System Design, Los Alamitos: IEEE Computer Society (2009), s. 348-354.
• 6. Traczyk W., Układy cyfrowe. Podstawy teoretyczne i metody syntezy. Wydawnictwa Naukowo-Techniczne, Warszawa 1982.
• 7. Wytyczne techniczne budowy urządzeń sterowania ruchem kolejowym (WTB-E10). PKP PLK S.A., Warszawa 1997.
• 8. Wytyczne w zakresie zobrazowania, wprowadzania poleceń oraz rejestracji zdarzeń dla komputerowych stanowisk obsługi urządzeń sterowania ruchem kolejowym (Ie-104). PKP PLK S.A., Warszawa 2012.
• 9. Kawalec P., Rżysko M., Zastosowanie grafów przejść automatów skończonych do opisu algorytmów działania urządzeń srk. Prace Naukowe - Transport z.95, Warszawa 2013, s.221-230.