Biztonságkritikus rendszerek Gyakorlat: Megbízhatósági analízis
|
|
- Lídia Jónás
- 5 évvel ezelőtt
- Látták:
Átírás
1 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 Tanszék BME-MIT
2 Megbízhatósági blokk diagram használata BME-MIT 2.
3 Ismétlés: Megbízhatósági blokk diagram Blokkok: Kapcsolás: Utak: Komponensek (hibamódjai) Soros vagy párhuzamos kapcsolat Működőképes rendszerkonfigurációk o Működőképes a rendszer, ha van út a megbízhatósági blokkdiagramon a kezdőponttól a végpontig hibamentes komponenseken keresztül (komponens hibák ezt megszakítják ) Soros (nem redundáns komponensek): Párhuzamos (redundáns komponensek): K 1 K 1 K 2 K 3 K 2 K 3 BME-MIT 3.
4 Feladat: Felügyeleti rendszer analízise Egy ipari folyamat felügyeleti rendszere a következő komponensekből áll: 4 adatgyűjtő egység, 3 vezérlő egység, 2 felügyeleti szerver, 1 naplózó szerver, és az ezeket összekötő hálózat. A 2 felügyeleti szerver melegtartalékolt. Az adatgyűjtő egységek és vezérlők egy (kritikus) része melegtartalékolt: 2 adatgyűjtő és 2 vezérlő egység található melegtartalékoltan. Az egyes komponensek megbízhatósági adatai a következők (órában mérve, a javítások egymástól függetlenül végezhetők): Adatgyűjtő Vezérlő Felügyeleti Naplózó Hálózat egység egység szerver szerver MTTF MTTR Rajzolja fel a felügyeleti rendszer megbízhatósági blokkdiagramját! Számítsa ki a felügyeleti rendszer készenlétét (aszimptotikus rendelkezésre állását) a fenti adatokat felhasználva! Hány óra átlagosan a felügyeleti rendszer kiesése egy évben? BME-MIT 4.
5 Megoldás: Felügyeleti rendszer analízise Megbízhatósági blokkdiagram: Adatgyűjtő Vezérlő Felügyeleti szerver Adatgyűjtő Adatgyűjtő Vezérlő Naplózó szerver Hálózat Adatgyűjtő Vezérlő Felügyeleti szerver Komponens szintű készenlét értékek: K = MTTF / (MTTF+MTTR) Adatgyűjtő egység Vezérlő egység Felügyeleti szerver Naplózó szerver Hálózat MTTF MTTR K KA=0,99977 KV=0,99975 KF=0,99889 KN=0,9995 KH=0,99993 Rendszerszintű készenlét: KA*KA*(1-(1-KA) 2 )*KV*(1-(1-KV) 2 )*(1-(1-KF) 2 )*KN*KH = 0, Ez kb. 11 óra kiesést jelent évente. BME-MIT 5.
6 Feladat: Hőmérséklet szabályozó analízise Egy hőmérséklet szabályzó komponensei egy fűtőszál, egy kapcsoló relé, egy mikrokontroller és két redundáns hőmérő (egy hőmérő meghibásodása esetén semmilyen értéket nem ad a mikrokontrollernek). Egy-egy komponens megbízhatósági jellemzői a következők: Fűtőszál Relé Mikrokontroller Hőmérő MTTF (óra) MTTR (óra) Rajzolja fel a hőmérséklet szabályzó megbízhatósági blokk diagramját! Adja meg képlettel, hogy a fenti jellemzők alapján hogyan számítható ki a hőmérséklet szabályzó készenléte (aszimptotikus rendelkezésre állása) amennyiben a hibás komponensek javítása mindig megtörténik! Elegendő a képletet felírni, a számítást nem kell elvégezni. BME-MIT 6.
7 Kombinatorikus megbízhatósági analízis (esettanulmány) BME-MIT 7.
8 A feladat Egy SCADA rendszer megbízhatósági analízise o Adatgyűjtő komponensek: Hardver modulok (kártyák) o Felügyeleti komponensek: Technológiai adatbázisszerver és operátori munkaállomások Hierarchikus számítások: Alulról felfelé o Kártya szint: Elektronikai komponensek Nem redundáns kialakítás o Hálózat szint: Hálózati eszközök és összeköttetések Redundáns hálózati összeköttetések o Felügyeleti szint: Szerverek és munkaállomások Redundáns szerverek Redundáns szerver komponensek (RAID) BME-MIT 8.
9 Az architektúra áttekintése BME-MIT 9.
10 Kártya szint: Kártyánként adott alkatrészlista Component name Type Additional data Quantity Panduit D1 Connector Rectangular 1 Panduit D2 Connector Rectangular 1 74AHCT14 IC-Digital Standard 3 74HC/HCT540 IC-Digital Standard 2 74HC/HCT541 IC-Digital Standard 3 PALCE16V8 IC-Digital PAL 1 HMA124 Optoelectronic Optocoupler 16 MB6S IC-Digital Standard 16 Resistor Resistor General purpose (RC) 32 Resistor Resistor Fixed, high dissipation film 32 Capacitor Capacitor Tantalum - solid electrolyte 17 Capacitor Capacitor Ceramic class II. 41 SMD led Optoelectronic Solid State Lamp 16 U22-DI016-C3 PWB 1 SOD80 BZV55C LF Diode Zener 64 BME-MIT 10.
11 Elektronikai komponensek megbízhatósági adatai MIL-HDBK-217 o The Military Handbook Reliability Prediction of Electronic Equipment Telcordia SR-332 o Reliability Prediction Procedure for Electronic Equipment IEC TR o Reliability Data Handbook - Universal Model for Reliability Prediction of Electronic Components, PCBs, and Equipment Ground; stationary; weather protected Ground; stationary; non weather protected Ground; non stationary; moderate Ground; non stationary; severe BME-MIT 11.
12 Példa eszköz: ALD MTBF Calculator BME-MIT 12.
13 Példa eszköz: ALD MTBF Calculator BME-MIT 13.
14 Hardver modul hibagyakorisága: Soros modell Component name IEC reference Type Additional data Fault rate Quantity Panduit D Default value Connector Rectangular 0, Panduit D Default value Connector Rectangular 0, AHCT14 Substituted with - IC-Digital A kézikönyv Standard alapján 0, SN74AHCT14D kikeresve 74HC/HCT540 Substituted with - IC-Digital Standard 0, CD74HC540E (MTBF Calculator) 74HC/HCT541 Substituted with - SN74AHCT541DW IC-Digital Standard 0, PALCE16V8 Exact matching IC-Digital PAL 0, HMA124 Default value Optoelectronic Optocoupler 0, MB6S Default value IC-Digital Standard 0, Resistor Default value Resistor General purpose (RC) 0, Resistor Default value Resistor Fixed, high dissipation film 0, Capacitor Default value Capacitor Tantalum - solid 0, Hogyan electrolyte történt Capacitor Default value Capacitor Ceramic class II. 0, SMD led Default value Optoelectronic ennek kiszámítása? Solid State Lamp 0, U22-DI016-C3 Default value PWB 0, SOD80 BZV55C Default value LF Diode Zener 0, Module fault rate: 1, failure per million hours BME-MIT 14.
15 Élettartam számítások Milyen élettartam esetén használhatók ezek a konstans meghibásodási gyakoriságok? o Ütemezett karbantartás (csere) előírható ezután IEC 62380: Life expectancy Leginkább korlátoz: Elektrolit kondenzátorok (kiszáradás) o Hőmérsékletfüggő o Kezdeti bevizsgálástól is függ o 25 C esetén kb óra (~ 11 év) BME-MIT 15.
16 Feladat: Felügyeleti szint RBD konstrukció Készítsük el a megbízhatósági blokk diagramot a felügyeleti szint rendelkezésre állásának vizsgálatához! Magas szintű struktúra: Server block Operator workstation block Engineering workstation Network components A blokkok részletezése: o Szerver blokk: Két redundáns szerver egység (átkapcsolható melegtartalék) Egy szerver egység részei az alaplap, két diszk RAID-1 konfigurációban és egy DVD-RW egység o Operátori munkaállomás blokk: Két munkaállomást tartalmaz (melegtartalékolva) o Mérnöki (konfigurációs) munkaállomás: Nincs redundancia o Hálózati komponensek: Nincs redundancia BME-MIT 16.
17 Megoldás: Felügyeleti szint RBD konstrukció Server block Operator workstation block Engineering workstation Network components Server unit Operator workstation Server unit Operator workstation Disk Motherboard DVD-RW Disk BME-MIT 17.
18 Eszközök megbízhatósági analízishez Kombinatorikus megbízhatósági modellekhez o hibafa, o eseményfa, o megbízhatósági blokk diagram, o FME(C)A, és Markov-láncokhoz is: o Relex 2009 ( o Item Toolkit ( o RAM Commander ( o Functional Safety Suite BME-MIT 18.
19 Kiegészítő anyag: HAZOP BME-MIT 20.
20 Hazard and Operability Analysis (HAZOP) Veszély- és működőképesség analízis Hibaszótár használata o NO, NONE: nincs működés o MORE: több eredmény o LESS: kevesebb eredmény o AS WELL AS: más, nem tervezett aktivitás o PART OF: csak részben valósul meg o REVERSE: az előírtak ellenkezője történik o OTHER THAN: egészen más történik, mint az előírt Alkalmazás beágyazott rendszerekben: az információ áramlásának vizsgálata (pl. folyamatábra alapján) o Lehetséges eltérések azonosítása o Az eltérésekhez tartozó veszélyek azonosítása o Okok azonosítása, kiküszöbölése BME-MIT 21.
21 Kiegészítő anyag: Markov-láncok BME-MIT 22.
22 Ismétlés: Markov modellek CTMC: Continuous Time Markov Chain o Diszkrét állapotok o Állapotátmenetek o Állapotátmenet gyakoriság (folytonos idő modell) Analízis o Tranziens: Állapotok valószínűségi időfüggvénye o Állandósult: Állapotok valószínűsége (határérték) Megbízhatósági analízis o Rendelkezésre állás: Hibamentes (U) állapotpartícióban lévő állapotok valószínűségeinek összege BME-MIT 23.
23 Ismétlés: CTMC megbízhatósági modell CTMC állapotok o Rendszerszintű állapotok: A komponens állapotok (hibamentes, hibás adott hibamód szerint) kombinációi CTMC átmenetek o Komponens szintű meghibásodás: Az állapotátmenet gyakoriság a meghibásodási tényező ( ) o Komponens szintű javítás: Az állapotátmenet gyakoriság a komponens javítási tényező (, a javítási idő reciproka) OK Fail o Rendszer szintű javítás: Az állapotátmenet gyakoriság a rendszerállapot javítási tényezője (javítási idő reciproka) BME-MIT 24.
24 Példa: CTMC megbízhatósági modell Két szerverből (A, B) álló rendszer: o Bármelyik szerver meghibásodhat o A szerverek külön-külön vagy együtt is javíthatók Rendszerszintű állapotok: Szerverek állapotai (jó / hibás) alapján Állapotátmenetek és gyakoriságok: o Az A szerver meghibásodása: o A B szerver meghibásodása: o Egy szerver javítása: o Teljes rendszer javítása: A meghibásodási tényező B meghibásodási tényező 1 javítási tényező 2 javítási tényező U partíció A B jó 1 A,B jó 2 B 1 A jó B A Nincs jó D partíció BME-MIT 25.
25 Ismétlés: Rendszerszintű jellemzők számítása A modell megoldása: o Tranziens analízis: (s 0, s, t) időfüggvények o Állandósult állapotbeli analízis: (s 0, s) valószínűségek Állapotpartíciók kijelölése o Rendszerszintű hibamentes U illetve hibás D Rendelkezésre állás: Készenlét: Megbízhatóság: 0 a t s U ( s, s, t) o Itt: A modell megoldása előtt a modell módosítása: D-ből U-ba vezető állapotátmenetek törlése i K A ( s, s ) s U 0 r t s U i i i 0 ( s, s, t) i i BME-MIT 26.
26 Feladat: Egy 2oo2 architektúra analízise Két csatorna szükséges a biztonsági funkcióhoz o Komparátor használt a hibadetektálásra o A komparátor nem tökéletes: Hibafedés kisebb, mint 100% o Javítás különbözik, ha a hiba detektált, illetve ha nem detektált (pl. ekkor csak a felhasználó veszi észre) Paraméterek: o Csatorna 1 hibagyakoriság: o Csatorna 2 hibagyakoriság: 1*10-6 hiba/h 2*10-6 hiba/h o Komparátor hibafedése: 99% o Detektált hiba javítási gyakoriság: 0,25 1/h o Nem detektált hiba javítási gyakoriság: 0,10 1/h Számítsuk ki a következő jellemzőket: o Készenlét (aszimptotikus rendelkezésre állás) o Állandósult állapotbeli valószínűsége a detektált illetve nem detektált hibás állapotnak BME-MIT 32.
27 Megoldás: 2oo2 architektúra analízise DetectingFault RepairingDetected Fault Detected Csatorna 1 vagy Csatorna 2 hiba és a komparátor detektál OK NotDetectingFault RepairingUndetected Fault Undetected Csatorna 1 vagy Csatorna 2 hiba és a komparátor nem detektál Paraméterek: Csatorna 1 hibagyakoriság: 1*10-6 hiba/h Csatorna 2 hibagyakoriság: 2*10-6 hiba/h Komparátor hibafedése: 99% Detektált hiba javítása: /h Nem detektált hiba javítása: 0.1 1/h Gyakoriságok: DetectingFault: (1* *10-6 )*0.99 = 2.97*10-6 1/h NotDetectingFault: (1* *10-6 )* (1-0.99) = 3*10-8 1/h RepairingDetected: /h RepairingUndetected: 0.1 1/h BME-MIT 33.
28 Megoldás: 2oo2 architektúra analízise Hibás állapotok valószínűsége: 1.2* *10-7 Készenlét (aszimptotikus rendelkezésre állás): % BME-MIT 34.
Megbí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észletesebbenSzolgáltatásbiztonság verifikációja: Megbízhatósági analízis
Szolgáltatásbiztonság verifikációja: Megbízhatósági analízis Rendszer- és szoftverellenőrzés előadás dr. Majzik István Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek
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.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é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észletesebbenBiztonságkritikus rendszerek
Biztonságkritikus rendszerek 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 Mik azok a biztonságkritikus
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észletesebbenA szolgáltatásbiztonság analízise
A szolgáltatásbiztonság analízise Előadásvázlat Szolgáltatásbiztonságra tervezés tárgyból Majzik István BME Méréstechnika és Információs Rendszerek Tanszék Tartalomjegyzék: 1 Bevezetés...2 2 Kvalitatív
RészletesebbenMűködésbiztonsági veszélyelemzés (Hazard and Operability Studies, HAZOP) MSZ
Működésbiztonsági veszélyelemzés (Hazard and Operability Studies, HAZOP) MSZ-09-960614-87 Célja: a szisztematikus zavar-feltárás, nyomozás. A tervezett működési körülményektől eltérő állapotok azonosítása,
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észletesebbenSztochasztikus temporális logikák
Sztochasztikus temporális logikák Teljesítmény és szolgáltatásbiztonság jellemzők formalizálása és ellenőrzése Majzik István Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs
RészletesebbenKritikus Beágyazott Rendszerek
Kritikus Beágyazott Rendszerek Megbízhatósági modellezés Gyakorlat Készítette: Vörös András Utolsó módosítás: 015-09- Verzió: 1.0 Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs
RészletesebbenMŰSZAKI MEGBÍZHATÓSÁGÁNAK VIZSGÁLATI MÓDSZEREI EXAMINATION METHODS FOR EVALUATING RELIABILITY IN COMPLEX MILITARY RECONNAISSANCE SYSTEMS.
BÁRKÁNYI PÁL KOMPLEX KATONAI FELDERÍTŐ RENDSZEREK MŰSZAKI MEGBÍZHATÓSÁGÁNAK VIZSGÁLATI MÓDSZEREI EXAMINATION METHODS FOR EVALUATING RELIABILITY IN COMPLEX MILITARY RECONNAISSANCE SYSTEMS A cikk a komplex
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é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észletesebbenElemzési módszerek. Egyes módszerek ágazat-specifikusak, mások teljesen általánosan használatosak. A leggyakoribb veszélyelemző módszerek:
Elemzési módszerek Egyes módszerek ágazat-specifikusak, mások teljesen általánosan használatosak. A leggyakoribb veszélyelemző módszerek: Hibamód és -hatás elemzés - failure modes and effects analysis
RészletesebbenModulzáró ellenőrző kérdések és feladatok (2)
Modulzáró ellenőrző kérdések és feladatok (2) 1. Definiálja az alábbi, technikai eszközök üzemi megbízhatóságával kapcsolatos fogalmakat (1): Megbízhatóság. Használhatóság. Hibamentesség. Fenntarthatóság.
RészletesebbenA kockázatelemzés menete
A kockázatelemzés menete 1. Üzem (folyamat) jellemzői Veszélyforrások 2. Baleseti sorok meghatározása 3a. Következmények felmérése 3b. Gyakoriság becslése 4. Kockázat meghatározás Balesetek Gyakoriság
RészletesebbenModulzáró ellenőrző kérdések és feladatok (2)
Modulzáró ellenőrző kérdések és feladatok (2) 1. Definiálja az alábbi, technikai eszközök üzemi megbízhatóságával kapcsolatos fogalmakat (1): Megbízhatóság. Használhatóság. Hibamentesség. Fenntarthatóság.
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é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észletesebbenFejlesztés kockázati alapokon
Fejlesztés kockázati alapokon 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észletesebbenArchitektúra tervek ellenőrzése
Szoftverellenőrzési technikák Architektúra tervek ellenőrzése Majzik István http://www.inf.mit.bme.hu/ 1 Tartalomjegyzék Motiváció Mit határoz meg az architektúra? Milyen vizsgálati módszerek vannak? Követhetőség
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észletesebbenMARCONI (Ericsson) SDH felügyeleti rendszerének mérése
MARCONI (Ericsson) SDH felügyeleti rendszerének mérése Összeállította: Mészáros István tanszéki mérnök 1 A Magyar Telecom SDH hálózatában ERICSSON (MARCONI) és ALCATEL gyártmányú berendezések üzemelnek.
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é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é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 Ez vajon egy állapotgép-e? Munkafolyamat (Workflow):
RészletesebbenValószínűségi modellellenőrzés Markov döntési folyamatokkal
Valószínűségi modellellenőrzés Markov döntési folyamatokkal Hajdu Ákos Szoftver verifikáció és validáció 2015.12.09. Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek
RészletesebbenBME Járműgyártás és -javítás Tanszék. Javítási ciklusrend kialakítása
BME Járműgyártás és -javítás Tanszék Javítási ciklusrend kialakítása A javítási ciklus naptári napokban, üzemórákban vagy más teljesítmény paraméterben meghatározott időtartam, amely a jármű, gép új állapotától
RészletesebbenBiztonságkritikus rendszerek architektúrája (2. rész)
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
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é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észletesebbenIV.3. MODELL-ALAPÚ MÓDSZER KIDOLGOZÁSA IT INFRASTRUKTÚRÁK ROBOSZTUSSÁGÁNAK ELEMZÉSÉHEZ KOCSIS-MAGYAR MELINDA
infokommunikációs technológiák IV.3. MODELL-ALAPÚ MÓDSZER KIDOLGOZÁSA IT INFRASTRUKTÚRÁK ROBOSZTUSSÁGÁNAK ELEMZÉSÉHEZ KOCSIS-MAGYAR MELINDA MODELL ALAPÚ MÓDSZER KIDOLGOZÁSA IT INFRASTRUKTÚRÁK ROBOSZTUSSÁGÁNAK
RészletesebbenInformatikai rendszertervezés (VIMIAC01) VIZSGA MINTA Név: NEPTUN:
Informatikai rendszertervezés (VIMIAC01) VIZSGA MINTA Név: NEPTUN: Összpontszám: / 60 A vizsga hossza 90 perc. A vizsgán legalább 40%-ot kell elérni. I. Elméleti kérdések (minden kérdés 1 pontot ér) /
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észletesebbenAlapszintű formalizmusok
Alapszintű formalizmusok dr. Majzik István BME Méréstechnika és Információs Rendszerek Tanszék 1 Mit szeretnénk elérni? Informális tervek Informális követelmények Formális modell Formalizált követelmények
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észletesebbenZárthelyi mintapéldák. Majzik István BME Méréstechnika és Információs Rendszerek Tanszék
Zárthelyi mintapéldák Majzik István BME Méréstechnika és Információs Rendszerek Tanszék Elméleti kérdések Indokolja meg, hogy az A (X Stop F Start) kifejezés szintaktikailag helyes kifejezés-e CTL illetve
RészletesebbenBiztosítóberendezések biztonságának értékelése
Žilinská univerzita v Žiline Elektrotechnická fakulta Univerzitná 1, 010 26 Žilina tel: +421 41 5133301 e mail: kris@fel.uniza.sk Téma: Biztosítóberendezések ának értékelése prof. Ing. Karol Rástočný,
RészletesebbenSzoftver értékelés és karbantartás
Szoftver értékelés és karbantartá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/~majzik/ Emlékeztető: Biztonsági követelmények
RészletesebbenA BIZTONSÁGINTEGRITÁS ÉS A BIZTONSÁGORIENTÁLT ALKALMAZÁSI FELTÉTELEK TELJESÍTÉSE A VASÚTI BIZTOSÍTÓBERENDEZÉSEK TERVEZÉSE ÉS LÉTREHOZÁSA SORÁN
A BIZTONSÁGINTEGRITÁS ÉS A BIZTONSÁGORIENTÁLT ALKALMAZÁSI FELTÉTELEK TELJESÍTÉSE A VASÚTI BIZTOSÍTÓBERENDEZÉSEK TERVEZÉSE ÉS LÉTREHOZÁSA SORÁN Szabó Géza Bevezetés Az előadás célja, vasúti alrendszerekre
RészletesebbenSzolgáltatás mérés/riportolás magas fokon Egy valós megoldás Pepsi berkekben
Szolgáltatás mérés/riportolás magas fokon Egy valós megoldás Pepsi berkekben Mérő Gábor PepsiAmericas Kft Technikai szolgáltatási Vezető Hajdú Miklós ICON Számítástechnikai Rt Alkalmazás- és Rendszerfelügyeleti
RészletesebbenArchitektúra tervek ellenőrzése
Szoftverellenőrzési technikák Architektúra tervek ellenőrzése Majzik István http://www.inf.mit.bme.hu/ 1 Tartalomjegyzék Motiváció Mit határoz meg az architektúra? Milyen vizsgálati módszerek vannak? Követhetőség
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észletesebbenDigitális technika (VIMIAA02) Laboratórium 4
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 4 Fehér Béla Raikovich Tamás,
RészletesebbenAz előadásdiák gyors összevágása, hogy legyen valami segítség:
Az előadásdiák gyors összevágása, hogy legyen valami segítség: Az elektronikai gyártás ellenőrző berendezései (AOI, X-RAY, ICT) 1. Ismertesse az automatikus optikai ellenőrzés alapelvét (a), megvilágítási
RészletesebbenSzoftver karbantartás
Szoftver karbantartá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/~majzik/ Áttekintés Követelményspecifikálás Architektúra
RészletesebbenTantárgyi kommunikációs dosszié
Tantárgyi kommunikációs dosszié Nyomástartó rendszerek biztonságtechnikája GEVGT081M Energetikai mérnöki MSc mesterszak Gépészmérnöki és Informatikai Kar Energetikai és Vegyipari Gépészeti Intézet Tantárgy
Részletesebben2. gyakorlat RENDSZEREK MEGBÍZHATÓSÁGA: SOROS RENDSZEREK, REDUNDANCIA. Összeállította: Farkas Balázs
2. gyakorlat RENDSZEREK MEGBÍZHATÓSÁGA: SOROS RENDSZEREK, REDUNDANCIA Összeállította: Farkas Balázs BEVEZETÉS RENDSZERTULAJDONSÁGOK Egy rendszer megbízhatósága függ: elemeinek megbízhatóságától és az elemek
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észletesebbenVeszély analízis. Rendszertervezés és -integráció előadás dr. Majzik István
Veszély 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 2.
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észletesebbenEllátási lánc optimalizálás P-gráf módszertan alkalmazásával mennyiségi és min ségi paraméterek gyelembevételével
Ellátási lánc optimalizálás P-gráf módszertan alkalmazásával mennyiségi és min ségi paraméterek gyelembevételével Pekárdy Milán, Baumgartner János, Süle Zoltán Pannon Egyetem, Veszprém XXXII. Magyar Operációkutatási
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é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észletesebben62. MEE Vándorgyűlés, Síófok 2015 Szetember Csernoch Viktor, ABB Components. Vacuum Tap-Changers Minősítése
62. MEE Vándorgyűlés, Síófok 2015 Szetember Csernoch Viktor, ABB Components Vacuum Tap-Changers Minősítése Tartalomjegyzék Fokozatkapcsoló design Technológiai áttekintés Áttétel váltás folyamata Tipikus
RészletesebbenAutóipari beágyazott rendszerek. Integrált és szétcsatolt rendszerek
Autóipari beágyazott rendszerek Integrált és szétcsatolt rendszerek 1 Integrált és szétcsatolt rendszerek Szétcsatolt rendszer 1:1 hozzárendelés ECUk és funkciók között Minden funkció külön egységen van
RészletesebbenAz informatikai biztonsági kockázatok elemzése
ROBOTHADVISELÉS S 2009 Az informatikai biztonsági kockázatok elemzése Muha Lajos PhD, CISM főiskolai tanár, mb. tanszékvezet kvezető ZMNE BJKMK IHI Informatikai Tanszék 1 Az informatikai biztonság Az informatikai
RészletesebbenSztochasztikus Petri-hálók
Sztochasztikus Petri-hálók Teljesítmény és megbízhatóság modellezés dr. Majzik István BME Méréstechnika és Információs Rendszerek Tanszék 1 Áttekintés Motiváció Sztochasztikus folyamatok és modellek Folytonos
RészletesebbenDigitális technika (VIMIAA02) Laboratórium 4
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 4 Fehér Béla Raikovich Tamás,
RészletesebbenGÁZTURBINÁK ÜZEME ÉS KARBANTARTÁSA. Gőz Gázturbinák Gyakorlati Alkalmazásai
GÁZTURBINÁK ÜZEME ÉS KARBANTARTÁSA Gőz Gázturbinák Gyakorlati Alkalmazásai Gőz- és Gázturbinák gyakorlati alkalmazásai 2014.09.10. 1 TARTALOM Kenőolaj rendszer Indítás és leállítás Gáz turbinák üzemének
RészletesebbenSZOLGÁLTATÁS BIZTOSÍTÁS
6. óra SZOLGÁLTATÁS BIZTOSÍTÁS Tárgy: Szolgáltatás menedzsment Kód: NIRSM1MMEM Kredit: 5 Szak: Mérnök Informatikus MSc (esti) Óraszám: Előadás: 2/hét Laborgyakorlat: 2/hét Számonkérés: Vizsga, (félévi
RészletesebbenTantárgyi kommunikációs dosszié
Tantárgyi kommunikációs dosszié Nyomástartó rendszerek biztonságtechnikája GEVGT309M Gépészmérnöki MSc mesterszak Gépészmérnöki és Informatikai Kar Energetikai és Vegyipari Gépészeti Intézet Tantárgy neve:
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é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észletesebbenGyakorló feladatok: Formális modellek, temporális logikák, modellellenőrzés. Majzik István BME Méréstechnika és Információs Rendszerek Tanszék
Gyakorló feladatok: Formális modellek, temporális logikák, modellellenőrzés Majzik István BME Méréstechnika és Információs Rendszerek Tanszék Formális modellek használata és értelmezése Formális modellek
RészletesebbenA statisztikai élettartam elemzés alkalmazása és korlátai a villamosenergia hálózat eszközgazdálkodásában
Budapesti Műszaki és Gazdaságtudományi Egyetem Villamos Energetika Tanszék A statisztikai élettartam elemzés alkalmazása és korlátai a villamosenergia hálózat eszközgazdálkodásában Cselkó Richárd, Németh
RészletesebbenIEC 61508 Basic Engineering -től a Leszerelésig
IEC 61508 Basic Engineering -től a Leszerelésig Dr. Baradits György TÜV id: TP08000105 TÜV Functional Safety Expert Safety Instrumented System BP Rotterdaam SIL4S SIL4S Presentation Presentation BGS 2011.Q4.
RészletesebbenJárműinformatika A járműinformatikai fejlesztés
Járműinformatika A járműinformatikai fejlesztés 2016/2017. tanév, II. félév Dr. Kovács Szilveszter E-mail: szkovacs@iit.uni-miskolc.hu Informatika Intézet 107/a. Tel: (46) 565-111 / 21-07 A járműfejlesztés
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é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észletesebbenTartalom. Soros kompenzátor tervezése 1. Tervezési célok 2. Tervezés felnyitott hurokban 3. Elemzés zárt hurokban 4. Demonstrációs példák
Tartalom Soros kompenzátor tervezése 1. Tervezési célok 2. Tervezés felnyitott hurokban 3. Elemzés zárt hurokban 4. Demonstrációs példák 215 1 Tervezési célok Szabályozó tervezés célja Stabilitás biztosítása
RészletesebbenKét diszkrét változó függetlenségének vizsgálata, illeszkedésvizsgálat
Két diszkrét változó függetlenségének vizsgálata, illeszkedésvizsgálat Szűcs Mónika SZTE ÁOK-TTIK Orvosi Fizikai és Orvosi Informatikai Intézet Orvosi fizika és statisztika I. előadás 2016.11.09 Orvosi
RészletesebbenSpecifikáció alapú teszttervezési módszerek
Szoftverellenőrzési technikák Specifikáció alapú teszttervezési módszerek Majzik István, Micskei Zoltán http://www.inf.mit.bme.hu/ 1 Klasszikus tesztelési feladat A tesztelendő program beolvas 3 egész
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észletesebbenAlapvető karbantartási stratégiák
Alapvető karbantartási stratégiák MBA képzés 2009 Erdei János 4. Tervszerű karbantartás teljesítőképess pesség 00% Teljesítm tménytartalék-diagram kiesési si ciklikus állapotfüggő teljesítménymaradék t
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észletesebbenSpecifikáció alapú teszttervezési módszerek
Szoftverellenőrzési technikák Specifikáció alapú teszttervezési módszerek Majzik István, Micskei Zoltán http://www.inf.mit.bme.hu/ 1 Klasszikus tesztelési feladat A tesztelendő program beolvas 3 egész
RészletesebbenKét típusú összeköttetés PVC Permanent Virtual Circuits Szolgáltató hozza létre Operátor manuálisan hozza létre a végpontok között (PVI,PCI)
lab Adathálózatok ATM-en Távközlési és Médiainformatikai Tanszék Budapesti Műszaki és Gazdaságtudományi Egyetem Megvalósítások Multiprotocol encapsulation (RFC1483) - IETF Classical IP over ATM (RFC1577)
RészletesebbenMultiprotocol encapsulation (RFC1483) - IETF Classical IP over ATM (RFC1577) - IETF LAN Emulation (LANE) - ATM Forum Multiprotocol over ATM (MPOA) -
lab Adathálózatok ATM-en Távközlési és Médiainformatikai Tanszék Budapesti Műszaki és Gazdaságtudományi Egyetem Megvalósítások Multiprotocol encapsulation (RFC1483) - IETF Classical IP over ATM (RFC1577)
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é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é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észletesebbenDigitális technika (VIMIAA02) Laboratórium 3
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 3 Fehér Béla Raikovich Tamás,
RészletesebbenKözlekedési automatika Biztonságintegritás, életciklus modellek
Közlekedési automatika Biztonságintegritás, életciklus modellek 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
RészletesebbenDigitális technika (VIMIAA02) Laboratórium 3
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 3 Fehér Béla Raikovich Tamás,
RészletesebbenÉpítsünk IP telefont!
Építsünk IP telefont! Moldován István moldovan@ttt-atm.ttt.bme.hu BUDAPESTI MŰSZAKI ÉS GAZDASÁGTUDOMÁNYI EGYETEM TÁVKÖZLÉSI ÉS MÉDIAINFORMATIKAI TANSZÉK TANTÁRGY INFORMÁCIÓK Órarend 2 óra előadás, 2 óra
RészletesebbenSzámítógépvezérelt irányítás és szabályozás elmélete (Bevezetés a rendszer- és irányításelméletbe, Computer Controlled Systems) 7.
Számítógépvezérelt irányítás és szabályozás elmélete (Bevezetés a rendszer- és irányításelméletbe, Computer Controlled Systems) 7. előadás Szederkényi Gábor Pázmány Péter Katolikus Egyetem Információs
RészletesebbenR-KORD Kft Präsentation LED.pptx - Fordította: Nikli Barbara
1 2 izzószálas lámpa hosszútávon már nem áll rendelkezésre a világítástechnikában jelentkező műszaki innovációt a vasúton is követni kell (élettartam, alacsonyabb energiaszükséglet, rezgésállóság) 3 L1
RészletesebbenOktató laboratóriumban használható virtuális neutron detektor prototípusának elkészítése. OAH-ABA-18/16 Készítette: Huszti József, Szirmai Károly
Oktató laboratóriumban használható virtuális neutron detektor prototípusának elkészítése OAH-ABA-18/16 Készítette: Huszti József, Szirmai Károly Előzmények Eszközök Fejlesztési feladatok Vázlat A mock
RészletesebbenInformatikai technológiák szakirány Rendszertervezés ágazat
Méréstechnika és Információs Rendszerek Tanszék Informatikai technológiák szakirány Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék A (BSc) Informatikai technológiák
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észletesebbenModern hálózattervezés a GIS és hálózatszámítás felhasználásával
Modern hálózattervezés a GIS és hálózatszámítás felhasználásával www.siemens.com/energy/power-technologies/software Siófok, 15. -17. September 2010 Siemens AG 2010. All rights reserved. Rendszertervezést
RészletesebbenBiztonságkritikus rendszerek
Biztonságkritikus rendszerek Dr. Abonyi, János Dr. Fülep, Tímea Szerzők: Abonyi János (Fejezet 1-9) és Fülep Tímea (Fejezet 10-12) Szerzői jog 2014 Pannon Egyetem A tananyag a TÁMOP-4.1.2.A/1-11/1-2011-0042
RészletesebbenMAB3 alállomási irányítástechnika
MAB3 alállomási irányítástechnika Készítette: KERTÉSZ, Sándor INFOWARE ZRt. Tartalom MAB3 rendszer MAB3-GWY gateway MAB3- mezőgép Helyi kommunikációs hálózat Helyi megjelenítő támogatás Bemutató 1 MAB3
RészletesebbenModellezési esettanulmányok. elosztott paraméterű és hibrid példa
Modellezési esettanulmányok elosztott paraméterű és hibrid példa Hangos Katalin Számítástudomány Alkalmazása Tanszék Veszprémi Egyetem Haladó Folyamatmodellezés és modell analízis PhD kurzus p. 1/38 Tartalom
RészletesebbenDr. BALOGH ALBERT: MEGBÍZHATÓSÁGI ÉS KOCKÁZATKEZELÉSI SZAKKIFEJEZÉSEK FELÜLVIZSGÁLATÁNAK HELYZETE
Dr. BALOGH ALBERT: MEGBÍZHATÓSÁGI ÉS KOCKÁZATKEZELÉSI SZAKKIFEJEZÉSEK FELÜLVIZSGÁLATÁNAK HELYZETE 1 Megbízhatósági terminológia: IEC 50(191):2007 változat (tervezet) Kockázatkezelő irányítási terminológia:
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észletesebbenAutóipari beágyazott rendszerek Dr. Balogh, András
Autóipari beágyazott rendszerek Dr. Balogh, András Autóipari beágyazott rendszerek Dr. Balogh, András Publication date 2013 Szerzői jog 2013 Dr. Balogh András Szerzői jog 2013 Dunaújvárosi Főiskola Kivonat
Részletesebben