Bokor 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
|
|
- Jázmin Soós
- 5 évvel ezelőtt
- Látták:
Átírás
1 Beépített diagnosztika Bokor Péter
2 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: biztonságtanusítás 6. Összefoglalás 2
3 1. Elosztott diagnosztika a(z egyetemi) autó esete Diagnosztika Hibás egységek azonosítása Elosztott diagnosztika Központi diagnosztikai egység Egyszeres hibahely Túlterhelt erőforrás Hibatűrés, skálázhatóság Miért kell diagnosztika? A hiba realitás A hibatűrés (sokszor) követelmény Diagnosztika: A hibatűrés egyik módszere (vö. hibafedés) 3
4 1. Elosztott diagnosztika a(z egyetemi) autó esete (2) Diagnosztika Hibás egységek azonosítása Elosztott diagnosztika Központi egység Egyszeres hibahely Túlterhelt erőforrás Hibatűrés, skálázhatóság Miért kell diagnosztika? A hiba realitás A hibatűrés (sokszor) követelmény Diagnosztika: A hibatűrés egyik módszere (vö. hibafedés) Diagnosztika nélkül??? Hogyan fékezzek, ha más fék-egység rossz? 4
5 1. Elosztott diagnosztika a(z egyetemi) autó esete (3) Diagnosztika Hibás egységek azonosítása Elosztott diagnosztika Központi egység Egyszeres hibahely Túlterhelt erőforrás Hibatűrés, skálázhatóság Miért kell diagnosztika? A hiba realitás A hibatűrés (sokszor) követelmény Diagnosztika: A hibatűrés egyik módszere (vö. hibafedés) Diagnosztikával Jobb első rossz! Most úgy fékezünk, hogy a jobb elsőt is helyettesitjük! Jobb első rossz! Jobb első rossz! 5
6 1. Elosztott diagnosztika a(z egyetemi) autó esete (4) Diagnosztika Hibás egységek azonosítása Elosztott diagnosztika Központi egység Egyszeres hibahely Túlterhelt erőforrás Hibatűrés, skálázhatóság Miért kell diagnosztika? A hiba realitás A hibatűrés (sokszor) követelmény Diagnosztika: A hibatűrés egyik módszere (vö. hibafedés) Hibafedés drága Most Fékezhetünk úgy fékezünk, rendesen, hogy a jobb hiszen elsőt is mindenki helyettesitjük! jó! 6
7 2. A kihívás: Nehéz a diagnosztika? IGEN! Egy ízelítő probléma: A hibamodell 1. eset: Jobb első fék-egység leáll ( crash hiba) Jobb első, hibás vagy? Nincs válasz Diagnosztika: Jobb első fék-egység hibás 2. eset: Jobb első fék-egység worst-case hibás Jobb első, hibás vagy? Igen, Nem, Nem Diagnosztika:? A(z elosztott) diagnosztika nem triviális feladat! 7
8 2. Akadémia: Diagnosztika mint konszenzus A probléma gyökere Egyetértés (konszenzus) hibák jelenlétekor is A megoldás alapja mindig: többség dönt Akadémia A konszenzus probléma megoldása külön szakterület Diagnosztika: Speciális eset Konszenzus a hibás egységek kilétéről Miért fontos az általánosítás és a matematikai megközelítés? Sok más probléma megoldható Például: Tagsági szolgáltatás... 8
9 3. Tagsági csoport: Összetartó egységek Tagság A terminológia A tagok a csoportban ugyanazt gondolják A tagsági probléma Konszenzus a kapott üzeneteket felett Vevő-hibás egységek diagnosztikája Motiváció Fékezési intenzitás/irány/stb. kiszámolása az egymásnak küldött adatok alapján Tagság Üzenet fogadó részegység hibás Most úgy fékezünk, hogy a jobb elsőt is helyettesitjük! Mi egy tagsági csoport vagyunk! A jobb első egység nem tartozik közénk, mert nem tudja fogadni az üzeneteinket! 9
10 4. A DECOS diagnosztika Hibrid hibamodell: Crash + worst-case hibák Diagnosztika + Tagság Futás idejű diagnosztika Az autó működése közben Hosszútávú diagnosztika Átmeneti (tranziens) hiba után az egység visszatér a rendszerbe Alacsony késleltetés Hiba megjelenése után a diagnosztika időben hamar rendelkezésre áll Összefügg a szolgáltatás tolerált kiesési idejével Alacsony sávszélesség 10
11 4. A DECOS diagnosztika (2) Egy-két előny Tranziens hibák átlagosan 1000 óránként Konzervativ diagnosztika Elég egy hiba és az egység örökre hibásnak minősül És ha eltűnik a hiba (pl. zaj/zavar/meghibásodás után) és a misszió hosszú? DECOS diagnosztika A felgyógyult egységek felépülnek és visszaállnak a működésbe Diagnosztika kell Mi áron? Konzervatív diagnosztika Sok üzenetváltás Nagy sávszélesség Igazi alkamazásoknak kevés sávszélesség marad DECOS diagnosztika Kis sávszélesség (2N, 3N bit N az egységek száma) 11
12 5. A helyesség garanciája V&V A diagnosztika nem-triviális probléma Nem-triviális megoldások: Protokollok Számítógép számítógép kommunikáció Jól működik a javasolt megoldás? Megoldások ( DECOS esetén) Szisztematikus tesztelés (validáció) Mit igért az eredmény, ha nem minden futás tesztelt? (Ez nem jogerős.) Minden lehetséges hibaeset tesztelése (verifikáció) Biztonságosság matematikai bizonyítása (Ez jogerős.) DECOS melléktermék Technikák extrém komplexitás kezelésére is (absztrakció) N=7,8,9, 12
13 6. Összefoglalás Amit a DECOS kínál Hordozható diagnosztika Idővezérelt rendszerek (például FlexRay, TTP/C) Csomópont-csomópont szinkron rendszerek Hangolható diagnosztika Paraméterek Tranziens, permanens hibák gyakorisága,... Széleskörben felhasználható validációs + verifikációs paradigma Hibainjektálás Validáció Automatikus kimerítő szimuláció Verifikáció Támogatott protokoll fejlesztés Új protokollok fejlesztése 13
Szoftverminőségbiztosítás
NGB_IN003_1 SZE 2014-15/2 (13) Szoftverminőségbiztosítás Szoftverminőség és formális módszerek Formális módszerek Formális módszer formalizált módszer(tan) Formális eljárások alkalmazása a fejlesztésben
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é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észletesebbenMiskolci Egyetem Általános Informatikai Tanszék
Software tesztelés Miskolci Egyetem Általános Informatikai Tanszék Software tesztelés SWTESZT / 1 A tesztelés feladata Két alapvető cél rendszerben található hibák felderítése annak ellenőrzése, hogy a
RészletesebbenA tesztelés feladata. Verifikáció
Software tesztelés Miskolci Egyetem Általános Informatikai Tanszék Software tesztelés SWTESZT / 1 A tesztelés feladata Két alapvető cél rendszerben található hibák felderítése annak ellenőrzése, hogy a
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é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é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é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észletesebbenObjektumorientált paradigma és programfejlesztés Bevezető
Objektumorientált paradigma és programfejlesztés Bevezető Vámossy Zoltán vamossy.zoltan@nik.uni-obuda.hu Óbudai Egyetem Neumann János Informatikai Kar Ficsor Lajos (Miskolci Egyetem) prezentációja alapján
RészletesebbenAutóipari beágyazott rendszerek. Local Interconnection Network
Autóipari beágyazott rendszerek Local Interconnection Network 1 Áttekintés Motiváció Kis sebességigényű alkalmazások A CAN drága Kvarc oszcillátort igényel Speciális perifériát igényel Két vezetéket igényel
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é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észletesebbenCsertán György Pataricza András. Idővezérelt architektúrák Robosztus partícionálás Kódgenerálás Integrált, automatizált V&V Tanusítás
Technológiai áttekintés Csertán György Pataricza András Tartalom Idővezérelt architektúrák Robosztus partícionálás Kódgenerálás Integrált, automatizált V&V Tanusítás 2 Célkitűzés Technológiai alapok bemutatása
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é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észletesebbenDECOS Nemzeti Nap október 15. Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék
Megfelelőség tanúsítása modell alapon Dr. Polgár Balázs polgar@mit.bme.hu Miről lesz szó? 2 Tartalom Célkitűzés Megoldandó feladatok A tesztkörnyezet komponensei folyamatok Eszközintegrációs szintek Megfelelőségtanúsítás
RészletesebbenTeljesen elosztott adatbányászat pletyka algoritmusokkal. Jelasity Márk Ormándi Róbert, Hegedűs István
Teljesen elosztott adatbányászat pletyka algoritmusokkal Jelasity Márk Ormándi Róbert, Hegedűs István Motiváció Nagyméretű hálózatos elosztott alkalmazások az Interneten egyre fontosabbak Fájlcserélő rendszerek
RészletesebbenIntegrációs mellékhatások és gyógymódok a felhőben. Géczy Viktor Üzletfejlesztési igazgató
Integrációs mellékhatások és gyógymódok a felhőben Géczy Viktor Üzletfejlesztési igazgató Middleware projektek sikertelenségeihez vezethet Integrációs (interfész) tesztek HIÁNYA Tesztadatok? Emulátorok?
Részletesebben8.3. AZ ASIC TESZTELÉSE
8.3. AZ ASIC ELÉSE Az eddigiekben a terv helyességének vizsgálatára szimulációkat javasoltunk. A VLSI eszközök (közöttük az ASIC) tesztelése egy sokrétűbb feladat. Az ASIC modellezése és a terv vizsgálata
RészletesebbenObjektumorientált paradigma és a programfejlesztés
Objektumorientált paradigma és a programfejlesztés Vámossy Zoltán vamossy.zoltan@nik.uni-obuda.hu Óbudai Egyetem Neumann János Informatikai Kar Ficsor Lajos (Miskolci Egyetem) prezentációja alapján Objektumorientált
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észletesebbenMolnár Attila. Gazdasági igazgató EGVE Elnök elnok@egve.hu molat.gai@zmkorhaz.hu. Jövı? Kép?
Molnár Attila Gazdasági igazgató EGVE Elnök elnok@egve.hu molat.gai@zmkorhaz.hu Jövı? Kép? Egy kis történelem Labor teljesítmények folyamatos növekedése Permanens szándék a labor forgalom visszafogása,
RészletesebbenCélkitűzés Megoldandó feladatok A tesztkörnyezet komponensei V&V folyamatok Eszközintegrációs szintek. Megfelelőség tanúsítása modell alapon
Megfelelőség tanúsítása modell alapon Dr. Polgár Balázs polgar@mit.bme.hu Miről lesz szó? 2 Tartalom Célkitűzés Megoldandó feladatok A tesztkörnyezet komponensei folyamatok Eszközintegrációs szintek Megfelelőségtanúsítás
RészletesebbenCOMET webalkalmazás fejlesztés. Tóth Ádám Jasmin Media Group
COMET webalkalmazás fejlesztés Tóth Ádám Jasmin Media Group Az előadás tartalmából Alapproblémák, fundamentális kérdések Az eseményvezérelt architektúra alapjai HTTP-streaming megoldások AJAX Polling COMET
RészletesebbenBevezetés a párhuzamos programozási koncepciókba
Bevezetés a párhuzamos programozási koncepciókba Kacsuk Péter és Dózsa Gábor MTA SZTAKI Párhuzamos és Elosztott Rendszerek Laboratórium E-mail: kacsuk@sztaki.hu Web: www.lpds.sztaki.hu Programozási modellek
RészletesebbenAutóipari beágyazott rendszerek. A kommunikáció alapjai
Autóipari beágyazott rendszerek A kommunikáció alapjai 1 Alapfogalmak Hálózati kommunikáció Vezérlőegységek közötti információ továbbítás Csomópontok Kommunikációs csatornákon keresztül Terepbuszok (cluster)
RészletesebbenOpenCL alapú eszközök verifikációja és validációja a gyakorlatban
OpenCL alapú eszközök verifikációja és validációja a gyakorlatban Fekete Tamás 2015. December 3. Szoftver verifikáció és validáció tantárgy Áttekintés Miért és mennyire fontos a megfelelő validáció és
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észletesebbenR5 kutatási feladatok és várható eredmények. RFID future R Király Roland - Eger, EKF TTK MatInf
R5 kutatási feladatok és várható eredmények RFID future R5 2013.06.17 Király Roland - Eger, EKF TTK MatInf RFID future R5 RFID future - tervezett kutatási feladatok R5 feladatok és várható eredmények Résztevékenységek
RészletesebbenSzemléletmód váltás a banki BI projekteken
Szemléletmód váltás a banki BI projekteken Data Governance módszertan Komáromi Gábor 2017.07.14. Fókuszpontok áthelyezése - Elérendő célok, elvárt eredmény 2 - Egységes adatforrásra épülő, szervezeti egységektől
RészletesebbenAz országos projekt állása,
Az országos projekt állása, aktuális kérdések Sebık Sándor projektvezetı SEPA szakmai fórum, 2011.11.17. Tartalom: Az eddig elvégzett feladatok Klíringtagi és GIRO státusz Aktuális feladatok, tesztelés
RészletesebbenKód átvizsgálás. Irodalom. (Code review) code review,smart Bear Inc., ! Jason Cohen: Best kept secrets of peer
Kód átvizsgálás (Code review) 2 Irodalom! Jason Cohen: Best kept secrets of peer code review,smart Bear Inc., 2006 3 Célok, el!nyök! Jobb min!ség" kód! jobban karbantartható! Kevesebb hiba a kódban! rövidebb
RészletesebbenDigitálistechnika II. 1. rész
Digitálistechnika II. 1. rész Oktatási cél: A tárgy keretében a Digitális technika I. tárgyban szerzett elméleti ismeretek elmélyítésére kerül sor. A hallgatók gyakorlati feladat-megoldások segítségével
RészletesebbenKOMPUTER-ALGEBRA RENDSZEREK VERIFIKÁCIÓJA
KOMPUTER-ALGEBRA RENDSZEREK VERIFIKÁCIÓJA Szoftver Verifikáció és Validáció, 2015 Ősz Vaitkus Márton Tartalom Motiváció Maple MiniMaple MiniMaple típusellenőrzése MiniMaple formális specifikációja MiniMaple
RészletesebbenHálózatok. Alapismeretek. A hálózatok célja, építőelemei, alapfogalmak
Hálózatok Alapismeretek A hálózatok célja, építőelemei, alapfogalmak A hálózatok célja A korai időkben terminálokat akartak használni a szabad gépidők lekötésére, erre jó lehetőség volt a megbízható és
RészletesebbenA modellellenőrzés érdekes alkalmazása: Tesztgenerálás modellellenőrzővel
A modellellenőrzés érdekes alkalmazása: Tesztgenerálás modellellenőrzővel Majzik István Micskei Zoltán BME Méréstechnika és Információs Rendszerek Tanszék 1 Modell alapú fejlesztési folyamat (részlet)
RészletesebbenA szoftverellenőrzés szerepe
A szoftverellenőrzés szerepe Majzik István majzik@mit.bme.hu http://www.inf.mit.bme.hu/ 1 Motiváció Tartalomjegyzék Milyen minőségi igények vannak a szoftverrel szemben, és mit tud ma a szoftveripar? Miért
RészletesebbenInternet-hozzáférések teljesítményvizsgálata webböngészőben
Internet-hozzáférések teljesítményvizsgálata webböngészőben Orosz Péter BME TMIT SmartCom Lab 4. Magyar Jövő Internet Konferencia 2017. november 8-9. Áttekintés Adatforgalmi trendek és internethozzáférések
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é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észletesebbenTartalom Platform-független modellezés Alkalmazás-modellezés A DECOS hardver platform Platform modellezés Hardver-szoftver integráció Implementáció 2
Biztonság-vezérelt automatikus architektúra szintézis Balogh András abalogh@mit.bme.hu Tartalom Platform-független modellezés Alkalmazás-modellezés A DECOS hardver platform Platform modellezés Hardver-szoftver
RészletesebbenSzoftver-mérés. Szoftver metrikák. Szoftver mérés
Szoftver-mérés Szoftver metrikák Szoftver mérés Szoftver jellemz! megadása numerikus értékkel Technikák, termékek, folyamatok objektív összehasonlítása Mér! szoftverek, programok CASE eszközök Kevés szabványos
RészletesebbenModellezési alapismeretek
Modellezési alapismeretek Budapesti Műszaki és Gazdaságtudományi Egyetem Hibatűrő Rendszerek Kutatócsoport Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék
RészletesebbenModellezési alapismeretek
Modellezési alapismeretek Rendszermodellezés Budapesti Műszaki és Gazdaságtudományi Egyetem Hibatűrő Rendszerek Kutatócsoport Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs
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észletesebbenForráskód generálás formális modellek alapján
Forráskód generálás formális modellek alapján dr. Majzik István Horányi Gergő és Jeszenszky Balázs (TDK) BME Méréstechnika és Információs Rendszerek Tanszék 1 Modellek a formális ellenőrzéshez Hogyan használhatók
RészletesebbenSzenzorhálózatok programfejlesztési kérdései. Orosz György
Szenzorhálózatok programfejlesztési kérdései Orosz György 2011. 09. 30. Szoftverfejlesztési alternatívák Erőforráskorlátok! (CPU, MEM, Energia) PC-től eltérő felfogás: HW közeli programozás Eszközök közvetlen
RészletesebbenRészletes tervek ellenőrzése
Szoftverellenőrzési technikák Részletes tervek ellenőrzése Majzik István http://www.inf.mit.bme.hu/ 1 Tartalomjegyzék Áttekintés Milyen szerepe van a részletes terveknek? Milyen ellenőrzési módszerek vannak?
RészletesebbenMegkülönböztetett kiszolgáló routerek az
Megkülönböztetett kiszolgáló routerek az Interneten Megkülönböztetett kiszolgálás A kiszolgáló architektúrák minősége az Interneten: Integrált kiszolgálás (IntServ) Megkülönböztetett kiszolgálás (DiffServ)
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észletesebbenDigitális eszközök típusai
Digitális eszközök típusai A digitális eszközök típusai Digitális rendszer fogalma Több minden lehet digitális rendszer Jelen esetben digitális integrált áramköröket értünk a digitális rendszerek alatt
RészletesebbenA modellellenőrzés érdekes alkalmazása: Tesztgenerálás modellellenőrzővel
A modellellenőrzés érdekes alkalmazása: Tesztgenerálás modellellenőrzővel Majzik István Micskei Zoltán BME Méréstechnika és Információs Rendszerek Tanszék 1 Modell alapú fejlesztési folyamat (részlet)
RészletesebbenDECOS Nemzeti Nap. DECOS Nemzeti Nap. DECOS Nemzeti Nap
Biztonság-vezérelt automatikus architektúra szintézis Balogh András abalogh@mit.bme.hu Implementáció 2 Célkitűzés Fejlesztőeszköz készítése modell-alapú folyamathoz Meglevő eszközök felhasználásával Fejlesztési
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észletesebbenAutóipari beágyazott rendszerek. FlexRay
Autóipari beágyazott rendszerek FlexRay 1 Történet A FlexRay konzorcium fejlesztette Freescale, Bosch, NXP, BMW, VW, Daimler, GM Ma már ISO szabvány Főbb igények A CAN és LIN protokolloknál nagyobb sávszélesség
RészletesebbenMapReduce paradigma a CAP-tétel kontextusában. Adatb haladóknak. Balassi Márton Adatbázisok haladóknak 2012.
MapReduce paradigma a CAP-tétel kontextusában Balassi Márton balassi.marton@gmail.com 2012. október 30. Adatbázisok haladóknak 2012. 2012. október 30. Miről lesz szó? Elosztott adatfeldolgozásról általában
RészletesebbenSzivattyú indítási folyamatok problémája több betáplálású távhőhálózatokban
Szivattyú indítási folyamatok problémája több betáplálású távhőhálózatokban Dr. Halász Gábor 1 Dr. Hős Csaba 2 1 Egyetemi tanár, halasz@hds.bme.hu Budapesti Műszaki és Gazdaságtudományi Egyetem (BME) Hidrodinamikai
RészletesebbenA jövő beágyazott rendszerei
A jövő beágyazott rendszerei Péceli Gábor BME Méréstechnika és Információs Rendszerek Tanszék 2014. április 24. 1 Befogadó környezetek befogadott eszközök KIVÁLTOTT VÁLASZ A kiváltott válaszok a központi
RészletesebbenModell alapú tesztelés mobil környezetben
Modell alapú tesztelés mobil környezetben Micskei Zoltán Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék A terület behatárolása Testing is an activity performed
RészletesebbenModellellenőrzés a vasút automatikai rendszerek fejlesztésében. XIX. Közlekedésfejlesztési és beruházási konferencia Bükfürdő
Modellellenőrzés a vasút automatikai rendszerek fejlesztésében XIX. Közlekedésfejlesztési és beruházási konferencia Bükfürdő 2018.04.25-27. Tartalom 1. Formális módszerek state of the art 2. Esettanulmány
RészletesebbenInformatikai rendszertervezés
Informatikai rendszertervezés Dr. Varró Dániel Budapesti Műszaki és Gazdaságtudományi Egyetem Hibatűrő Rendszerek Kutatócsoport Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs
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észletesebben2011.11.29. JUnit. JUnit használata. IDE támogatás. Parancssori használat. Teszt készítése. Teszt készítése
Tartalom Integrált fejlesztés Java platformon JUnit JUnit használata Tesztelési technikák Demo 2 A specifikáció alapján teszteljük a program egyes részeit, klasszikus V-modell szerint Minden olyan metódust,
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észletesebbenProgramozási nyelvek II. JAVA
Programozási nyelvek II. JAVA 10. gyakorlat 2017. november 20-24. Szoftver minőségbiztosítás (ismétlés) Adott: Specifikáció (követelmények halmaza) Cél: A követelményeket teljesítő ("helyes") program Megközelítések:
RészletesebbenAz egészségügyi ellátáshoz való jog /1997. évi CLIV. Tv./ 7. (1) Minden betegnek joga van - jogszabályban meghatározott keretek között - az egészségi
Az egészségügyi ellátáshoz való jog /1997. évi CLIV. Tv./ 7. (1) Minden betegnek joga van - jogszabályban meghatározott keretek között - az egészségi állapota által indokolt, megfelelő, folyamatosan hozzáférhető
RészletesebbenIntervenciós röntgen berendezés teljesítményszabályozójának automatizált tesztelése
Intervenciós röntgen berendezés teljesítményszabályozójának automatizált tesztelése Somogyi Ferenc Attila 2016. December 07. Szoftver verifikáció és validáció kiselőadás Forrás Mathijs Schuts and Jozef
RészletesebbenÉlettartam teszteknél alkalmazott programstruktúra egy váltóvezérlő példáján keresztül
Élettartam teszteknél alkalmazott programstruktúra egy váltóvezérlő példáján keresztül 1 Tartalom Miről is lesz szó? Bosch GS-TC Automata sebességváltó TCU (Transmission Control Unit) Élettartam tesztek
RészletesebbenKísérleti üzemek az élelmiszeriparban alkalmazható fejlett gépgyártás-technológiai megoldások kifejlesztéséhez, kipróbálásához és oktatásához
1 Nemzeti Workshop Kísérleti üzemek az élelmiszeriparban alkalmazható fejlett gépgyártás-technológiai megoldások kifejlesztéséhez, kipróbálásához és oktatásához Berczeli Attila Campden BRI Magyarország
RészletesebbenInformatika Rendszerek Alapjai
Informatika Rendszerek Alapjai Dr. Kutor László Alapfogalmak Információ-feldolgozó paradigmák Analóg és digitális rendszerek jellemzői Jelek típusai Átalakítás rendszerek között http://uni-obuda.hu/users/kutor/
RészletesebbenTeljesítménymodellezés
Üzleti IT rendszerek modellezése Teljesítménymodellezés Gönczy László gonczy@mit.bme.hu Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék Erőforrás szintű kapacitástervezés
RészletesebbenProjekt szponzor : siker - felelősség - kompetencia
Projekt szponzor : siker - felelősség - kompetencia dr. Prónay Gábor 11. Projektmenedzsment a Gazdaságban Fórum 2008. április 10. AZ ELŐADÁS CÉLJA figyelem felhívás a projekt tulajdonos/szponzor meghatározó
RészletesebbenColourSMS Protokol definíció. Version 1.2
ColourSMS Protokol definíció Version 1.2 1.1 HTTP request A ColourSMS(Westel/Pannon) alkalmazások által kiadott HTTP request formátuma a következő: http://third_party_url/path_to_application A third_party_url
RészletesebbenAutomatikus tesztgenerálás modell ellenőrző segítségével
Méréstechnika és Információs Rendszerek Tanszék Automatikus tesztgenerálás modell ellenőrző segítségével Micskei Zoltán műszaki informatika, V. Konzulens: Dr. Majzik István Tesztelés Célja: a rendszerben
RészletesebbenFormális módszerek GM_IN003_1 Bevezetés
Formális módszerek GM_IN003_1 Formális módszerek Formális módszer! formalizált módszer(tan) Formális eljárások alkalmazása a fejlesztésben nincs olyan formális eljárás, ami egy komplex rendszer minden
RészletesebbenMiért is transzformáljunk modelleket? Varró Dániel
Miért is transzformáljunk modelleket? Varró Dániel Mit látunk a képen? Tipikus kérdések (Hardvertervezés) Jól működik-e? 1+1 = 2? Hogyan készítsünk 8 bites összeadót 4 bites összeadóval? Hogyan készítsünk
RészletesebbenR3-COP. Resilient Reasoning Robotic Co-operating Systems. Autonóm rendszerek tesztelése egy EU-s projektben
ARTEMIS Joint Undertaking The public private partnership in embedded systems R3-COP Resilient Reasoning Robotic Co-operating Systems Autonóm rendszerek tesztelése egy EU-s projektben Micskei Zoltán Budapesti
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észletesebbenAkkumulátortelepek diagnosztikája
Akkumulátortelepek diagnosztikája VI. Szigetelésdiagnosztikai Konferencia 2006 április 26-28 Bikal MaxiCont Mérnöki Szolgáltató és Kereskedelmi Kft. 2051 Biatorbágy, Attila u. 1/a Tel: +36 23 532 610 Fax:
RészletesebbenI.3 ELOSZTOTT FOLYAMATSZINTÉZIS BERTÓK BOTOND. Témavezetői beszámoló
infokommunikációs technológiák infokommunikációs technológiák I.3 ELOSZTOTT FOLYAMATSZINTÉZIS BERTÓK BOTOND Témavezetői beszámoló Pannon Egyetem 2015. január 7. A KUTATÁSI TERÜLET RÖVID MEGFOGALMAZÁSA
RészletesebbenEgyüttmőködési rendszerek, csoporttevékenység támogatása 1. rész
Együttmőködési rendszerek, csoporttevékenység támogatása 1. rész Gaul Géza 2008 Széchenyi István Egyetem 1 Tartalom Bevezetés A csoportmunka természete A technikák áttekintése Üzenetkezelés Konferencia
RészletesebbenBeágyazott Rendszerek Modellezése
Beágyazott Rendszerek Modellezése Számítási Modellek A Ptolemy modellezési eszköz Készítette: Völgyesi Péter és Simon Gyula Tartalom Tervezés, modellezés, szimuláció Számítási modellek végrehajtási logika
RészletesebbenVezetői - Best Practice Felmérés összefoglaló. Dr. Németh Balázs Kvalikon Kft Július 24.
Vezetői - Best Practice Felmérés összefoglaló Dr. Németh Balázs Kvalikon Kft. 2015. Július 24. Vizsgálati minta 137 résztvevő 118 vállalattól 46 szolgáltató és 72 gyártó vállalat A vállalatoknál foglalkoztatott
RészletesebbenA szoftver-folyamat. Szoftver életciklus modellek. Szoftver-technológia I. Irodalom
A szoftver-folyamat Szoftver életciklus modellek Irodalom Ian Sommerville: Software Engineering, 7th e. chapter 4. Roger S. Pressman: Software Engineering, 5th e. chapter 2. 2 A szoftver-folyamat Szoftver
RészletesebbenAz RSVP szolgáltatást az R1 és R3 routereken fogjuk engedélyezni.
IntServ mérési utasítás 1. ábra Hálózati topológia Routerek konfigurálása A hálózatot konfiguráljuk be úgy, hogy a 2 host elérje egymást. (Ehhez szükséges az interfészek megfelelő IP-szintű konfigolása,
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 szoftver tesztelés célja
Szoftver tesztelés Bevezetés 2 A szoftver tesztelés célja! Szoftver-min!ség biztosítása, javítása! Szoftver hibák lokalizálása! V & V támogatása! verifikáció! fázis transzformációs lépései helyesek! követelményeknek
RészletesebbenAlap-ötlet: Karl Friedrich Gauss ( ) valószínűségszámítási háttér: Andrej Markov ( )
Budapesti Műszaki és Gazdaságtudományi Egyetem Gépészmérnöki Kar Hidrodinamikai Rendszerek Tanszék, Budapest, Műegyetem rkp. 3. D ép. 334. Tel: 463-6-80 Fa: 463-30-9 http://www.vizgep.bme.hu Alap-ötlet:
RészletesebbenA genetikus algoritmus, mint a részletes modell többszempontú és többérdekű "optimálásának" általános és robosztus módszere
A genetikus algoritmus, mint a részletes modell többszempontú és többérdekű "optimálásának" általános és robosztus módszere Kaposvári Egyetem, Informatika Tanszék I. Kaposvári Gazdaságtudományi Konferencia
RészletesebbenHasználati alapú és modell alapú tesztelés kombinálása szolgáltatásorientált architektúrák teszteléséhez az ipari gyakorlatban
Használati alapú és modell alapú tesztelés kombinálása szolgáltatásorientált architektúrák teszteléséhez az ipari gyakorlatban Nagy Attila Mátyás 2016.12.07. Áttekintés Bevezetés Megközelítés Pilot tanulmányok
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észletesebbenTOGAF elemei a gyakorlatban
TOGAF elemei a gyakorlatban Vinczellér Gábor 2009.06.0406 04 8 éves szakmai tapasztalat Bemutatkozás IT Support, Programozó, jelenleg Projektvezető, Termékfejlesztési Üzletág Vezető Tanácsadási és Szoftverfejlesztési
RészletesebbenCrawler.NET: Komponensalapú elosztott keretrendszer a web bejárására
: Komponensalapú elosztott keretrendszer a web bejárására Hunyadi Levente és Pallos Péter 2006. november 17. Motiváció Motiváció Célok Architektúra az internet mérete rohamosan nő a web: szórt formában
RészletesebbenAdatstruktúrák, algoritmusok, objektumok
Adatstruktúrák, algoritmusok, objektumok 2. Az objektumorientált programozási paradigma 1 A szoftverkrízis Kihívások a szoftverfejlesztés módszereivel szemben 1. A szoftveres megoldások szerepe folyamatosan
RészletesebbenA dokumentáció felépítése
A dokumentáció felépítése Készítette: Keszthelyi Zsolt, 2010. szeptember A szoftver dokumentációját az itt megadott szakaszok szerint kell elkészíteni. A szoftvert az Egységesített Eljárás (Unified Process)
RészletesebbenA klímamodellek eredményei mint a hatásvizsgálatok kiindulási adatai
A klímamodellek eredményei mint a hatásvizsgálatok kiindulási adatai Szépszó Gabriella Országos Meteorológiai Szolgálat, szepszo.g@met.hu RCMTéR projekt 2. konzultációs workshopja 2016. február 19. TARTALOM
RészletesebbenIII.5 KILOPROCESSZOROS RENDSZEREK LOGISZTIKAI ALKALMAZÁSA (SZOLGAY PÉTER)
infokommunikációs technológiák III.5 KILOPROCESSZOROS RENDSZEREK LOGISZTIKAI ALKALMAZÁSA (SZOLGAY PÉTER) KILOPROCESSZOROS ARCHITEKTÚRÁK KUTATÁSA ÉS ALKALMAZÁSA Kutatási irányok: Stubendek Attila Nem Boole
RészletesebbenVirtuális vállalatok működése gyorsan változó, bizonytalansággal terhelt környezetben
Virtuális vállalatok működése gyorsan változó, bizonytalansággal terhelt környezetben Virtuális vállalat 2012/13 1. félév 7. Előadás Dr. Kulcsár Gyula Rendszer (System) Elem, kölcsönhatás, struktúra, határ,
Részletesebben