Zastosowanie języków opisu sprzętu do specyfikacji urządzeń srk
- Piotr Kawalec, Marcin Rżysko
- Kategoria: Pozostałe zagadnienia
Metody opisu urządzeń sterowania ruchem kolejowym ewoluowały wraz z rozwojem techniki ich wykonania. W przypadku pierwszych urządzeń mechanicznych czy elektromechanicznych stosowane były opisy słowne. Technika przekaźnikowa spopularyzowała jako metodę opisu schemat elektryczny. Wzrost złożoności układów przekaźnikowych powodował coraz większe trudności w ich projektowaniu, jednak nim znaleziono optymalne rozwiązanie pojawiła się nowa technika realizacji urządzeń, czyli układy elektroniczne. Te zaś projektowane są różnymi metodami, zależnie od producenta czy typu urządzenia.
Przez pewien czas stan ten wydawał się nie być problematyczny, jednak obecna tendencja do obejmowania coraz większych obszarów sterowaniem z jednej nastawni (lokalnego centrum sterowania) powoduje, iż znacząco wzrasta ilość funkcji realizowanych przez poszczególne systemy srk. Konieczność współpracy wielu typów urządzeń (systemy zależnościowe, blokady liniowe, systemy przekazywania informacji o pociągu, układy diagnostyki taboru) w obrębie jednego obszaru sterowania powoduje, że niezbędne staje się znalezienie jednolitej i spójnej platformy projektowej i opisowej dla różnych rodzajów urządzeń i systemów sterowania ruchem kolejowym.
Niniejszy artykuł przedstawia koncepcję wykorzystania do stworzenia takiej platformy języków opisu sprzętu wraz z dedykowanymi narzędziami wspomagania komputerowego. Udowodniona została przydatność wspomagania komputerowego do szczegółowej analizy działania urządzeń przekaźnikowych
[3]. Poruszany jest również w pracach naukowych temat zastosowania w technice srk układów programowalnych, tworzonych przy użyciu języków opisu sprzętu [4]. W tym artykule przedstawiony zostanie proces tworzenia i weryfikowania modelu urządzenia od powstania algorytmu do wygenerowania kodu języka opisu sprzętu. (...)
Niniejszy artykuł przedstawia koncepcję wykorzystania do stworzenia takiej platformy języków opisu sprzętu wraz z dedykowanymi narzędziami wspomagania komputerowego. Udowodniona została przydatność wspomagania komputerowego do szczegółowej analizy działania urządzeń przekaźnikowych
[3]. Poruszany jest również w pracach naukowych temat zastosowania w technice srk układów programowalnych, tworzonych przy użyciu języków opisu sprzętu [4]. W tym artykule przedstawiony zostanie proces tworzenia i weryfikowania modelu urządzenia od powstania algorytmu do wygenerowania kodu języka opisu sprzętu. (...)
Artykuł zawiera 21016 znaków.
Źródło: Czasopismo Logistyka 4/2012
Zaloguj się by skomentować