Biztonságkritikus rendszerek architektúrája (2. rész)
|
|
- Egon Faragó
- 7 évvel ezelőtt
- Látták:
Átírás
1 Biztonságkritikus rendszerek architektúrája (2. rész) Rendszertervezés és -integráció előadás dr. Majzik István Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék BME-MIT
2 Jellegzetes megoldások failoperational működéshez: Hibatűrés BME-MIT 40.
3 Célkitűzés Hibahatások -> veszély elkerülése Fail-safe működés Fail-stop működés A megállás (lekapcsolás) biztonságos állapot Detektált hiba esetén le kell állítani a rendszert Hibadetektálás a kritikus feladat Fail-operational működés A megállás (lekapcsolás) nem biztonságos állapot Detektált hiba esetén is szükséges szolgáltatás teljes, vagy csökkentett (degradált) Hibatűrés szükséges BME-MIT 41.
4 Hibatűrő rendszerek Hibatűrés célja: Szolgáltatást nyújtani hiba esetén is o Leállás helyett autonóm hibakezelés működés közben o Beavatkozás a hibaok hibajelenség láncba Alapfeltétel: Redundancia (tartalékolás): Többlet erőforrások a hibás komponensek kiváltására o Hardver o Szoftver o Információ o Idő Redundancia típusai Együttes megjelenés is o Hideg: Normál esetben passzív; lassú átkapcsolás hiba esetén o Langyos: Normál esetben csökkentett terhelés o Meleg (forró): Normál esetben aktív; gyors átkapcsolás BME-MIT 42.
5 A redundancia típusai Redundancia / tulajdonság Hideg tartalék (passzív redundancia) Langyos tartalék (másodlagos funkciók) Meleg tartalék (aktív redundancia) Alapelv Csak hiba esetén aktiválva Csökkentett terheléssel működik Ugyanúgy működik, mint az elsődleges Előnye Nem hibásodik meg a passzív komponens Kisebb meghibásodási tényezőjű tartalék Gyorsan átveheti az elsődleges helyét Hátránya Lassan veszi át az elsődleges helyét Közepes sebességű feladat átvétel Azonos meghibásodási tényező Példa Kikapcsolt tartalék számítógép Naplózó számítógép belép elsődlegesként Árnyék számítógép BME-MIT 44.
6 Példa: Információ redundancia: Hibajavító kódolás Kódoló Átvitel, tárolás Dekódoló Hibadetektáló kódolás (EDC): Csak jelezni tudja a hibát o Paritásbit: Hamming távolság megnövelése, 1 bithiba detektálható o Ellenőrző összeg: Fájlok, hosszabb üzenetek esetén alkalmazható Hibajavító kódolás (ECC): Hibahely azonosítás, információ javítás o Nagyobb Hamming távolság: Javítható hibák Pl.: (7,4) bites Hamming kód: 1 bithiba javítható, 1 és 2 bithiba detektálható o Blokkos információ: Bonyolultabb kódok (pl. Reed-Solomon kódok) Pl.: (255, 223) bájtos RS kód: 16 bájthiba javítható Korlátozott hibajavító képesség o Információ tárolás: Hosszú idő alatt olyan sok hiba felgyűlhet, hogy a hibajavító kód nem boldogul vele o Tárakhoz: Periodikus olvasás és javítva visszaírás (pl. memory scrubbing ) 4 adatbit, 3 redundáns bit BME-MIT 45.
7 Milyen redundancia használandó? Hardver tervezési hibák: (< 1%) o Hardver redundancia, eltérő tervezésű o Gyakran nem számítanak rá (bevált komponensek) Hardver állandósult működési hibák: (~ 20%) o Hardver redundancia (pl. tartalék processzor) Hardver időleges működési hibák: (~ 70-80%) o Idő redundancia (pl. utasítás újravégrehajtás) o Információ redundancia (pl. hibajavító kódok) o Szoftver redundancia (pl. állapotmentés és helyreállítás) Szoftver tervezési hibák: (~ 10%) o Szoftver redundancia, eltérő tervezésű variánsok BME-MIT 46.
8 1. Állandósult hardver hibák kezelése Többszörözés: Kettőzés: o Komparálással: csak hibadetektálás! o Hibatűrés: Diagnosztikai támogatás és átkapcsolás TMR: Triple-modular redundancy o Hiba maszkolása többségi szavazással o Szavazó kritikus elem (de egyszerű) NMR: N-modular redundancy o Hiba maszkolása többségi szavazással Bemenet Bemenet o Missziós idő túlélése nagyobb esélyű, utána javítás jöhet o Repülőgép fedélzeti eszközök: 4MR, 5MR Normál modul Tartalék modul 1. modul 2. modul 3. modul Diagnosztikai egység Átkapcsoló egység Szavazó egység Kimenet Hibajel Kimenet Hibajel (Többségi szavazás) BME-MIT 47.
9 A többszörözés megvalósítása Berendezés/számítógép szint: o Szerverek: Nagy rendelkezésre állású szerver fürtök Pl. Linux HA Clustering, Windows Server Failover Clustering o Szoftver támogatás: feladatátvétel (failover) Kártya szint: o Futásidőbeli átkonfigurálás hot-swap Pl. compactpci, HDD, tápegységek o Szoftver támogatás: monitorozás, konfigurációkezelés Alkatrész szint: o Alkatrész szintű többszörözés TMR Önellenőrző áramkörök (kódolt információval dolgoznak) BME-MIT 48.
10 Példa: Hardver redundancia Több processzor Hibajavító kódolás RAID konfiguráció CPU1 CPU2 MEM ECC D1 D2 Opció: Kettőzött busz, paritás Monitor PS1 PS2 I/O I/O Monitorprocesszor Kettőzött tápegység Kettőzött I/O alrendszer pl. IBM xseries BME-MIT 49.
11 Példa: RAID diszk egységek (Redundant Array of Independent Disks) BME-MIT 50.
12 Duplikált Példa: diszkek RAID diszk Hibajavító egységek kódolás (Redundant Azonosítható Array of a Independent hibás diszk: Disks) Paritás elég a javításhoz Konkurens hozzáférés a blokkokhoz Paritás diszk sem szűk keresztmetszet BME-MIT 51.
13 2. Időleges hardver hibák kezelése Megközelítés: Szoftver alapú o Ismételt végrehajtás esetén a hiba nem jelentkezik o Hibahatások kiküszöbölése a fontos A hiba kezelhető hibamentes állapot beállításával (és részben ismételt végrehajtással) Feladatok: 1.) Hibadetektálás 2.) Hibahatás felmérése 3.) Helyreállítás 4.) Meghibásodás (hibaok) kezelése BME-MIT 52.
14 Időleges hardver hibák kezelésének fázisai 1. 1.) Hibadetektálás: Alkalmazásfüggetlen (mechanizmus): o Illegális utasítások felismerése o Védelmi szintek, jogosultságok ellenőrzése o Alkalmazásfüggő (ad-hoc): o Időzítés ellenőrzése o Visszahelyettesítés (algoritmus) o Hihetőség vizsgálat o Struktúra ellenőrzés o Diagnosztikai ellenőrzés o BME-MIT 53.
15 Időleges hardver hibák kezelésének fázisai 2. 2.) Hibahatások felmérése: Motiváció: Hibadetektálás késleltetési ideje alatt a hiba terjedhet a komponensek között hibaok interakciók! hibadetektálás Hibaterjedés behatárolása: Interakciók ellenőrzése o Bemeneti ellenőrzések elvégzése (pl. hihetőség vizsgálat) o Kimeneti ellenőrzések elvégzése (legyen fail-silent ) Hiba által érintett komponensek meghatározása: o Naplózás: Erőforrás használat, kommunikáció o A hibadetektálás késleltetési ideje alatt történt interakciók követése BME-MIT 54.
16 Időleges hardver hibák kezelésének fázisai 3. 3.) Helyreállítás lehetőségei Előrelépő helyreállítás: o Hibamentes állapot beállítása szelektív korrekcióval o A detektált hiba és a hibahatás függvénye o Előre figyelembe vett hibák esetén Visszalépő helyreállítás: o Állapot beállítása korábbi hibamentes állapotra o Hibától függetlenül megvalósítható o Állapotmentés és visszaállítás minden komponensre Kompenzáció: o Többlet információ alapján a hibahatás kompenzálható BME-MIT 55.
17 A helyreállítás lehetőségei A rendszer állapotterében: A lehetőségek v2 e3! e1 e2 s(t) visszalépés előrelépés kompenzáció állapotmentés v1 állapotváltozó BME-MIT 60.
18 Visszalépő helyreállítás Állapotmentés és visszaállítás alapján o Checkpoint: állapotmentés (időpontja) o Műveletek: Állapotmentés: időközönként, üzenetek után; stabil tárba Visszaállítás: stabil tárból az operatív memóriába Eldobás: adott számú checkpoint megtartása o Analógia: autosave Műveletek visszavonása alapján o Hiba: téves (szándékolatlan) művelet o Műveletek naplózása szükséges a visszavonáshoz o Analógia: többszintű undo Kombinált módszer is lehetséges BME-MIT 61.
19 Visszalépő helyreállítás forgatókönyvei t! t! t! t BME-MIT 62.
20 Checkpoint tartományok a1 b1 c1 a2 b2 c2! t Optimalizálás szempontjai: Korlátos tár az állapotmentéshez (hány állapotmentés lehet) Állapotmentés gyakorisága (mennyi számítást vesztünk el) Hibadetektálás lappangási ideje (milyen jó a detektálás) BME-MIT 63.
21 Időleges hardver hibák kezelésének fázisai 4. 4.) A hibaok kezelése Időleges hibák: o Előre- vagy visszalépő helyreállítás elég Állandósult hibák: Helyreállítás nem lesz sikeres (újra hibadetektálás) o Hiba lokalizálása Diagnosztikai célú tesztelés o Újrakonfigurálás Hibatűrés: Hibás komponens feladatainak teljes átvétele Degradált működés: Egyes funkciók fenntartása Graceful degradation : A kritikus funkciók fenntartása o Javítás, csere BME-MIT 74.
22 3. Szoftver tervezési hibák kezelése Ismételt végrehajtás nem segít (állandósult hiba) Redundáns modulok: Eltérő tervezés szükséges! Variánsok: azonos specifikáció, de o eltérő algoritmus, adatstruktúrák o más fejlesztési környezet, programnyelv o elszigetelt fejlesztés az azonos hibák bekövetkezésének csökkentésére Variánsok végrehajtásának technikái: o N-verziós programozás o Javító blokkok BME-MIT 75.
23 N-verziós programozás Aktív redundancia: Minden variáns végrehajtása (párhuzamosan) o Ugyanazon bemenetek o Többségi szavazás Elfogadható értéktartományt kell megadni a kimenetekre Szavazó egyszeres hibapont (SPOF), de egyszerű Variáns1 Bemenet Variáns2 Szavazó Kimenet Variáns3 Hibajelzés BME-MIT 76.
24 Javító blokkok Passzív redundancia: Csak hiba esetén aktiválódik o Variánsok kimenetének elfogadhatósági ellenőrzése o Hiba esetén tartalék variáns (soros) végrehajtása Bemenet Állapotmentés Variáns végrehajtása Állapot visszaállítás Elfogadhatósági ellenőrzés Van-e még variáns? i n n i Kimenet Hibajelzés BME-MIT 81.
25 Összehasonlítás Tulajdonság/típus N-verziós prg. Javító blokkok Ellenőrzés Szavazás, Elfogadhatóság relatív abszolút Végrehajtás Párhuzamos Soros Időigény Leglassabb variáns (vagy time-out) Mindig Redundancia aktiválása Tolerált hibák [(N-1)/2] N-1 Hibák számától függő Csak hiba esetén Hibakezelés Maszkolás Helyreállítás BME-MIT 82.
26 Példa: Airbus A-320, önellenőrző blokkok Páronként önellenőrző végrehajtás Elsődleges pár működik, átkapcsolás hiba esetén Állandósult hardver hiba: Ismételten hibázó pár lekapcsol V1 V2 V3 V4 H H H H BME-MIT 83.
27 Hibatűrés tesztelése Meghibásodás (hiba) előidézése: Hibainjektálás o Hardver: Hibaok létrehozása: busz jelek kényszerítése, tápfeszültség tüske, részecske-besugárzás, hőterhelés Hardverfüggő, lassú o Szoftver: Hibahatás létrehozása (rendszerállapot megváltoztatása): regiszterek, memóriabitek átállítása (pl. Unix ptrace()) Rugalmas, gyors Hibaokoknak való megfelelés kérdéses o Hibrid Hatás monitorozása (működés közben) BME-MIT 84.
28 Összefoglalás: Hibatűrés technikái 1. Hardver tervezési hibák o Diverz redundáns hardver komponensek 2. Állandósult hardver működési hibák o Hardver redundancia: többszörözés 3. Időleges hardver működési hibák o o o Szoftver redundancia 1. Hibadetektálás 2. Hibahatás felmérés 3. Helyreállítás: előrelépő vagy visszalépő 4. Hibaok kezelése Információ redundancia: Hibajavító kódolás Idő redundancia: Ismétlés 4. Szoftver tervezési hibák o Diverz redundáns szoftver komponensek (NVP, RB) BME-MIT 86.
29 IEC 61508: Functional safety in electrical / electronic / programmable electronic safety-related systems Szoftver architektúra tervezés Szabvány szerinti módszerek BME-MIT 87.
30 Az időigény összefoglalása Tiszta idő redundancia: Újrapróbálás (retry) o Alacsony hardver szinten: processzor (mikro)utasítás o Magasabb szinten: funkció, taszk ismételt végrehajtás o Időleges hibák esetén hatásos Idő overhead velejárója a többi típusnak o Hard RT rendszerek: tervezési szempont, hogy mennyire garantálható a hibakezelés ideje o Preferált megoldások: Állandósult hardver hibák: maszkolás, meleg tartalék Időleges hardver hibák: előrelépő helyreállítás Szoftver tervezési hibák: N-verziós programozás BME-MIT 88.
31 Az időigény áttekintése Térbeli redundancia (%) TMR N-verziós programozás Javító blokkok Előrelépő helyreállítás Hibajavító kódolás Visszalépő helyreállítás Elosztott állapotmentés és helyreállítás Újrapróbálás Újratöltés Újraindítás Időbeli redundancia (s) BME-MIT 89.
32 Költségoptimalizálás hibatűrés költsége eredő kialakítási költség üzemeltetési költség optimum hibatűrés mértéke BME-MIT 90.
33 Összefoglalás: Architektúra tervezés Fail-stop megoldások o Egycsatornás feldolgozás önteszttel o Két- vagy többcsatornás feldolgozás komparálással o Kétcsatornás feldolgozás független ellenőrzéssel Fail-operational (hibatűrő) megoldások o Hardver tervezési hibák: Diverz redundáns hardver komponensek o Állandósult hardver működési hibák: Többszörözött hardver komponensek o Időleges hardver működési hibák: Szoftver redundancia: Hibadetektálás és helyreállítás Információ redundancia: Hibajavító kódolás Idő redundancia: Végrehajtás ismétlése o Szoftver tervezési hibák: Diverz redundáns szoftver komponensek (NVP, RB) BME-MIT 91.
Hibatűrés. Majzik István Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék
Hibatűrés Majzik István Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék http://www.mit.bme.hu/ 1 Hibatűrés különféle hibák esetén Hardver tervezési hibák
RészletesebbenHibatűrés. Majzik István Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék
Hibatűrés Majzik István Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék http://www.mit.bme.hu/ 1 A redundancia tipikus alkalmazása Hardver tervezési hibák
RészletesebbenHibatűrés. Majzik István Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék
Hibatűrés Majzik István Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék http://www.mit.bme.hu/ 1 A redundancia tipikus alkalmazása Hardver tervezési hibák
RészletesebbenBiztonságkritikus rendszerek architektúrája
Biztonságkritikus rendszerek architektúrája Rendszertervezés és -integráció előadás dr. Majzik István Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék BME-MIT
RészletesebbenHibatűrés. Majzik István Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék
Hibatűrés Majzik István Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék http://www.mit.bme.hu/ 1 Hibatűrés különféle hibák esetén Hardver tervezési hibák
RészletesebbenHibatűrés. Majzik István Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék
Hibatűrés Majzik István Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék http://www.mit.bme.hu/ 1 Hibatűrés különféle hibák esetén Hardver tervezési hibák
RészletesebbenSzolgáltatásbiztos rendszerek: Architektúra tervezési példák
Szolgáltatásbiztos rendszerek: Architektúra tervezési példák Majzik István majzik@mit.bme.hu Feladatátvételi fürtök (Failover clustering, High availability clustering) Hardver architektúra Egyszeres hibapont
RészletesebbenBiztonságkritikus rendszerek Gyakorlat: Architektúrák
Biztonságkritikus rendszerek Gyakorlat: Architektúrák Rendszertervezés és -integráció dr. Majzik István Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék BME-MIT
RészletesebbenA szolgáltatásbiztonság alapfogalmai
A szolgáltatásbiztonság alapfogalmai Majzik István majzik@mit.bme.hu http://www.mit.bme.hu/oktatas/targyak/vimim146/ 1 Tartalomjegyzék A szolgáltatásbiztonság fogalma A szolgáltatásbiztonságot befolyásoló
RészletesebbenArchitektúra tervezési példák: Architektúrák biztonságkritikus rendszerekben
Architektúra tervezési példák: Architektúrák biztonságkritikus rendszerekben Majzik István majzik@mit.bme.hu Biztonságos állapotok Működésmód Fail-stop működés A megállás (lekapcsolás) biztonságos állapot
RészletesebbenA szolgáltatásbiztonság alapfogalmai
A szolgáltatásbiztonság alapfogalmai Majzik István majzik@mit.bme.hu http://www.mit.bme.hu/oktatas/targyak/vimim146/ 1 Tartalomjegyzék A szolgáltatásbiztonság fogalma A szolgáltatásbiztonságot befolyásoló
RészletesebbenA szolgáltatásbiztonság alapfogalmai
A szolgáltatásbiztonság alapfogalmai Majzik István majzik@mit.bme.hu http://www.inf.mit.bme.hu/edu/courses/szbt 1 Tartalomjegyzék A szolgáltatásbiztonság fogalma A szolgáltatásbiztonságot befolyásoló tényezők
RészletesebbenBiztonságkritikus rendszerek architektúrája
Biztonságkritikus rendszerek architektúrája Rendszertervezés és -integráció előadás dr. Majzik István Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék BME-MIT
RészletesebbenMintapélda: Rendszertesztelés a SAFEDMI projektben
Mintapélda: Rendszertesztelés a SAFEDMI projektben Majzik István Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék http://www.inf.mit.bme.hu/ Tartalomjegyzék
RészletesebbenMegbízhatósági analízis
Megbízhatósági analízis Rendszertervezés és -integráció előadás dr. Majzik István Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék BME-MIT Célkitűzések BME-MIT
RészletesebbenSzoftver architektúra tervek ellenőrzése
Szoftver architektúra tervek ellenőrzése Majzik István Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék http://www.mit.bme.hu/~majzik/ Tartalomjegyzék A fázis
RészletesebbenBiztonsági folyamatirányító. rendszerek szoftvere
Biztonsági folyamatirányító rendszerek szoftvere 1 Biztonsági folyamatirányító rendszerek szoftvere Tartalom Szoftverek szerepe a folyamatirányító rendszerekben Szoftverek megbízhatósága Szoftver életciklus
RészletesebbenA hibakezelés tesztelése: Hibainjektálás
Szoftverellenőrzési technikák (vimim148) A hibakezelés tesztelése: Hibainjektálás Majzik István és Micskei Zoltán Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek
RészletesebbenBeágyazott információs rendszerek
Beágyazott információs rendszerek Beágyazott rendszerek ellenőrzéstechnikája Előadásvázlat Majzik István Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék majzik@mit.bme.hu
RészletesebbenA fejlesztési szabványok szerepe a szoftverellenőrzésben
A fejlesztési szabványok szerepe a szoftverellenőrzésben Majzik István majzik@mit.bme.hu http://www.inf.mit.bme.hu/ 1 Tartalomjegyzék Biztonságkritikus rendszerek A biztonságintegritási szint Az ellenőrzés
RészletesebbenAutóipari beágyazott rendszerek. Kockázatelemzés
Autóipari beágyazott rendszerek Kockázatelemzés 1 Biztonságkritikus rendszer Beágyazott rendszer Aminek hibája Anyagi vagyont, vagy Emberéletet veszélyeztet Tipikus példák ABS, ESP, elektronikus szervokormány
RészletesebbenSZOFTVER-MINŐSÉGBIZTOSÍTÁS BIZTONSÁGKRITIKUS RENDSZEREK. Széchenyi István Egyetem. Alapfogalmak
Alapfogalmak Biztonságkritikus rendszer: Olyan informatikai rendszer, amely azzal az elsődleges követelménnyel működtetendő, hogy ne veszélyeztesse az emberi életet, egészséget, ne okozzon gazdasági vagy
RészletesebbenVédelem a véletlenszerű egyedi hibák veszélyeztető hatása ellen Biztonsági stratégiák
Védelem a véletlenszerű egyedi hibák veszélyeztető hatása ellen Biztonsági stratégiák Dr. Sághi Balázs diasorra alapján összeállította, készítette Dr. Baranyi Edit KÖZLEKEDÉSI AUTOMATIKA FOLYAMATIRÁNYÍTÓ
RészletesebbenSzoftverminőségbiztosítás
NGB_IN003_1 SZE 2014-15/2 (4) Szoftverminőségbiztosítás Biztonság kritikus szoftverek Hibatűrés Szoftver-diverzitás Biztonság, biztonságosság Mentesség azoktól a feltételektől, melyek halált, sérülést,
RészletesebbenAz IEC PRP & HSR protokollok használata IEC61850 kommunikációjú védelmi automatika hálózatokban
Az IEC 62439 PRP & HSR protokollok használata IEC61850 kommunikációjú védelmi automatika hálózatokban Nagy Róbert Védelmes értekezlet 2014 2014. Június 5. Ethernet az energiaelosztó hálózatokhoz Az Ethernet
Részletesebben3. Biztonságkritikus rendszerek
3. Biztonságkritikus rendszerek Ebben a fejezetben az informatikai rendszerek azon csoportjával a biztonságkritikus rendszerekkel foglakozunk, ahol kiemelt jelentősége van a biztonságnak. A legnagyobb
RészletesebbenKvantum-hibajavítás I.
LOGO Kvantum-hibajavítás I. Gyöngyösi László BME Villamosmérnöki és Informatikai Kar Ismétléses kódolás Klasszikus hibajavítás Klasszikus modell: BSC (binary symmetric channel) Hibavalószínűség: p p 0.5
RészletesebbenAutóipari beágyazott rendszerek. Funkcionális biztonságossági koncepció
Autóipari beágyazott rendszerek Funkcionális biztonságossági koncepció 1 Funkcionális biztonsági koncepció Functional safety concept Cél A funkcionális biztonsági követelmények levezetése A biztonsági
RészletesebbenRendszermodellezés. Hibamodellezés (dr. Majzik István és Micskei Zoltán fóliái alapján) Fault Tolerant Systems Research Group
Rendszermodellezés Hibamodellezés (dr. Majzik István és Micskei Zoltán fóliái alapján) Budapest University of Technology and Economics Fault Tolerant Systems Research Group Budapest University of Technology
RészletesebbenBokor Péter. DECOS Nemzeti Nap október 15. Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék
Beépített diagnosztika Bokor Péter Tartalom 1. Elosztott diagnosztika: a feladat 2. A diagnosztika kihívása 3. A tagság mint diagnosztika 4. A DECOS diagnosztikai szolgáltatások 5. Kapcsolódó feladatok:
RészletesebbenOperációs rendszerek. Bemutatkozás
Bevezetés az operációs rendszerek világába dr. Benyó Balázs benyo@sze.hu Bemutatkozás www.sze.hu/~benyo 1 Számítógép HW-SW felépítése felhasználó felhasználó felhasználó Operációs rendszer Operációs rendszer
RészletesebbenProgramozó- készülék Kezelőkozol RT óra (pl. PC) Digitális bemenetek ROM memória Digitális kimenetek RAM memória Analóg bemenet Analóg kimenet
2. ZH A csoport 1. Hogyan adható meg egy digitális műszer pontossága? (3p) Digitális műszereknél a pontosságot két adattal lehet megadni: Az osztályjel ±%-os értékével, és a ± digit értékkel (jellemző
RészletesebbenSzámítógépek felépítése, alapfogalmak
2. előadás Számítógépek felépítése, alapfogalmak Lovas Szilárd, Krankovits Melinda SZE MTK MSZT kmelinda@sze.hu B607 szoba Nem reprezentatív felmérés kinek van ilyen számítógépe? 2 Nem reprezentatív felmérés
RészletesebbenMiskolci Egyetem Alkalmazott Informatikai Intézeti Tanszék A minőségbiztosítás informatikája. Készítette: Urbán Norbert
Miskolci Egyetem Alkalmazott Informatikai Intézeti Tanszék A minőségbiztosítás informatikája Készítette: Urbán Norbert Szoftver-minőség A szoftver egy termelő-folyamat végterméke, A minőség azt jelenti,
RészletesebbenArchitektúra, megszakítási rendszerek
Architektúra, megszakítási ek Mirıl lesz szó? Megszakítás fogalma Megszakítás folyamata Többszintű megszakítási ek Koschek Vilmos Példa: Intel Pentium vkoschek@vonalkodhu Koschek Vilmos Fogalom A számítógép
RészletesebbenNorway Grants. Az akkumulátor mikromenedzsment szabályozás - BMMR - fejlesztés technológiai és műszaki újdonságai. Kakuk Zoltán, Vision 95 Kft.
Norway Grants AKKUMULÁTOR REGENERÁCIÓS ÉS Az akkumulátor mikromenedzsment szabályozás - BMMR - fejlesztés technológiai és műszaki újdonságai Kakuk Zoltán, Vision 95 Kft. 2017.04.25. Rendszer szintű megoldás
Részletesebben1002D STRUKTÚRÁJÚ, KRITIKUS ÜZEMBIZTONSÁGÚ RENDSZER (SCS 1 ) ELEMZÉSE DISZKRÉT-DISZKRÉT MARKOV MODELLEL
Dr. Forgon Miklós mk. ezredes ZMNE olyai János Katonai Műszaki Kar Katonai Elektronikai Tanszék forgon.miklos@zmne.hu Neszveda József főiskolai docens, irányítástechnikai szakmérnök MF Kandó Villamosmérnöki
RészletesebbenKözlekedési automatika Biztonsági architektúrák
Közlekedési automatika Biztonsági architektúrák Dr. Sághi Balázs diasora alapján összeállította, kiegészítette: Lövétei István Ferenc BME Közlekedés- és Járműirányítási Tanszék 2019 Tartalomjegyzék Bevezetés
RészletesebbenDigitális rendszerek. Digitális logika szintje
Digitális rendszerek Digitális logika szintje CPU lapkák Mai modern CPU-k egy lapkán helyezkednek el Kapcsolat a külvilággal: kivezetéseken (lábak) keresztül Cím, adat és vezérlőjelek, ill. sínek (buszok)
RészletesebbenVéges állapotú gépek (FSM) tervezése
Véges állapotú gépek (FSM) tervezése F1. A 2. gyakorlaton foglalkoztunk a 3-mal vagy 5-tel osztható 4 bites számok felismerésével. Abban a feladatban a bemenet bitpárhuzamosan, azaz egy időben minden adatbit
RészletesebbenRendszermodellezés. Modellellenőrzés. Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék
Rendszermodellezés Modellellenőrzés Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék Ismétlés: Mire használunk modelleket? Kommunikáció, dokumentáció Gondolkodás,
RészletesebbenA számítógép egységei
A számítógép egységei A számítógépes rendszer két alapvető részből áll: Hardver (a fizikai eszközök összessége) Szoftver (a fizikai eszközöket működtető programok összessége) 1.) Hardver a) Alaplap: Kommunikációt
RészletesebbenA LOGSYS GUI. Fehér Béla Raikovich Tamás, Laczkó Péter BME MIT FPGA laboratórium
BUDAPESTI MŐSZAKI ÉS GAZDASÁGTUDOMÁNYI EGYETEM VILLAMOSMÉRNÖKI ÉS INFORMATIKAI KAR MÉRÉSTECHNIKA ÉS INFORMÁCIÓS RENDSZEREK TANSZÉK A LOGSYS GUI Fehér Béla Raikovich Tamás, Laczkó Péter BME MIT atórium
RészletesebbenBiztonságkritikus rendszerek Gyakorlat: Megbízhatósági analízis
Biztonságkritikus rendszerek Gyakorlat: Megbízhatósági analízis Rendszertervezés és -integráció dr. Majzik István Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek
RészletesebbenÚj kompakt X20 vezérlő integrált I/O pontokkal
Új kompakt X20 vezérlő integrált I/O pontokkal Integrált flash 4GB belső 16 kb nem felejtő RAM B&R tovább bővíti a nagy sikerű X20 vezérlő családot, egy kompakt vezérlővel, mely integrált be és kimeneti
RészletesebbenNagy bonyolultságú rendszerek fejlesztőeszközei
Nagy bonyolultságú rendszerek fejlesztőeszközei Balogh András balogh@optxware.com A cég A BME spin-off-ja A Hibatűrő Rendszerek Kutatócsoport tagjai alapították Tisztán magánkézben Szakmai háttér Hibatűrő
RészletesebbenAutóipari beágyazott rendszerek. Komponens és rendszer integráció
Autóipari beágyazott rendszerek és rendszer integráció 1 Magas szintű fejlesztési folyamat SW architektúra modellezés Modell (VFB) Magas szintű modellezés komponensek portok interfészek adattípusok meghatározása
RészletesebbenFejlesztés kockázati alapokon 2.
Fejlesztés kockázati alapokon 2. Az IEC61508 és az IEC61511 Szabó Géza Szabo.geza@mail.bme.hu 1 A blokk célja Áttekintő kép a 61508-ról és a 61511-ről, A filozófia megismertetése, Nem cél a követelmények
RészletesebbenOPERÁCIÓS RENDSZEREK. Elmélet
1. OPERÁCIÓS RENDSZEREK Elmélet BEVEZETÉS 2 Az operációs rendszer fogalma Az operációs rendszerek feladatai Csoportosítás BEVEZETÉS 1. A tantárgy tananyag tartalma 2. Operációs rendszerek régen és most
RészletesebbenIBM felhő menedzsment
IBM Váltsunk stratégiát! Budapest, 2012 november 14. IBM felhő menedzsment SmartCloud Provisioning és Service Delivery Manager Felhő alapú szolgáltatások Felhasználás alapú számlázás és dinamikus kapacitás
RészletesebbenHálózatba kapcsolt adatbázisok. Erős Levente, TMIT eros@tmit.bme.hu 2011.
Hálózatba kapcsolt adatbázisok Magas rendelkezésreállás Erős Levente, TMIT eros@tmit.bme.hu 2011. Tartalom Mi az, hogy rendelkezésreállás? Miért fontos? Hogyan mérjük? Mitől sérül? Védelmi szintek Rendelkezésreállási
RészletesebbenÖsszeadás BCD számokkal
Összeadás BCD számokkal Ugyanúgy adjuk össze a BCD számokat is, mint a binárisakat, csak - fel kell ismernünk az érvénytelen tetrádokat és - ezeknél korrekciót kell végrehajtani. A, Az érvénytelen tetrádok
RészletesebbenÚj generációs informatikai és kommunikációs megoldások ANMS. távközlési hálózatok informatikai hálózatok kutatás és fejlesztés gazdaságos üzemeltetés
Új generációs informatikai és kommunikációs megoldások ANMS távközlési hálózatok informatikai hálózatok kutatás és fejlesztés gazdaságos üzemeltetés ANMS Távközlési szolgáltatók számára Az ANMS egy fejlett
RészletesebbenThe modular mitmót system. DPY kijelző kártya C API
The modular mitmót system DPY kijelző kártya C API Dokumentációkód: -D 01.0.0.0 Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék Beágyazott Információs Rendszerek
RészletesebbenYottacontrol I/O modulok beállítási segédlet
Yottacontrol I/O modulok beállítási segédlet : +36 1 236 0427 +36 1 236 0428 Fax: +36 1 236 0430 www.dialcomp.hu dial@dialcomp.hu 1131 Budapest, Kámfor u.31. 1558 Budapest, Pf. 7 Tartalomjegyzék Bevezető...
RészletesebbenÜzletmenet folytonosság menedzsment [BCM]
Üzletmenet folytonosság menedzsment [BCM] Üzletmenet folytonosság menedzsment Megfelelőség, kényszer? Felügyeleti előírások Belső előírások Külföldi tulajdonos előírásai Szabványok, sztenderdek, stb Tudatos
RészletesebbenCsoportos üzenetszórás optimalizálása klaszter rendszerekben
Csoportos üzenetszórás optimalizálása klaszter rendszerekben Készítette: Juhász Sándor Csikvári András Budapesti Műszaki és Gazdaságtudományi Egyetem Villamosmérnöki és Informatikai Kar Automatizálási
RészletesebbenSzámítógép architektúra
Budapesti Műszaki Főiskola Regionális Oktatási és Innovációs Központ Székesfehérvár Számítógép architektúra Dr. Seebauer Márta főiskolai tanár seebauer.marta@roik.bmf.hu Irodalmi források Cserny L.: Számítógépek
RészletesebbenSzoftverminőségbiztosítás
NGB_IN003_1 SZE 2014-15/2 (11) Szoftverminőségbiztosítás Tesztautomatizálás A tesztelés kivitelezése Tesztelési feladatok Detektálatlan maradék hibák számának csökkentése hatásosan és hatékonyan megfelelő
RészletesebbenMIKROELEKTRONIKA, VIEEA306
Budapesti Műszaki és Gazdaságtudományi Egyetem MIKROELEKTRONIKA, VIEEA306 A MOS inverterek http://www.eet.bme.hu/~poppe/miel/hu/13-mosfet2.ppt http://www.eet.bme.hu Vizsgált absztrakciós szint RENDSZER
RészletesebbenMagic xpi 4.0 vadonatúj Architektúrája Gigaspaces alapokon
Magic xpi 4.0 vadonatúj Architektúrája Gigaspaces alapokon Mi az IMDG? Nem memóriában futó relációs adatbázis NoSQL hagyományos relációs adatbázis Más fajta adat tárolás Az összes adat RAM-ban van, osztott
RészletesebbenMSP430 programozás Energia környezetben. Kitekintés, további lehetőségek
MSP430 programozás Energia környezetben Kitekintés, további lehetőségek 1 Még nem merítettünk ki minden lehetőséget Kapacitív érzékelés (nyomógombok vagy csúszka) Az Energia egyelőre nem támogatja, csak
RészletesebbenAktív zajcsökkentő rendszerek megvalósítása szenzorhálózattal
Aktív zajcsökkentő rendszerek megvalósítása szenzorhálózattal Lajkó László, Orosz György Konzulens: Dr. Sujbert László Méréstechnika és Információs Rendszerek Tanszék Önálló laboratórium beszámoló 2005.
RészletesebbenSzoftverminőségbiztosítás
NGB_IN003_1 SZE 2017-18/2 (4) Szoftverminőségbiztosítás Biztonság kritikus szoftverek Hibatűrés Szoftver-diverzitás Biztonság, biztonságosság Mentesség azoktól a feltételektől, melyek halált, sérülést,
RészletesebbenMosolygó Ferenc értékesítési konzultáns
Valódi rendelkezésre állás, minden valódi alkalmazás számára, minden esetre Oracle9i Release2 Mosolygó Ferenc értékesítési konzultáns Ferenc.Mosolygo@Oracle.com Leállások okai Hálózati eszköz (LAN/WAN)
RészletesebbenDigitális technika (VIMIAA01) Laboratórium 9
BUDAPESTI MŰSZAKI ÉS GAZDASÁGTUDOMÁNYI EGYETEM VILLAMOSMÉRNÖKI ÉS INFORMATIKAI KAR MÉRÉSTECHNIKA ÉS INFORMÁCIÓS RENDSZEREK TANSZÉK Digitális technika (VIMIAA01) Laboratórium 9 Fehér Béla Raikovich Tamás,
RészletesebbenFolyamatmodellezés és eszközei. Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék
Folyamatmodellezés és eszközei Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék Folyamat, munkafolyamat Munkafolyamat (Workflow): azoknak a lépéseknek a sorozata,
RészletesebbenVéges állapotú gépek (FSM) tervezése
Véges állapotú gépek (FSM) tervezése F1. Tervezzünk egy soros mintafelismerőt, ami a bemenetére ciklikusan, sorosan érkező 4 bites számok közül felismeri azokat, amelyek 3-mal vagy 5-tel oszthatók. A fenti
RészletesebbenDigitális technika (VIMIAA01) Laboratórium 9
BUDAPESTI MŰSZAKI ÉS GAZDASÁGTUDOMÁNYI EGYETEM VILLAMOSMÉRNÖKI ÉS INFORMATIKAI KAR MÉRÉSTECHNIKA ÉS INFORMÁCIÓS RENDSZEREK TANSZÉK Digitális technika (VIMIAA01) Laboratórium 9 Fehér Béla Raikovich Tamás,
RészletesebbenHibajavítás, -jelzés. Informatikai rendszerek alapjai. Horváth Árpád november 24.
Hibajavítás és hibajelzés Informatikai rendszerek alapjai Óbudai Egyetem Alba Regia M szaki Kar (AMK) Székesfehérvár 2016. november 24. Vázlat 1 Hibákról 2 Információátvitel diagrammja forrás csatorna
RészletesebbenOMRON FOTOELEKTROMOS KAPCSOLÓK E3NT
E3NT Tárgyreflexiós érzékelõ háttér- és elõtér elnyomással 3 m-es érzékelési távolság (tárgyreflexiós) 16 m-es érzékelési távolság (prizmás) Analóg kimenetes típusok Homloklapfûtéssel ellátott kivitelek
RészletesebbenMulti-20 modul. Felhasználói dokumentáció 1.1. Készítette: Parrag László. Jóváhagyta: Rubin Informatikai Zrt.
Multi-20 modul Felhasználói dokumentáció. Készítette: Parrag László Jóváhagyta: Rubin Informatikai Zrt. 49 Budapest, Egressy út 7-2. telefon: +36 469 4020; fax: +36 469 4029 e-mail: info@rubin.hu; web:
RészletesebbenOPTIKAIKÁBEL ILLESZTŐ INT-FI
OPTIKAIKÁBEL ILLESZTŐ INT-FI int-fi_hu 05/09 Az INT-FI illesztő lehetővé teszi az adatok átalakítását és optikai kábelen történő átvitelét. INTEGRA vezérlőpanelekkel kommunikációs buszával vagy az ACCO
RészletesebbenProgramozható Logikai Vezérlő
4. előadás Tartalom: A feladata A felépítése, típusai, részegységei Programnyelvek Programozás (FST) FESTO -k bemutatása (FEC20-DC, ) FEC programozása FST bemutatása Automatizálástechnika I. előadás Farkas
RészletesebbenKezelés FC72x Tűzjelző központ FT7224 Tűzjelző kezelő egység. RIASZTÁS-kezelés. 3. Olvassa el a tűz helyét a Kijelzőn. 4.
Kezelés FC72x Tűzjelző központ FT7224 Tűzjelző kezelő egység RIASZTÁS-kezelés 1. oldal Érzékelő zónák/érzékelők kikapcsolása 2. oldal Érzékelő zónák /Érzékelők bekapcsolása 3. oldal Hiba-kezelés 4. oldal
RészletesebbenSzámítógép-rendszerek fontos jellemzői (Hardver és Szoftver):
B Motiváció B Motiváció Számítógép-rendszerek fontos jellemzői (Hardver és Szoftver): Helyesség Felhasználóbarátság Hatékonyság Modern számítógép-rendszerek: Egyértelmű hatékonyság (például hálózati hatékonyság)
RészletesebbenHibadetektáló és javító kódolások
Hibadetektáló és javító kódolások Számítógépes adatbiztonság Hibadetektálás és javítás Zajos csatornák ARQ adatblokk meghibásodási valószínségének csökkentése blokk bvítése redundáns információval Hálózati
RészletesebbenProcesszusok (Processes), Szálak (Threads), Kommunikáció (IPC, Inter-Process Communication)
1 Processzusok (Processes), Szálak (Threads), Kommunikáció (IPC, Inter-Process Communication) 1. A folyamat (processzus, process) fogalma 2. Folyamatok: műveletek, állapotok, hierarchia 3. Szálak (threads)
RészletesebbenSzárazföldi autonóm mobil robotok vezérlőrendszerének kialakítási lehetőségei. Kucsera Péter ZMNE Doktorandusz
Szárazföldi autonóm mobil robotok vezérlőrendszerének kialakítási lehetőségei. Kucsera Péter ZMNE Doktorandusz A mobil robot vezérlőrendszerének feladatai Elvégzendő feladat Kommunikáció Vezérlő rendszer
Részletesebben3. A DIGILENT BASYS 2 FEJLESZTŐLAP LEÍRÁSA
3. A DIGILENT BASYS 2 FEJLESZTŐLAP LEÍRÁSA Az FPGA tervezésben való jártasság megszerzésének célszerű módja, hogy gyári fejlesztőlapot alkalmazzunk. Ezek kiválóan alkalmasak tanulásra, de egyes ipari tervezésekhez
RészletesebbenA virtualizáció a modern vállalati informatikai infrastruktúra alapja
A virtualizáció a modern vállalati informatikai infrastruktúra alapja Bodnár Ádám a-adbodn@microsoft.com Server Product Marketing Manager Microsoft Magyarország 0 Miről lesz ma szó? A virtualizáció Mire
RészletesebbenDigitális technika VIMIAA01 9. hét Fehér Béla BME MIT
BUDAPESTI MŰSZAKI ÉS GAZDASÁGTUDOMÁNYI EGYETEM VILLAMOSMÉRNÖKI ÉS INFORMATIKAI KAR MÉRÉSTECHNIKA ÉS INFORMÁCIÓS RENDSZEREK TANSZÉK Digitális technika VIMIAA01 9. hét Fehér Béla BME MIT Eddig Tetszőleges
RészletesebbenDigitális technika VIMIAA01 9. hét
BUDAPESTI MŰSZAKI ÉS GAZDASÁGTUDOMÁNYI EGYETEM VILLAMOSMÉRNÖKI ÉS INFORMATIKAI KAR MÉRÉSTECHNIKA ÉS INFORMÁCIÓS RENDSZEREK TANSZÉK Digitális technika VIMIAA01 9. hét Fehér Béla BME MIT Eddig Tetszőleges
RészletesebbenNyíregyházi Egyetem Matematika és Informatika Intézete. Input/Output
1 Input/Output 1. I/O műveletek hardveres háttere 2. I/O műveletek szoftveres háttere 3. Diszkek (lemezek) ------------------------------------------------ 4. Órák, Szöveges terminálok 5. GUI - Graphical
RészletesebbenS.M.A.R.T. Forrás:
Forrás: https://en.wikipedia.org/wiki/s.m.a.r.t. http://www.hdsentinel.hu/smart Mi a S.M.A.R.T.? Self-Monitoring, Analysis and Reporting Technology Ön-ellenőrző Analizáló és Nyilvántartó Technológia IBM
RészletesebbenElőadó: Nagy István (A65)
Programozható logikai áramkörök FPGA eszközök Előadó: Nagy István (A65) Ajánlott irodalom: Ajtonyi I.: Digitális rendszerek, Miskolci Egyetem, 2002. Ajtonyi I.: Vezérléstechnika II., Tankönyvkiadó, Budapest,
RészletesebbenTesztelési szintek Tesztautomatizálás
Integrációs és ellenőrzési technikák (VIMIA04) Tesztelési szintek Tesztautomatizálás Majzik István, Micskei Zoltán Méréstechnika és Információs Rendszerek Tanszék Budapesti Műszaki és Gazdaságtudományi
RészletesebbenTANMENET 2018/2019. tanév
Szolnoki Műszaki Szakképzési Centrum Pálfy-Vízügyi Szakgimnáziuma 5000 Szolnok, Tiszaparti sétány 2-3. Tel:06-56-424-955, Fax: 06-56-513-925 e-mail cím: titkarsag@palfy-vizugyi.hu TANMENET 2018/2019. tanév
RészletesebbenWAGO PLC-vel vezérelt hő- és füstelvezetés
WAGO PLC-vel vezérelt hő- és füstelvezetés Wago Hungária Kft. Cím: 2040. Budaörs, Gyár u. 2. Tel: 23 / 502 170 Fax: 23 / 502 166 E-mail: info.hu@wago.com Web: www.wago.com Készítette: Töreky Gábor Tel:
RészletesebbenValós idejű kiberfizikai rendszerek 5G infrastruktúrában
Valós idejű kiberfizikai rendszerek 5G infrastruktúrában dr. Kovácsházy Tamás BME-MIT khazy@mit.bme.hu 1 Kiberfizikai rendszer (CPS, Cyber-Physical System) Egy olyan elosztott, kiterjedt informatikai és
RészletesebbenSzámítógép architektúrák záróvizsga-kérdések február
Számítógép architektúrák záróvizsga-kérdések 2007. február 1. Az ILP feldolgozás fejlődése 1.1 ILP feldolgozási paradigmák (Releváns paradigmák áttekintése, teljesítmény potenciáljuk, megjelenési sorrendjük
RészletesebbenVerifikáció és validáció Általános bevezető
Verifikáció és validáció Általános bevezető Általános Verifikáció és validáció verification and validation - V&V: ellenőrző és elemző folyamatok amelyek biztosítják, hogy a szoftver megfelel a specifikációjának
RészletesebbenDigitális technika (VIMIAA02) Laboratórium 1
BUDAPESTI MŰSZAKI ÉS GAZDASÁGTUDOMÁNYI EGYETEM VILLAMOSMÉRNÖKI ÉS INFORMATIKAI KAR MÉRÉSTECHNIKA ÉS INFORMÁCIÓS RENDSZEREK TANSZÉK Digitális technika (VIMIAA02) Laboratórium 1 Fehér Béla Raikovich Tamás,
RészletesebbenLaboratóriumi műszerek megvalósítása ARM alapú mikrovezérlővel és Linux-szal
Laboratóriumi műszerek megvalósítása ARM alapú mikrovezérlővel és Linux-szal Fuszenecker Róbert Budapesti Műszaki Főiskola Kandó Kálmán Műszaki Főiskolai Kar 2007. október 17. Laboratóriumi berendezések
RészletesebbenMax. 2 DIMM bővítőhely Nem ECC kétcsatornás 1333 MHz DDR3 SDRAM, 1 8 GB
Processzor Intel Core i5 Quad Core Intel Core i3 Dual Core Intel Pentium Dual Core Intel Celeron Dual Core Operációs rendszer Memória Chipkészlet Videokártya Merevlemez Windows 7 Home Basic SP1 (32/64
RészletesebbenTELE-OPERATOR UTS v.14 Field IPTV műszer. Adatlap
TELE-OPERATOR UTS v.14 Field IPTV műszer Adatlap COMPU-CONSULT Kft. 2009. augusztus 3. Dokumentáció Tárgy: TELE-OPERATOR UTS v.14 Field IPTV műszer Adatlap (6. kiadás) Kiadta: CONSULT-CONSULT Kft. Dátum:
Részletesebben12. Másodlagos tár szerkezet
12. Másodlagos tár szerkezet Diszk felépítés Diszk ütemezés Diszk kezelés Swap (csere) terület kezelés Diszk megbízhatóság Stabil-tár implementáció 71 Diszk felépítés Logikailag a diszk blokkokból képezett
RészletesebbenPCS100 UPS-I Ipari felhasználási célú UPS
DMPC LV Power Conditioning, 09/2015 PCS100 UPS-I Ipari felhasználási célú UPS 2UCD120000E028 rev A September 25, 2015 Slide 1 PCS100 UPS-I, Ipari felhasználási célú UPS A létesítményét tápláló energiaellátás
RészletesebbenSzoftverminőségbiztosítás
NGB_IN003_1 SZE 2017-18/2 (9) Szoftverminőségbiztosítás Specifikáció alapú (black-box) technikák A szoftver mint leképezés Szoftverhiba Hibát okozó bement Hibás kimenet Input Szoftver Output Funkcionális
RészletesebbenKÓDOLÁSTECHNIKA PZH. 2006. december 18.
KÓDOLÁSTECHNIKA PZH 2006. december 18. 1. Hibajavító kódolást tekintünk. Egy lineáris bináris blokk kód generátormátrixa G 10110 01101 a.) Adja meg a kód kódszavait és paramétereit (n, k,d). (3 p) b.)
Részletesebben