Weryfikacja i testowanie urządzeń sterowania ruchem drogowym realizowanych w układach FPGA

• Autorzy: Firląg K. , Kawalec P.

Warianty tytułu

EN

Verification and testing of traffic control devices realized in FPGA devices

• Konferencja: 13TH International Conference Computer Systems Aided Science, Industry and Transport "TRANSCOMP 2009"
• Języki publikacji: PL

Abstrakty

PL

W artykule przedstawiony został proces powstawania urządzeń sterowania ruchem drogowym w strukturach FPGA, z podziałem na główne etapy. Dla każdego z nich został przedstawiony i przeanalizowany problem występowania i wykrywania błędów działania. Rozpatrzono błędy wynikające z błędnej specyfikacji, błędnej realizacji układu oraz błędy powstałe w wyniku uszkodzenia realizacji. Opracowaną w ten sposób metodykę weryfikacji i testowania, wykorzystując narzędzia CAD, zastosowano do badania modeli sterowników lokalnych ruchu drogowego wyspecyfikowanych w języku VHDL i zrealizowanych w układach FPGA.

EN

The article presents creation process of traffic control devices in FPGA structures with the division into main stages. For each of these devices, the problem of occurring and detecting operation errors has been presented and analysed. Errors resulting from incorrect specification, erroneous realization and errors resulting from damaged realization have been analysed. Verification and testing methodology designed in the abovementioned way, with the use of CAD devices, has been used in testing local traffic controllers specified in VHDL language and realized in FPGA devices.

Słowa kluczowe

PL

urządzenia sterowania ruchem drogowym; programowalne struktury logiczne FPGA; testowanie urządzeń cyfrowych

EN

traffic control devices; FPGA; testing of digital devices

• Wydawca: Sieć Badawcza Łukasiewicz - Poznański Instytut Technologiczny
• Czasopismo: Logistyka
• Rocznik: 2009
• Tom: nr 6
• Strony: CD--CD
• Opis fizyczny: -pełny tekst, Bibliogr. 12 poz., wykr.

Twórcy

autor

Firląg K.

autor

Kawalec P.

• Wydział Transportu Politechniki Warszawskiej; Warszawa 00-662; Koszykowa 75,

Bibliografia

• [1] Chien-In Henry Chen: Behavioral test generation/fault simulation, IEEE Potentials, Volume 22, Issue 1, 2003, p. 27- 32.
• [2] Harris I. G., Tessier T.: Testing and Diagnosis of Interconnect Faults in Cluster-Based FPGA Architectures, Department of Electrical and Computer Engineering University of Massachusetts at Amherst, 2002.
• [3] Hławiczka A. Łatwo testowane układy i pakiety cyfrowe, Praca zbiorowa. Wydawnictwo Naukowo-Techniczne, Warszawa 1993.
• [4] Kawalec P., Firląg K.: Komputerowe systemy wspomagające analizę i syntezę cyfrowych układów sterowania, Politechnika Radomska, Prace Naukowe - Elektryka nr 1 (6) 2003, Radom, 2003, str.43 - 48.
• [5] Kawalec P., Firląg K.: Synteza specjalizowanych układów sterowania ruchem drogowym w strukturach FPGA, Pomiary Automatyka Kontrola nr 7 bis'2006, Agenda Wydawnicza Stowarzyszenia SIMP, Warszawa, 2006, str. 8 - 10.
• [6] Leśko M., Guzik J.: Sterowanie ruchem drogowym. Sterowniki i systemy sterowania i nadzoru ruchu, Wydawnictwo Politechniki Śląskiej, Gliwice, 2000.
• [7] Łuba T., Jasiński K., Zwierzchowski B.: Specjalizowane układy cyfrowe w strukturach PLD i FPGA, WKŁ, 1997.
• [8] Pasierbiński J., Zbysiński P.: Układy programowalne w praktyce, WKŁ, Warszawa, 2001.
• [9] Sapiecha K.: Testowanie i diagnostyka systemów cyfrowych, Warszawa, PWN 1987.
• [10] Shyue-Kung Lu, Jen-Sheng Shih: Testing Configurable LUT-Based FPGAs, Department of Electronic Engineering Fu Jen Catholic University, Journal of information science and engineering 16, 2000, str. 733-750.
• [11] Sosnowski J.: Testowanie i niezawodność systemów komputerowych, Akademicka Oficyna Wydawnicza EXIT, Warszawa, 2005.
• [12] Tomaszewicz P.: Samotestowanie układów FPGA realizujących funkcje użytkownika, Politechnika Warszawska Wydział Elektroniki i Technik Informacyjnych, Praca Doktorska, Warszawa 2001.