Wyniki wyszukiwania - BazTech

Ograniczanie wyników

1 Logistyka

1 2009

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: testowanie urządzeń cyfrowych

Sortuj według:

Ogranicz wyniki do:

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

Firląg K., Kawalec P.

Logistyka

2009

nr 6

CD-CD

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.

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.