WBUDOWANE SAMOTESTOWANIE RUCHEM DROGOWYM

Podobne dokumenty
Metody samotestowania specjalizowanych urządzeń sterowania ruchem drogowym

5.3. Analiza maskowania przez kompaktory IED-MISR oraz IET-MISR wybranych uszkodzeń sieci połączeń Podsumowanie rozdziału

Zwiększanie wiarygodności systemów wykorzystujących układy programowalne

PRACE NAUKOWE POLITECHNIKI WARSZAWSKIEJ

Układy kryptograficzne z uŝyciem rejestrów LFSR

PROJEKTOWANIE UKŁADÓW MIKROPROGRAMOWANYCH Z WYKORZYSTANIEM WBUDOWANYCH BLOKÓW PAMIĘCI W MATRYCACH PROGRAMOWALNYCH

Kierunek Inżynieria Akustyczna, V rok Programowalne Układy Cyfrowe. Platforma sprzętowa. Rajda & Kasperek 2014 Katedra Elektroniki AGH 1

ANALIZA WŁAŚCIWOŚCI STATYSTYCZNYCH SYGNAŁÓW PSEUDOLOSOWYCH GENERATORÓW ZBUDOWANYCH NA REJESTRACH PRZESUWNYCH

Technologie Informacyjne

Współczesne techniki informacyjne

SYNTEZA AUTOMATÓW SKOŃCZONYCH Z WYKORZYSTANIEM METOD KODOWANIA WIELOKROTNEGO

KONCEPCJA ZASTOSOWANIA INTELIGENTNYCH SYSTEMÓW TRANSPORTOWYCH W DZIELNICY MOKOTÓW W WARSZAWIE

Projektowanie układów FPGA. Żródło*6+.

Bezpieczeństwo informacji oparte o kryptografię kwantową

mgr inż. Tadeusz Andrzejewski JTAG Joint Test Action Group

SYNTEZA JEDNOSTEK STERUJĄCYCH W STRUKTURACH PROGRAMOWALNYCH

Politechnika Białostocka Wydział Informatyki. mgr inż. Mirosław Puczko

ZASTOSOWANIA UKŁADÓW FPGA W ALGORYTMACH WYLICZENIOWYCH APPLICATIONS OF FPGAS IN ENUMERATION ALGORITHMS

Sterowniki Programowalne (SP)

UNIWERSALNY ELEKTRONICZNY PULPIT NASTAWCZY

Automatyzacja procesu implementacji układów cyfrowych w technologii prądowych układów FPGA

METODYKA CERTYFIKACJI PODSYSTEMU STEROWANIE

Układy kombinacyjne - przypomnienie

Realizacja bezpiecznego programowalnego sterownika logicznego z wykorzystaniem języków HDL

FPGA, CPLD, SPLD. Synteza systemów reprogramowalnych 1/27. dr inż. Mariusz Kapruziak pok. 107, tel

Weryfikacja logiczna projektów VHDL realizowanych w reprogramowalnych układach FPGA pracujących w trybie prądowym

Ukªady Kombinacyjne - cz ± I

Ochrona własności intelektualnej projektów w układach FPGA poprzez szyfrowanie danych konfiguracyjnych

REALIZACJA SPECJALIZOWANYCH STEROWNIKÓW RUCHU DROGOWEGO

Elementy cyfrowe i układy logiczne

Metody optymalizacji soft-procesorów NIOS

ZWROTNICOWY ROZJAZD.

Modelowanie logiki rewersyjnej w języku VHDL

Testowanie systemów wbudowanych i krytycznych dla bezpieczeństwa Bogdan Bereza Wersja (33)

WYKORZYSTANIE PAKIETU TESTÓW STATYSTYCZNYCH NIST STS DO TESTOWANIA SEKWENCJI GENERATORÓW DLFSR

Cyfrowe układy scalone

Cyfrowe układy scalone

PRÓBY EKSPLOATACYJNE KOMPOZYTOWYCH WSTAWEK HAMULCOWYCH TOWAROWEGO

Język opisu sprzętu VHDL

Krótkie przypomnienie

Programowalne Układy Logiczne. Wykład I dr inż. Paweł Russek

POLITECHNIKA WARSZAWSKA Wydział Elektroniki i Technik Informacyjnych. Instytut Telekomunikacji Zakład Podstaw Telekomunikacji

Politechnika Białostocka Wydział Elektryczny Katedra Automatyki i Elektroniki. ĆWICZENIE Nr 4 (3h) Przerzutniki, zatrzaski i rejestry w VHDL

INTERFEJSY DIAGNOSTYCZNE DLA SYSTEMÓW

Projekt prostego układu sekwencyjnego Ćwiczenia Audytoryjne Podstawy Automatyki i Automatyzacji

Automatyzacja procesu tworzenia sprzętowego narzędzia służącego do rozwiązywania zagadnienia logarytmu dyskretnego na krzywych eliptycznych

STEROWANIA RUCHEM KOLEJOWYM Z WYKORZYSTANIEM METOD SYMULACYJNYCH

Mikroprogramowany układ sterujący z współdzieleniem kodów oraz rozszerzonym formatem mikroinstrukcji

Przerzutniki prądowe dla logiki wielowartościowej i arytmetyki resztowej

Bezpieczeństwo informacji oparte o kryptografię kwantową

Automatyczne testowanie w układach FPGA

Architektura typu multi cycle

Metodyki projektowania i modelowania systemów Cyganek & Kasperek & Rajda 2013 Katedra Elektroniki AGH

PROJEKTOWANIE SYSTEMU INFORMATYCNEGO

Opracował: Jan Front

2. SYNTEZA UKŁADÓW LOGICZNYCH REALIZOWANYCH NA BAZIE DEMULTIFLEK3ERÓW

Literatura. adów w cyfrowych. Projektowanie układ. Technika cyfrowa. Technika cyfrowa. Bramki logiczne i przerzutniki.

Układy programowalne. Wykład z ptc część 5

Spis treúci. Księgarnia PWN: Krzysztof Wojtuszkiewicz - Urządzenia techniki komputerowej. Cz. 1. Przedmowa Wstęp... 11

TESTOWANIE SPECJALIZOWANYCH URZ DZE STEROWANIA RUCHEM DROGOWYM W STRUKTURACH FPGA

Podstawy Automatyki. Wykład 13 - Wprowadzenie do układów sekwencyjnych. dr inż. Jakub Możaryn. Warszawa, Instytut Automatyki i Robotyki

ZASTOSOWANIE TRANSWERSALI HIPERGRAFÓW DO MINIMALIZACJI ROZMIARU PAMIĘCI JEDNOSTEK STERUJĄCYCH

Laboratorium przedmiotu Technika Cyfrowa

Języki opisu sprzętu VHDL Mariusz Rawski

Układy reprogramowalne i SoC Implementacja w układach FPGA

UTK ARCHITEKTURA PROCESORÓW 80386/ Budowa procesora Struktura wewnętrzna logiczna procesora 80386

MODEL KOMÓRKI UKŁADU FPGA ZBUDOWANEGO W OPARCIU O BRAMKI PRĄDOWE

Kryptografia. z elementami kryptografii kwantowej. Ryszard Tanaś Wykład 8

MIKROPROCESOROWY GENERATOR SZUMU BIAŁEGO MICROPROCESSOR BASED WHITE NOISE GENERATOR

Programowanie Układów Logicznych kod kursu: ETD6203 W dr inż. Daniel Kopiec. Pamięć w układach programowalnych

Synteza logiczna układu realizującego zespół funkcji przełączających z użyciem bramek XOR w strukturach CPLD

PROGRAMMABLE DEVICES UKŁADY PROGRAMOWALNE

Wykorzystanie testu t dla pojedynczej próby we wnioskowaniu statystycznym

PROJEKT I OPTYMALIZACJA STRUKTURY LOGICZNEJ DYDAKTYCZNEGO SYSTEMU MIKROPROCESOROWEGO DLA LABORATORIUM PROJEKTOWANIA ZINTEGROWANEGO

Semestr 1 suma pkt ECTS dla wszystkich kursów w semestrze: 30

Układy logiczne układy cyfrowe

Układy reprogramowalne i SoC Specjalizowane moduły FPGA

Cyfrowe układy scalone

W KIERUNKU GOSPODARKI OPARTEJ NA WIEDZY INSTYTUT KOLEJNICTWA I JEGO TRANSPORTU SZYNOWEGO

Układy FPGA w przykładach, część 2

Układy cyfrowe w technologii CMOS

Układy sekwencyjne. 1. Czas trwania: 6h

4. Systemy algebraiczne i wielomiany nad ciałami zastosowania Rodzaje systemów algebraicznych ciała, grupy, pierścienie

Układy sekwencyjne. Podstawowe informacje o układach cyfrowych i przerzutnikach (rodzaje, sposoby wyzwalania).

Część 2. Funkcje logiczne układy kombinacyjne

PROTOTYPOWANIE UKŁADÓW ELEKTRONICZNYCH Programowalne układy logiczne FPGA Maciej Rosół, Katedra Automatyki AGH,

Zakład Sterowania Ruchem

Systemy wbudowane. Układy programowalne

Podstawy techniki cyfrowej i mikroprocesorowej - opis przedmiotu

Technika Cyfrowa 2 wykład 1: programowalne struktury logiczne - wprowadzenie

Wielokontekstowy sterownik programowalny przyszłości wykorzystujący układy programowalne psoc

Podstawy Automatyki. Wykład 8 - Wprowadzenie do automatyki procesów dyskretnych. dr inż. Jakub Możaryn. Warszawa, Instytut Automatyki i Robotyki

Elektrotechnika II Stopień (I stopień / II stopień) Ogólno akademicki (ogólno akademicki / praktyczny)

Elementy cyfrowe i układy logiczne

Układy sekwencyjne - wiadomości podstawowe - wykład 4

Związek między pojęciami transpozycji, podobieństwa i symetryzacji oraz równości macierzowe

Układy programowalne. Wykład z ptc część 5

Systemy na Chipie. Robert Czerwiński

1 Wstęp. 2 Proste przykłady. 3 Podstawowe elementy leksykalne i typy danych. 6 Opis strukturalny. 7 Moduł testowy (testbench)

Programowalne układy logiczne

Transkrypt:

PRACE NAUKOWE POLITECHNIKI WARSZAWSKIEJ z. 113 Transport 2016 Politechnika Warszawska, WBUOWANE SAMOTESTOWANIE RUCHEM ROGOWYM : 2016 Streszczenie: drogowym e ruchu drogowym stowanie adnieniem. W artykule przedstawiono metody realizacji wbudowanego samotestowania w specjalizowanych ch sterowania ruchem realizowanych Przedstawiono zastosowanie liniowych generat w generacji pseudolosowych wektorów testowych oraz tworzeniu sygnatur testowanego specjalizowane sterowniki ruchu, wbudowane samotestowanie walne 1. WPROWAZENIE sterowania ruchem drogowym, mikroprocesorowych. Kolejnym etapem PL (Programmable Logic evice), rzy czym proces ogramowalnych porównywalny jest. We sterownikach ruchu drogowego wykorzystano jedynie acji, jak np. wideodetekcja. szerszego wykorz nych w budowie sterowników ruchu drogowego przedstawiono w pracach [3, 7]. Zapropo-

152 nowana tam koncepcja obejmuje wykonanie wraz zowanych przez niego funkcji metody projektowania i sterowania ruchem realizowanych w opa (Field Programmable Gate Array), ach [2,3,4]. ników lokalnych ruchu drogowego realizowanych dach FPGA. (Built-In Self-Test). W strukturach BIST generatory pseudolosowe. 2. PSEUOLOSOWYCH natomiast analiza odpowiedzi bazuje na analizie sygnatury. o generacji wektorów pseu- kongruentne. stanem LFSR (Linear Feedback Shift Register). LFSR dczepów P(x) p 2 nazywany jest zbiór elementów {0,1} ) oraz iloczynem modulo 2 ( ). 2 5]: 0 1 2 P( x) a x a x a x a 0 1 2 n 1 x n 1 a x n n (1) gdzie: a 0 a {0,1} n 2; x zmienna; a N. an wtedy liczba n jest stopniem wielomianu deg(px) P(x) 2, który jest podzielny tylko przez wielomian P(x) lub 1 2 P(x) k k x +1 jest podzielny przez P(x) P(x) stopnia n, którego okres k=2 n -1.

Wbudowane 153 la potrzeb testowania wykor yklu, 2. Sekwencja wektorów generowana przez LFSR - 00 0, gdzie okres k=1; k=2 n -1; - zwrotnego. z 1). C 1 C 2 C n-1 C n Q 1 Q 2 Q n-1 Q n Rys. 1. rzutników (rys. 2). C n C n-1 C n-2 C 1 Q n Q n-1 Q n-2 Q 1 Rys. 2. Sekwencje binarne generowane przez LFSR opisuje wielomian charakterystyczny: P 2 n ( x) 1 C1x C2 x C n x (2) gdzie: C=0 Q i; C=1 Q i.. o budowy takich LFSR tablice charakterystycznych wielomianów pierwotnych przedstawione w [9].

154 3. SAMOTESTOWANIE SPECJALIZOWANYCH STEROWANIA RUCHEM ROGOWYM Weryfikacja konieczna w kon- jaki ploatacyjnych podczas jego normalnej pracy w systemie. y i uszkodzenia sterowników ruchu drogowego realizowanych z wykorzystaniem ATE (Automated Test Equipment) lub poprzez wane elementy testowe BIST (Built-In Self-Test). Niniejsza praca zawiera towania prewencyjnego gdzie elementy BIST wbudowan wej struktury BIST - (Circuit Under Test); - generator sekwencji testowych TPG (Test Patern Generator); - analizator odpowiedzi ORA (Output Response Analizer). z systemu i poddaniu procesowi testowania (rys. 3). Bist Start Kontroler testu ROM sygnatura Bist one Fail Generator sekwencji testowych (TPG) 0 1 (CUT) Analizator odpowiedzi (ORA) Rys. 3. 3.1. METOY GENERACJI SEKWENCJI TESTOWYCH typów i cech

Wbudowane 155 1]: deterministyczne; algorytmiczne; pseudolosowe;. zastosowanie znajduje pseudolosowe generowanie sekwencji testowych., do rejestry LFSR. Podstawowy wariant ego przerzutnika wprowadzony 4). LFSR Q Q Q Q X1 X2 Xn-1 Xn Rys. 4 jestru jest niekorzystne ze. Stoso- z nich oddzielnym rejestrem (rys. 5 nie rejestru LFSR o mniejszym stopniu wielomianu ni z rejestrem (rys. 5b) 5c). LFSR LFSR LFSR SR LFSR X 1 X n X 1 X n X 1 X i X i+1 X n X 1 X i X i+1 X n a) CUT CUT b) c) CUT Rys. 5 ; c) LFSR i XOR 3.2. Analiza odpowiedzi testowanego z wzor- pojedynczego

156 informacji w ORA [8]: koncentracja odpowiedzi; komparacja odpowiedzi; techniki licznikowe; analiza sygnatury; akumulatory; kontrola W architekturze BIST proponowanej dla sterowników ruchu drogowego analizatory odpowiedzi Rejestry LFSR tworz n-bitow sygnatur zastosowanie rejestru LFSR do tworzenia sygnatury przedstawiono na rysunku 6. SIRS C 1 C 2 C n-1 C n...011001 Q Q Q Q X 1 X 2 X n-1 X n Rys. 6. Rejestr SIRS (Single Input Signature Register). h przerzutników równy 0 n- t oddzielony od drugiego do- n wielomianów charakterystycznych i wynosi p(mask) 2 -n. poprzez bramki MISR (Multiple Input Signature Register) przedstawionego na rysunku 7. Rejestr powinien wszystkich przerzutników równy 0 any jest w unikalnej n-

Wbudowane 157 MIRS d 1 C 1 C 2 C n-1 C n Q Q Q Q X 1 X 2 X n-1 X n d 2 d n-1 d n Rys. 7. Rejestr MISR, 4. IMPLEMENTACJA BIST W SPECJALIZOWANYCH STEROWNIKACH RUCHU ROGOWEGO modeli specjalizowanych. Baza obejm sterowników ruchu, oraz podsystemów ITS. zarówno na po- - Spartan3 XC3S200 FT256 (rys. 8-100 CP132 (rys. 8b) i innych. a) b) Rys. 8 a) XC3S200FT256; b) S3E100CP132 3. Przeprowadzone bada- w specjalizowanych s ia zasobów przez logiki BIST. -HL wyspecyfikowan które wykorzystano jako generatory sekwencji pseudolosowych (TPG) ste-

158 rowników ruchu. 244 dekompozycji przedstawione na rysunku 5. Przeanali- : - kilka rejestrów LFSR o mniejszym stopniu wielomianu (rys. 5a); - - LFSR (rys. 5c). wanego korzystano dwa rejestry LFSR, opisane wielomianem charakterystycznym P(x)=1+x 9 +x 11, jest to wielomianem pierwotny 11-tego stopnia. Rejestr MISR jest opisany wielomianem charakterystycznym P(x)=1+x 6 +x 8 +x 11 +x 12, jest to wielomian pierwotny 12-tego stopnia. Start_BIST BIST_one Fault. Przy-,,2 10 6 wektorów testowych, Rys. 9. Implementacja BIST w specjalizowanym sterowniku ruchu drogowego

Wbudowane 159 ablica numer 1 przedstawia wyko- xc3s50vp100 sterownika z rysunku 9. Tabela zawiera parametry z implementacji samego bloku logicz- : LFSR+LFSR; LFSR+SR; LFSR+XOR. Wykorzystanie zasobów Tablica 1 Sterownik Sterownik z BIST (2xLFSR) Sterownik z BIST (LFSR+SR) Sterownik z BIST (LFSR+XOR) Bloków Slice 306/768 (39%) 334/768 (43%) 333/768 (43%) 342/768 (44%) 539/1536 (35%) 591/1536 (38%) 590/1536 (38%) 608/1536 (39%) Przerzutników 168/1536 (10%) 229/1536 (14%) 229/1536 (14%) 218/1536 (14%) WE/WY 35/63 (55%) 37/63 (58%) 37/63 (58%) 37/63 (58%) Maks. 259,336 MHz 243,724 MHz 242,014 MHz 238,607 MHz Przeprowadzone implementacje struktur BIST w specjalizowanych wania ruchem drogowym od W badanych przypadka po im- -20%. po C w terenie. Rejestr 35-ego stopnia w tym czasie wygeneruje ~ 34 10 9 wektorów testowych. la liczbie nie z rejestrów LFSR, z TPG zbudowanymi z LFSR+XOR albo LFSR+SR, tomiast w z rejestrami SR zmniejsza wykorzystanie zasobów kombinacyjnych. Z tabeli 1 wynika, bramkami XOR nieznacznie maleje, s zasobami

160 5. POSUMOWANIE o realizacji prewencyjnego testowania specjalizowanych sterowników ruchu drogowego, logika sekwencyjna) powoduje, stosowanie BIST, w których generacja wektorów testowych w TPG rejestry LFSR. o do- LFSR) akceptowalne jest wykorzystanie rejestrów o stopniu wielomianu do 35. W analizatorach odpowiedzi ORA do tworzenie sygnatury dla testowanego elu zaproponowano rejestr MISR. Przeprowadzone badania architektur BIST implementowanych w specjalizowanych ste- pomimo implementacji tej dodatkowej logiki, jedynie w nieznacznym stopniu. wan Bibliografia 1. Bushnell M. L., Agrawal V.., Essentials of Electronic Testing for igital, Memory and Mixed-Signal VLSI Circuits. Kluwer Academic Publishers, New York, 2002. 2. nr 4/2014, str. 1825-3. ych sterowników ruchu drogowego w reprogramowalnych strukturach logicznych, Politechnika Warszawska, Prace Naukowe - Transport, z.77, str. 27-44, OWPW, Warszawa, 2011. 4. Politechnika Warszawska, Prace Naukowe - Transport, z.95, str. 115-124, OWPW, Warszawa, 2013. 5. - analiza, synteza i zastosowania 6. Jha N. K., Gupta S., Testing of digital systems, Cambridge University Press, 2003. 7. FPGA. Pomiary Automatyka Kontrola nr 7 bis 2006, str. 8-10, Agenda Wydawnicza Stowarzyszenia SIMP, Warszawa, 2006. 8. Stroud C. E., A esigner's Guide to Built-In Self-Test. Kluwer Academic Publishers, 2002. 9. Ward R., Molteno T., Table of Linear Feedback Shift Registers. Electronics technical report No. 2012-1, Electronics Group, University of Otago, 2012.

Wbudowane 161 BIST IN SPECIALIZE TRAFFIC CONTROL EVICES Summary: efects and errors occurring during exploitation of road traffic control devices may effect endanger the road safety, hence, testing and diagnostics of road traffic control devices is an issue of crucial significance. The paper presents the methods of execution of built-in self-testing within specialized road traffic control devices realized within programmable systems. Architecture of built-in self-test (BIST) has been presented in detail which realizes preventive testing during device idle state. Application has been shown of linear generators characterized by LFSR feedback within generation of pseudorandomized test vectors as well as obtaining signatures from system testing. Influence of various BIST structures on performance characteristics of controllers has been analyzed. Keywords: specjalized traffic control devices, BIST, programmable logic devices