Modelowanie zmiany programu sygnalizacji za pomocą hierarchicznych grafów przejść automatów skończonych

• Autorzy: Kawalec P. , Krukowicz T.

Warianty tytułu

EN

Modelling of changing control program with hierarhic graphs of finite state machines

• Języki publikacji: PL

Abstrakty

PL

Artykuł opisuje zagadnienia związane z modelowaniem zmiany programów sygnalizacji podczas realizacji opisu sterowników sygnalizacji świetlnej za pomocą języków opisu sprzętu. Zawarto w nim zagadnienia wymagań formalnych dla programów przejściowych, zagadnienie określenia liczby programów niezbędnych dla prawidłowego funkcjonowania sterownika oraz weryfikacji poprawności przyjętych założeń. Informacje przedstawione w artykule są oparte na projekcie algorytmu sterowania dla rzeczywistego skrzyżowania.

EN

The paper discribes problems of modelling of changing control program while describing traffic lights controllers with hardware description language. It discusses issues of formal requirements for interchange programs, determination of a number of programs necessary for proper controller operation as well as verification of assumptions. The baseline information for the paper was the design of traffic conrol algorithm for a real road crossing in Warsaw.

Słowa kluczowe

PL

sterownik sygnalizacji; program startowy; program końcowy; zmiana programów; język opisu sprzętu; VHDL; FSM

EN

modelling of changing control program; hierarhic graphs of finite state machines

• Wydawca: Sieć Badawcza Łukasiewicz - Poznański Instytut Technologiczny
• Czasopismo: Logistyka
• Rocznik: 2011
• Tom: nr 6
• Opis fizyczny: Pełny tekst na CD, Bibliogr. 3 poz., rys., tab.

Twórcy

autor

Kawalec P.

autor

Krukowicz T.

• Politechnika Warszawska, Wydział Transportu, Zakład Sterowania Ruchem, Zespół Sterowania Ruchem Drogowym, 00-662 Warszawa, ul. Koszykowa 75, tel. [phone],

Bibliografia

• [1] Firląg K., Prace naukowe Politechniki Warszawskiej, Transport, Zeszyt 77, Projektowanie i realizacja specjalizowanych sterowników ruchu drogowego w reprogramowalnych strukturach logicznych, Warszawa, 2011
• [2] Rozporządzenie Ministra Infrastruktury z dnia 3 lipca 2003 r. w sprawie szczegółowych warunków technicznych dla znaków i sygnałów drogowych oraz urządzeń bezpieczeństwa ruchu drogowego i warunków ich umieszczania na drogach (Dz. U. 220 poz. 2181 z dnia 23 grudnia 2003 r. z późn. zm.), Kancelaria Prezesa Rady Ministrów, Warszawa, 2003-2011
• [3] Szatkowski M., Materiały pomocnicze do wykładu z przedmiotu Sterowanie ruchem drogowym I, prace niepublikowane, Warszawa, 2004