Method of designing road traffic control devices within reprogrammable logic devices

Krzysztof Firląg

Abstract

The paper presents a new conception of realization of specialized road traffic control devices. It consists in registration of adaptive algorithms of road traffic control within Hardware Description Language (HDL), as well as realization of modules of local road traffic controllers within programmable devices in the form of specialized single-system devices of SoC type (System on Chip). Both the types and the ways of registration of algorithms of adaptive control used in the process of road traffic control at the crossroads have been analyzed, emphasizing a big influence of the abovementioned algorithms on traffic conditions and the safety of transport process. The structure of road traffic control system has been presented, paying particular attention to the local layer of the system. Currently used traffic controllers have been analyzed from the point of view of realization ways of control algorithms by these devices, emphasizing software and hardware realization platforms. Devices realized on the basis of programmable devices and Hardware Description Language (HDL) have been indicated as an alternative to traffic control devices in use to date. Having revised programmable logic structures, it has been indicated that thanks to these structures there exists a possibility of realization of control devices combining the features of software and hardware realization of control algorithms. Moreover, huge resources of contemporary programmable devices allow for realization of complete devices within single-system devices programmable by means of SoC technology. Lack of reflection in literature of new technologies of modeling and synthesis of digital systems on methodology of design and realization of road traffic control devices, has resulted in the necessity of drawing up a new method of modelling road traffic control devices making use of designing techniques of specialized digital systems. Within the following chapters of the present paper, the method of realization of road traffic control algorithms within Hardware Description Language shall be discussed. For modeling of devices, formal specification models have been used having transparent graphic representations. Finite automata transition graphs have been applied to create algorithms of traffic control, where the hierarchization introduced significantly increased readability of the model. Structural models have also been used for realization of block schemata of traffic controllers. Synthesis of modern control systems would not have been possible without computer support devices. From the models in the form of graphs and block schemata thanks to the use of dedicated software, models within VHDL language have been obtained. The paper puts emphasis on verification of obtained models of road traffic control devices by presenting the assumptions and the course of verification process of these devices. In the application part of the paper, the models obtained have been used for realization of prototypes of road traffic local controllers. For the obtained prototypes of local controllers, basic usage and reliability parameters have been indicated which have confirmed the thesis of the present paper. Summary and conclusions resulting from conducted research constitute the final part of the paper.
Diploma typeDoctor of Philosophy
Author Krzysztof Firląg (FT / DTC)
Krzysztof Firląg,,
- Department of Traffic Control
Title in EnglishMethod of designing road traffic control devices within reprogrammable logic devices
Languagepl polski
Certifying UnitFaculty of Transport (FT)
Disciplinetransportation / (technology domain) / (technological sciences)
Start date21-01-2010
Defense Date07-10-2010
End date21-10-2010
Supervisor Piotr Kawalec (FT / DTC)
Piotr Kawalec,,
- Department of Traffic Control

Internal reviewers Lucjan Grochowski (FT / DCRST)
Lucjan Grochowski,,
- Deartment of Computers and Rail Systems in Transport
External reviewers Jan Piecha
Jan Piecha,,
-
Pages126
Keywords in Englishalgorithms of road traffic control, road traffic devices, specialized devices designing, programmable logic devices
Abstract in EnglishThe paper presents a new conception of realization of specialized road traffic control devices. It consists in registration of adaptive algorithms of road traffic control within Hardware Description Language (HDL), as well as realization of modules of local road traffic controllers within programmable devices in the form of specialized single-system devices of SoC type (System on Chip). Both the types and the ways of registration of algorithms of adaptive control used in the process of road traffic control at the crossroads have been analyzed, emphasizing a big influence of the abovementioned algorithms on traffic conditions and the safety of transport process. The structure of road traffic control system has been presented, paying particular attention to the local layer of the system. Currently used traffic controllers have been analyzed from the point of view of realization ways of control algorithms by these devices, emphasizing software and hardware realization platforms. Devices realized on the basis of programmable devices and Hardware Description Language (HDL) have been indicated as an alternative to traffic control devices in use to date. Having revised programmable logic structures, it has been indicated that thanks to these structures there exists a possibility of realization of control devices combining the features of software and hardware realization of control algorithms. Moreover, huge resources of contemporary programmable devices allow for realization of complete devices within single-system devices programmable by means of SoC technology. Lack of reflection in literature of new technologies of modeling and synthesis of digital systems on methodology of design and realization of road traffic control devices, has resulted in the necessity of drawing up a new method of modelling road traffic control devices making use of designing techniques of specialized digital systems. Within the following chapters of the present paper, the method of realization of road traffic control algorithms within Hardware Description Language shall be discussed. For modeling of devices, formal specification models have been used having transparent graphic representations. Finite automata transition graphs have been applied to create algorithms of traffic control, where the hierarchization introduced significantly increased readability of the model. Structural models have also been used for realization of block schemata of traffic controllers. Synthesis of modern control systems would not have been possible without computer support devices. From the models in the form of graphs and block schemata thanks to the use of dedicated software, models within VHDL language have been obtained. The paper puts emphasis on verification of obtained models of road traffic control devices by presenting the assumptions and the course of verification process of these devices. In the application part of the paper, the models obtained have been used for realization of prototypes of road traffic local controllers. For the obtained prototypes of local controllers, basic usage and reliability parameters have been indicated which have confirmed the thesis of the present paper. Summary and conclusions resulting from conducted research constitute the final part of the paper.
Thesis file
Rozprawa Doktorska .pdf 2.02 MB

Get link to the record

Back
Confirmation
Are you sure?