PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
Tytuł artykułu

Realizacja specjalizowanych sterowników ruchu drogowego

Autorzy
Identyfikatory
Warianty tytułu
EN
Realization of specialized traffic controllers
Języki publikacji
PL
Abstrakty
PL
W artykule przedstawiono ważną rolę jaką pełnią w systemach sterowania ruchem drogowym sterowniki lokalne. Wzrost wymagań stawianych tym sterownikom powoduje poszukiwanie nowych sposobów realizacji urządzeń sterowania ruchem drogowym. Do powstania nowych rozwiązań przyczynia się rozwój technologiczny i wprowadzenie do powszechnego użytku układów programowalnych. Połączenie tych zagadnień pozwoliło na budowę specjalizowanych sprzętowych sterowników ruchu drogowego w technice SoC (system on chip). W artykule przedstawiono główne punkty i założenia metody realizacji urządzeń sterowania ruchem drogowym w formie specjalizowanych urządzeń programowalnych, obejmujące specyfikację modeli urządzeń sterowania w językach opisu sprzętu z wykorzystaniem grafów przejść automatów skończonych gdzie wprowadzenie hierarchiczności wyeliminowało płaskość modelu. Przedstawiono założenia weryfikacji modeli urządzeń oraz elementy analizy niezawodnościowej.
EN
The article indicates a key role of local traffic controllers in the system of road traffic control, emphasizing at the same time the increasing requirements that these devices are presented with resulting from constantly growing road traffic intensity. The article indicates the need for realization of road traffic control devices in the form of specialized controllers realized as single-system devices of SoC type with the use of programmable devices. Merits of such a realization have been pointed out. After the analysis of formal specification models of digital controllers, a finite automaton with FSM memory has been chosen for realization of model controller. Additional extension of the model by hierarchization eliminated flatness of the model. The paper includes methods of testing digital traffic control devices. The paper focuses on the tests of control devices which are realized in programmable logic devices FPGA. For the obtained prototype of traffic control devices reliability measures have been calculated.
Czasopismo
Rocznik
Tom
Strony
CD--CD
Opis fizyczny
-pełny tekst, Bibliogr. 13 poz., rys.
Twórcy
autor
Bibliografia
  • 1. Adamski M., Barkalov A.: Architectural and sequential synthesis of digital devices, Zakład Poligraficzny Uniwersytetu Zielonogór-skiego, Zielona Góra, 2006.
  • 2. Clements A.: Microprocessor Systems Design: 68000 Hardware, Software and Interfacing. PWS 97.
  • 3. De Micheli G.: Synteza i optymalizacja układów cyfrowych, Wydawnictwo Naukowo-Techniczne, Warszawa, 1998.
  • 4. Device Reliability Report, Fourth Quarter 2009. www.xilinx.com, Xilinx, 2009
  • 5. Firląg K.: Metody modelowania algorytmów sterowania w specjalizowanych sterownikach ruchu drogowego. Logistyka nr 6/2009, Instytut Logistyki i Magazynowania, Poznań, 2009.
  • 6. Firląg K., Kawalec P.: Weryfikacja i testowanie urządzeń sterowania ruchem drogowym realizowanych w układach FPGA. Logistyka nr 6/2009, Instytut Logistyki i Magazynowania, Poznań, 2009.
  • 7. Gajski D.: Principles of digital design, Prentice Hall International, ‘97.
  • 8. Kawalec P., Firląg K.: Reliability analysis of specjalized traffic control devices. Archives of transport, volume 19, issue 1-2, Warszawska Drukarnia Naukowa PAN, Warszawa, 2007 str. 75-82.
  • 9. Lee B., Lee E. A.: Hierarchical Concurrent Finite state Machine in Ptolemy, Proceeding International Conference on Application of Concurrency to System Diesign, Fukushima, Japan, 1998, p. 34-40.
  • 10. Leśko M., Guzik J.: Sterowanie ruchem drogowym. Sterowniki i systemy sterowania i nadzoru ruchu, Wydawnictwo Politechniki Śląskiej, Gliwice, 2000.
  • 11. Pasierbiński J., Zbysiński P.: Układy programowalne w praktyce, WKŁ, Warszawa, 2001.
  • 12. Patton R.: Software testing. 2-nd edition. USA, Pearson Education, copyright by SAMS Publishing, 2005.
  • 13. Wrona W.: VHDL język opisu i projektowania układów cyfrowych. Gliwice, Wydawnictwo Jacka Skalmierskiego, 1998.
Typ dokumentu
Bibliografia
Identyfikator YADDA
bwmeta1.element.baztech-article-BPL6-0022-0069
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.