Hibaterjedés-analízis

Slides:

Advertisements

Hasonló előadás

T ESZTELÉS. C ÉLJA Minél több hibát találjunk meg! Ahhoz, hogy az összes hibát fölfedezzük, kézenfekvőnek tűnik a programot az összes lehetséges bemenő.

Advertisements

Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék 5.5. Model Based Architecture módszerek BelAmI_H Spring.

Diagnosztika szabályok felhasználásával, diagnosztikai következtetés Modell alapú diagnosztika diszkrét módszerekkel.

F IGYELMI ALGORITMUSOKKAL VEZÉRELT HELYSZÍNANALÍZIS A BIONIKUS SZEMÜVEGBEN Persa György.

A BNO10 formális formális reprezentálása a GALEN alapján

A MÉRŐESZKÖZÖK CSOPORTOSÍTÁSA

A rendszerszintű diagnosztika alapjai

A Microsoft rendszermenedzsment víziója A Dynamic Systems Initiative A System Definition Model Az üzemeltetésre tervezett szoftverek A SDM jelentősége.

Ecological assessment of the Szamos/Somes River to determine its influance on the ecological state of the Tisza River Dr. Csipkés József Felső-Tisza-vidéki.

2. Rendszer fejlesztés

Kötelező alapkérdések

Kalman-féle rendszer definíció

Budapesti Műszaki és Gazdaságtudományi Egyetem Elektronikus Eszközök Tanszéke A programozás alapjai 1. (VIEEA100) 9. előadás.

1 Matematika oktatás mérnök és műszaki informatikai képzésekben Ráckeve, március 2-4. Moson Péter, BME, Matematika Intézet Budapesti Műszaki és Gazdaságtudományi.

Feladatok együttműködésének ellenőrzése

1 Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék IT rendszerek modellezése Micskei Zoltán

Kocsisné Dr. Szilágyi Gyöngyi. Elérehet ő ség: aszt.inf.elte.hu/~szilagyi/ aszt.inf.elte.hu/~szilagyi Fogadó óra: hétf ő

A talajok mechanikai tulajdonságai III.

Determinisztikus véges automaták csukva nyitva m s kbsm csukva nyitva csukva nyitva csukvanyitva 1. Példa: Fotocellás ajtó s b m m= mindkét helyen k= kint.

Bevezetés a robotok döntéshozatalának folyamatába és módszereibe Készítette : Fodor Bence II. Éves Programtervező Informatikus Nyíregyházi Főiskola V2.

Miskolci Egyetem Informatikai Intézet Általános Informatikai Tanszé k Pance Miklós Adatstruktúrák, algoritmusok előadásvázlat Miskolc, 2004 Technikai közreműködő:

WEB MES (webes gyártásirányító rendszer) Kiss Miklós (G-5S8)

Összefoglaló. Valós világ Formális Modell –Sintaktikusan ellenőrizhető modell.

Budapesti Műszaki Egyetem Méréstechnika és Információs Rendszerek Tanszék 1 Szolgáltatásbiztos számítástechnika = hibatűrés, információbiztonság Pataricza.

A hiba-előjel alapú FxLMS algoritmus analízise Orosz György Konzulensek: Péceli Gábor, Sujbert László Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika.

Modelltranszformációs szabályok automatikus generálása példák alapján Balogh Zoltán IV. évf. informatikus Konzulens: Dr. Varró Dániel Méréstechnika és.

Budapest, június 28. Ontológia kezelő modul tervezése szöveges információt kezelő informatikai rendszer számára Förhécz András BME Méréstechnika.

Tervkészítés PDDL alapon Konzulens: Kovács Dániel László Intelligens rendszerek tanszék Budapest Műszaki és Gazdaságtudományi.

Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék Bin-summarise-smooth: ‚bigvis’ „Big Data” elemzési módszerek.

Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék R „Big Data” elemzési módszerek Kocsis Imre

Programtesztelés. Hibák keletkezésének okai nem egyértelmű vagy hiányos kommunikáció fejlesztés közben maga a szoftver bonyolultsága programozói (kódolási)

MIKROELEKTRONIKA, VIEEA306

Budapesti Műszaki és Gazdaságtudományi Egyetem Elektronikus Eszközök Tanszéke MIKROELEKTRONIKA, VIEEA306 MOS áramkörök: CMOS áramkörök,

MIKROELEKTRONIKA, VIEEA306

Dinamikus állománymérési módszerek

Programmozás Feladatok Telek Miklós BME Híradástechnikai Tanszék

Automatika Az automatizálás célja gép, együttműködő gépcsoport, berendezés, eszköz, műszer, részegység minél kevesebb emberi beavatkozással történő, balesetmentes.

Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék 5.3. Predikciós módszerek szenzorjelek alapján BelAmI_H.

Hídtartókra ható szélerők meghatározása numerikus szimulációval Budapesti Műszaki és Gazdaságtudományi Egyetem Áramlástan Tanszék február.

Matematika oktatás mérnök és informatikai képzésekben Ráckeve, március Pannon Egyetem (Veszprémi Egyetem, 1949) Bölcsészettudományi Kar Gazdaságtudományi.

1 Matematika oktatás mérnök és műszaki informatikai képzésekben Ráckeve, március 2-4. Recski András, BME Számítástud. és Inf.elm. T. Budapesti Műszaki.

BPM alapú robosztus e-Business alkalmazás fejlesztés VE Számítástudomány Alkalmazása Tsz. BME Méréstechnika és Információs Rendszerek Tsz. Balatontourist.

1 Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék Szolgáltatásbiztonság IT rendszerekben Micskei Zoltán.

Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék Szondázás alapú diagnosztika 1. Autonóm és hibatűrő információs.

IT rendszerek modellezése

Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék Adatfolyam hálók Dr. Bartha Tamás, Dr. Pataricza András.

Automatizálási folyamatok az SQL 2012-ben

Budapest University of Technology and Economics Department of Measurement and Information Systems Monitor komponensek fejlesztése okostelefon platformra.

Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék Szondázás alapú diagnosztika 2. Autonóm és hibatűrő információs.

Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék Nyomkövetés alapú hibadetektálás Autonóm és Hibatűrő Inf.

Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék Rendszermodellezés Modellezési alapismeretek Pataricza András.

Logika szeminárium Előadó: Máté András docens Demonstrátorok:

Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék Megerősítő elemzés „Big Data” elemzési módszerek Salánki.

Automatika Az automatizálás célja gép, együttműködő gépcsoport, berendezés, eszköz, műszer, részegység minél kevesebb emberi beavatkozással történő, balesetmentes.

Valószínűségszámítás II.

Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék Korlátkielégítési problémák Autonóm és hibatűrő információs.

1 Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék P2P protokollok és autonóm számítástechnika: szemelvények.

Incremental change © 2013 Betyár Gábor Rendszerfejlesztés II. 3. Óra.

Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék R3-COP és R5-COP projekt: Környezetfüggő viselkedés tesztelése.

Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék R „Big Data” elemzési módszerek Kocsis Imre

Kiterjesztések szemantikája: Szemantikai tartomány : Adatoknak, vagy értékeknek egy nem üres halmazát szemantikai tartománynak nevezzük. Jelölése: D. Egy.

Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék Kvalitatív hibaterjedési analízis Autonóm és hibatűrő információs.

Budapesti Műszaki és Gazdaságtudományi Egyetem Elektronikus Eszközök Tanszéke Termikus hatások analóg integrált áramkörökben Esettanulmány:

1 Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék Szolgáltatásbiztonság IT rendszerekben Micskei Zoltán.

Szoftvermenedzsment A szoftver fogalma programmodulok rendszerdokumentáció konfigurációs adatok, és ezeket tároló fájlok felhasználói dokumentáció a szoftver.

Manhertz Gábor; Raj Levente Tanársegéd; Tanszéki mérnök Budapesti Műszaki és Gazdaságtudományi Egyetem Mechatronika, Optika és Gépészeti Informatika Tanszék.

Logika szeminárium Barwise-Etchemendy: Language, Proof and Logic

Kockázat és megbízhatóság

BME – PRO PROGRESSIO INNOVÁCIÓS DÍJ PÁLYÁZAT 2018.

Előadás másolata:

Hibaterjedés-analízis Error Propagation Analysis Hibaterjedés-analízis Segédfóliák az Autonóm és hibatűrő inf. rsz. tárgyhoz Kocsis Imre (ikocsis@mit.bme.hu) 2011.10.03.

Ismétlés Előző óra: formális definíciók Rendszermodellezés (véges) automatákkal Hibás mutációk (Bemeneti-kimeneti) hibák („error”) Figyelem: ez nem teljesen a szokásos error fogalmunk Szindrómák A. Pataricza: Systematic Generation of Dependability Cases from Functional Models, FORMS/FORMAT 2008

Hibaterjedés Függőségek Hibaterjedés: erőforráshasználat adatcsere erőforrás-állapot adat … vagy hiánya

Hibaterjedés függő komponensek között EPA: az eltérés data flow-szerű terjedését vizsgáljuk Eltérés a hibamentes rendszer viselkedéséhez képest Belső és külső hibákra is (Laprie et al.: Basic Concepts of and Taxonomy of Dep. And Secure Computing, 2004)

Önálló komponensek: hibaautomata Kapcsolatok: protokoll-automata saját abc-vel Kompozit-automata: referencia + egy adott mutáció Adathiba: referenciarendszer viselkedésétől eltérés Ill. hipotézise Klasszifikáció: „mérnöki tapasztalat” A végeredmény egy errorokat olvasó és író automata! ( / mutáció) Inputs and outputs: behavior v0, v0, v3, v2, v0, … reference v1, v0, v4, v2, v0, … actual E1, E0, E2, E0, E0, …

Dinamikus vizsgálatok korlátai Állapottér-kezelés problémái precíz modellezés kompozit rendszerek lásd modellellenőrzés (Formális módszerek) Modellezési problémák "fekete doboz" rendszerek Sebesség - valósidejű diagnosztika?

Temporális absztrakció a hibaautomatán E1, E0, E2, E2, E0, … Rendszerfutás: hibák sorozatai a kapcsolatokon „no error” error Lehetséges hiba-futások halmazának particionálása: szindrómák Időbeli absztrakció Példa: vegyük a legsúlyosabbat ( „súlyossági” reláció!) Végeredmény: „táblázat” (reláció) a bemeneti/kimeneti szindrómákon (+ belső hibamód) „Overabstraction”: kútfőből építkezve a táblázat akár „hamis” sorokat is tartalmazhat… S5

Mi is az a Model Checking? NuSMV, de lehetne SAL, SPIN, … Nézzünk egy példát… Mi is az a Model Checking? NuSMV, de lehetne SAL, SPIN, … Az „igazi” modellellenőrzők jellemzően nem publikusak

LTL

Hibaterjedés statikus leírása Informálisan: dinamika elhagyása Állapot-absztrakció komponensek belső hibamódja Absztrakció az adatfolyamon térbeli: kvalitatív hibamódok időbeli: hiba-futás klasszifikálása mellékhatás: ütemezés, szinkronitás elvesztése

Elemtípus-szintű hibaterjedés statikus leírása Reláció bemeneti szindróma-változók kimeneti szindróma-változók (belső) hibaállapot Topológia dinamikus struktúrák modellezése? Valódi pesszimista túlabsztrahálás „pessimistic overabstraction” szemantika

Hibaterjedés statikus analízise Kihívások mérnöki modellezés kvalitatív hibamódok között teljes rendezés? Szindróma-készletek kompozicionalitása leképezés matematikai analízisre analízis-megoldás illesztése nyílt rendszertervezési és rendszermenedzsment eszközökhöz metamodellezés