Prezentace se nahrává, počkejte prosím

Prezentace se nahrává, počkejte prosím

Diagnostika počítačů DGP_06 Prof. Ing. Karel Vlček, CSc. Katedra Informatiky, FEI, VŠB - TUO.

Podobné prezentace


Prezentace na téma: "Diagnostika počítačů DGP_06 Prof. Ing. Karel Vlček, CSc. Katedra Informatiky, FEI, VŠB - TUO."— Transkript prezentace:

1 Diagnostika počítačů DGP_06 Prof. Ing. Karel Vlček, CSc. Katedra Informatiky, FEI, VŠB - TUO

2 K. Vlček: Diagnostika počítačů2 Zabezpečení proti poruchám Bezpečnost provozu systému je pravděpodobnost, že se na výstupu neobjeví nedetekovaná chyba Zvyšování bezpečnosti se děje dvěma způsoby: 1. snižováním pravděpodobnosti výskytu chyb 2. zvyšováním pravděpodobnosti detekce chyby

3 K. Vlček: Diagnostika počítačů3 Zabezpečení hlídačem Hlídač je tvořen technickými i programovými prostředky Funkční jednotka Hlídač Vstup dat Výstup dat Chyba

4 K. Vlček: Diagnostika počítačů4 Realizace hlídače v čase Hlídač může být realizován ze součástek, u nichž je výskyt poruchy vyjádřen v čase Z toho důvodu je počítat s možností výskytu poruchy, která se může projevit jako chyba jeho funkce Aby hlídač byl schopen kontrolovat správnost funkce, musí mít k dispozici určitou redundanci

5 K. Vlček: Diagnostika počítačů5 Obvody bezpečné proti poruchám Nechť obvod realizuje logickou funkci Z = Z(X), kde X je vstupní a Z výstupní vektor Množina vstupních vektorů je X a množina výstupních vektorů je Z Při použití kódového zabezpečení platí, že Z patří do prostoru B n, n je počet bitů vektoru z a B n je množina všech vektorů délky n

6 K. Vlček: Diagnostika počítačů6 Zdvojení (poprvé použito firmou Hitachi pro zabezpečení železnice) Nejjednodušší realizace je zdvojení Funkční jednotka Funkční jednotka =1 1 Chyba Vstupy Výstupy

7 K. Vlček: Diagnostika počítačů7 Kontrola inverzní funkcí Funkční jednotka realizuje zobrazení prosté a druhá realizuje zobrazení inverzní Funkční jednotka F Funkční jednotka F -1 =1 1 Chyba Vstupy Výstupy

8 K. Vlček: Diagnostika počítačů8 Dvojdrátová logika Logický součin non b & 1 a non a b a AND b non (a AND b)

9 K. Vlček: Diagnostika počítačů9 Dvojdrátová logika Logický součet non b & a non a b a OR b non (a OR b) 1

10 K. Vlček: Diagnostika počítačů10 Dvojdrátová logika Negace non a a a

11 K. Vlček: Diagnostika počítačů11 Použití detekčních kódů Lze použít například při kontrole aritmetických funkcí tím, že je generován zbytek po operaci sčítání Často je kontrolována platnost kódu výstupu například u dekodéru pomocí bloku součtu modulo2 Nejčastější aplikací je hlídač parity, který provádí detekci chyb

12 K. Vlček: Diagnostika počítačů12 Hlídače kódu k z 2k Přes svoji nadbytečnost, která je i 100% jsou poměrně často užívané Výhodou je snadná realizace samočinně kontrolovaného hlídače Principem úplné samočinné kontroly je to, že každá porucha, která změní chování obvodu je na výstupu detekována hlídačem kódu

13 K. Vlček: Diagnostika počítačů13 Úplně samočinně kontrolované obvody Přes svoji nadbytečnost, která je i 100% jsou poměrně často užívané Výhodou je snadná realizace samočinně kontrolovaného hlídače Principem úplné samočinné kontroly je to, že každá porucha, která změní chování obvodu je na výstupu detekována hlídačem kódu

14 K. Vlček: Diagnostika počítačů14 Hlídací časovač - princip Pro kontrolu složitějších obvodů je možné použít tzv. hlídacího časovače (watchdog timer) Hlídací časovač bývá aplikován u mikroprocesorů, kde využívá komplexní funkce přerušení Tento obvod kontroluje, zda je procesor schopen periodicky reagovat na přerušení

15 K. Vlček: Diagnostika počítačů15 Hlídací časovač – způsob aplikace Realizace hlídacího časovače C1 C2 Procesor Výstražný obvod Žádost o přerušení Start Hodiny Inicializace Signalizace Nastavení

16 K. Vlček: Diagnostika počítačů16 Hlídací časovač – popis bloků Funkce dvou čítačů C1 a C2 v zapojení hlídacího časovače je k tomu, aby bylo kontrolováno, zda je procesor schopen periodicky reagovat na přerušení C1 začne odměřovat čas a vyšle procesoru žádost o přerušení Současně s tím se spustí C2, který odměřuje, kdy má být žádost spuštěna znovu Pokud nenastane přerušení, je aktivován výstražný obvod

17 K. Vlček: Diagnostika počítačů17 Architektura systémů odolných proti poruchám Požadavky na vysokou spolehlivost číslicových systémů dokumentují systémy zaměřené na zvýšení odolnosti proti poruchám Bylo nalezeno mnoho dílčích řešení subsystémů, ale dosud chybí ucelená teorie odolnosti proti poruchám, která by byla obecně použitelná pro konstrukci systémů počítačů

18 K. Vlček: Diagnostika počítačů18 Architektura systému SAPO K prvním počítačům, který byl k této úloze vybaven, byl počítač SAPO československé výroby z VÚMS Praha (doc. A. Svoboda) Počítač SAPO měl tři aritmetické jednotky pracující systémem TMR (Triple Modular Redundant) Poruchy mohly být maskovány na základě majoritního vyhodnocení bezporuchové činnosti

19 K. Vlček: Diagnostika počítačů19 TMR (Triple Modular Redundant) Struktura systému TMR F1F1 F2F2 F3F3 ≥2 Xf1f1 f2f2 f3f3 M f

20 K. Vlček: Diagnostika počítačů20 Zobecnění: TMR → NMR Zobecněním systému TMR na systém NMR spočívá ve zvětšení počtu modulů Všechny jednotky opět zpracovávají stejná vstupní data podle stejného programu Výstupy všech N jednotek jsou přivedeny do majoritního členu, jehož práh je M = (N+1)/2 Majorita je definovaná jako funkce pro lichý počet argumentů, proto je N liché číslo

21 K. Vlček: Diagnostika počítačů21 NMR (N-Modular Redundant) Struktura systému NMR F1F1 F2F2 F3F3 ≥M Xf1f1 f2f2 fNfN f ׃׃

22 K. Vlček: Diagnostika počítačů22 FTMP (Fault Tolerant Multiprocessor) Základní typ zálohy využitý při práci systému FTMP je konfigurace GMR (General Modular Redundant) GMR systém pracuje s tzv. dynamickou zálohou, při které jsou zálohovací moduly v činnosti, aby byly ihned připraveny k činnosti FTMP sestával z ze 14 procesorů, 7 modulů pamětí a dvou modulů vstupů a výstupů, byl použit pro simulaci řízení letounu Boeing 707

23 K. Vlček: Diagnostika počítačů23 Počítač raketoplánu NASA Základním modulem je počítač GPC (General Purpose Computer) doplněný o procesorem vstupů a výstupů Počítačů GPC bylo zapojeno pět Každý počítač je vybaven čtyřmi zobrazovacími jednotkami z nichž tři jsou v pilotní kabině a jedna na zádi Kromě 24 sběrnicových spojení bylo použito i přímé spojení mezi vstupními / výstupními procesory a pamětí

24 K. Vlček: Diagnostika počítačů24 Počítač raketoplánu NASA Přímé spojení mezi vstupními / výstupními moduly a pamětí GPC 1GPC 2GPC 3GPC 4GPC 5 Vnější paměť Zobrazovací jednotky a klávesnice Telemetrické přístroje Ovládací panely Navigace a styk s pohonnou jednotkou Řízení manipulace s nákladem Příprava a řízení startu 24 sběrnic IOP 1IOP 2IOP 3IOP 4IOP 5

25 K. Vlček: Diagnostika počítačů25 Systémy pro řízení kolejové dopravy Systémy s vysokými požadavky na spolehlivost jsou systémy kolejové dopravy Nejstarší počítačový systém COMTRAC (Computer-Aided Traffic Control) byl nasazen v Japonsku v roce 1975 Sloužil na trati dlouhé 160 km, na které se pohybovalo současně až 200 vlaků Systém je rozdělen do sekce plánování provozu a sekce řízení trati

26 K. Vlček: Diagnostika počítačů26 Systémy pro řízení kolejové dopravy Systém pro plánování provozu měl dva počítače H-8450, které se dělily o výpočetní úlohy a v případě poruchy zastal práci i jeden, ale se sníženým výkonem Systém pro řízení trati byl osazen třemi počítači H-700, z nichž řešily úlohu dva a porovnáním výsledků se zjišťovalo, zda pracují bez poruchy V případě neshody je využit třetí počítač pro rozhodnutí o správnosti jednoho nebo druhého výsledku výpočtu

27 K. Vlček: Diagnostika počítačů27 Systémy pro řízení telefonních ústředen Při návrhu architektury počítačových systémů ESS (Electronic Switching System) byl důraz kladen na vysokou hodnotu součinitele pohotovosti za celou dobu provozu Řešení si vyžádalo použití metody zálohování založené na zdvojení všech důležitých bloků (ESS 2 a ESS 3) U následujících typů počítačů pro telefonní ústředny (ESS 4) bylo použito substituční zálohování „M z N“

28 K. Vlček: Diagnostika počítačů28 Systémy pro řízení telefonních ústředen Počítače 3B20D pro ústředny ESS 5 důsledně využívají pro ukládání dat kódu celkové parity Hlavní paměť je vybavena rozšířeným Hammingovým kódem pro opravu jedné a detekci dvou chyb v jednom slově Schopnosti rozšířeného Hammingova kódu nejsou tedy využity úplně

29 K. Vlček: Diagnostika počítačů29 Další aplikace vysoce spolehlivých systémů počítačů Těsně vázaná duplexní architektura počítače IBM AN/UYK-43 je určena pro řízení lodí Počítač pro řízení příjmu z družice ARMURE (ARchitecteur MUltiprocesseur REdondante) byl vyvinut ve francouzském městě Toulouse V bankovnictví jsou používány systémy pro zpracování transakcí do osmdesátých let tyto systémy využívaly zdvojení a od začátku devadesátých let zavedly systém TMR Častější je také využití kódového zabezpečení

30 K. Vlček: Diagnostika počítačů30 Literatura Hlavička J.: Diagnostika a spolehlivost, Vydavatelství ČVUT, Praha (1990), ISBN Hlavička J., Racek S., Golan S., Blažek T.: Číslicové systémy odolné proti poruchám, Vydavatelství ČVUT Praha (1992), ISBN Musil, V., Vlček, K.: Diagnostika elektronických obvodů, TEMPUS Equator S_JEP , ÚMEL, FEI VUT v Brně (1998) Hlavička, J., Kottek, E., Zelený, J.: Diagnostika Elektronických číslicových obvodů, Praha SNTL (1982) Drábek, V.: Spolehlivost a diagnostika, VUT Brno, (1983) Hławiczka, A.: P1149, Warszawa (1993), ISBN


Stáhnout ppt "Diagnostika počítačů DGP_06 Prof. Ing. Karel Vlček, CSc. Katedra Informatiky, FEI, VŠB - TUO."

Podobné prezentace


Reklamy Google