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. - ppt letölteni
Az előadások a következő témára: "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."— Előadás másolata:
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 András pataric@mit.bme.hu
Budapesti Műszaki Egyetem Méréstechnika és Információs Rendszerek Tanszék 2 A tervezési környezet: modell + integráció alapú rendszerépítés
Budapesti Műszaki Egyetem Méréstechnika és Információs Rendszerek Tanszék 3 Informatikai fejlesztési ciklus Folyamatmenedzsment Infrastruktúra illesztés Folyamatmodell MonitorAnalízis Optimalizálás Követelmények Létező komponensek Szolgáltatás
Budapesti Műszaki Egyetem Méréstechnika és Információs Rendszerek Tanszék Automatikus Klasszikus Szöveges specifikáció Implementáció Rajzos funkció modell Implementáció Rendszer- modell Grafikus programozás Programozás Modell vezérelt architektúra (MDA) Kódgenerálás Architektúra modell leképezés
Budapesti Műszaki Egyetem Méréstechnika és Információs Rendszerek Tanszék 5 Példa UML diagram: TV távirányító OnOff Standby Disconnected SoundImage Show Videotext SoundOn SoundOff txt sndmuteoutin off out on
Budapesti Műszaki Egyetem Méréstechnika és Információs Rendszerek Tanszék 6 Tervezés munkamenete Automatikus
Budapesti Műszaki Egyetem Méréstechnika és Információs Rendszerek Tanszék 7 Kutatási cél
Budapesti Műszaki Egyetem Méréstechnika és Információs Rendszerek Tanszék 8 Feladatok Szolgáltatásbiztonság: Mennyire bízhat meg a felhasználó igazolhatóan a rendszer szolgáltatásaiban ?
Budapesti Műszaki Egyetem Méréstechnika és Információs Rendszerek Tanszék 9 Extended models T Modell generálás Rendszer modell Extended models T Extended models Mutáció T Probléma specifikus metamodell Hibatípus Adatbiztonság HW SW …
Budapesti Műszaki Egyetem Méréstechnika és Információs Rendszerek Tanszék 10 Megközelítés UML alkalmazás modell Rendszer tervezése Matematikai modell Modell transzformáció Matematikai analízis Hiányosságok listája Analízis Terv módosítás
Budapesti Műszaki Egyetem Méréstechnika és Információs Rendszerek Tanszék 11 A munkamenet UML modellSzolgáltatásbiztonság Matematikai modell
Budapesti Műszaki Egyetem Méréstechnika és Információs Rendszerek Tanszék Dinamikus szekvenciák vizualizációja UML rendszer modell Implementáció IT rendszer tervezése Matematikai modell Automatikus modell generálás Analízis Matematikai analízis Eredmények Kódgenerálás UML korlátozások Problémaspecifikus kiterjesztések Transzformáció szemantika Helyesség- bizonyítás Modell redundancia Analízis hatékonyság Heurisztikák Transzformáció vissza- fordíthatóság Elméleti alapkérdések
Budapesti Műszaki Egyetem Méréstechnika és Információs Rendszerek Tanszék 13 Eclipse keretrendszer VIATRA 2.0 Modell transzformációs betét VPM Metamodellező mag A VIATRA2 transzformációs keretrendszer Modeling environment for the application designer Platform specific transformer plug-in Target file (Text) Source syntax Target syntax Source metamodel Xform. rules Target metamodel Forrás metamodel Transformer plug-in generator Source file (XML)
Budapesti Műszaki Egyetem Méréstechnika és Információs Rendszerek Tanszék 14 Minta modell: utazási iroda
Budapesti Műszaki Egyetem Méréstechnika és Információs Rendszerek Tanszék 15 Hibakövetés Hibás adat (gépelési hiba) Service failure
Budapesti Műszaki Egyetem Méréstechnika és Információs Rendszerek Tanszék 16 Optimization in the sample model – finding bottlenecks What happens at workload increase? The administrator is the bottleneck 100 orders / h  100 vouchers / h Performance reserves Slack variables
Budapesti Műszaki Egyetem Méréstechnika és Információs Rendszerek Tanszék 17 Sensitivity analysis What happens if parameters differ from those in the model? errors in the estimation evolution during operation What kind of resource to buy (human / machine)?
Budapesti Műszaki Egyetem Méréstechnika és Információs Rendszerek Tanszék 18 Optimization in the sample model –workload balancing Alternate service providers max(performance) max(performability) min(cost) min(risk)…
Budapesti Műszaki Egyetem Méréstechnika és Információs Rendszerek Tanszék 19 Költség és minőségbecslés Személyi Termék Projekt Platform COCOMO Skálafaktorok Becslés Ráfordítás (mérnökhónap) Hibák száma NagyonAlacsony Alacsony Nominális Magas NagyonMagas ExtraMagas
Budapesti Műszaki Egyetem Méréstechnika és Információs Rendszerek Tanszék 20 Költséganalízis MDAMDA MDAMDA Követelmény- analízis TervezésImplementáció Ráfordítás (mérnökhó) 100% 42% 11% 7% Formális analízis
Budapesti Műszaki Egyetem Méréstechnika és Információs Rendszerek Tanszék 21 Hiba- és –detektálási valószínűség MDAMDA MDAMDA Követelmény- analízis TervezésImplementáció P(Hiba)P(Hibaszökés) 57% 18% 11,5% 100% 0,30,070,3 0,070,3 0,070,3 0,07 0,03
Budapesti Műszaki Egyetem Méréstechnika és Információs Rendszerek Tanszék 22 Minőségjavulás 11 6 2.5 0.25
Budapesti Műszaki Egyetem Méréstechnika és Információs Rendszerek Tanszék 23 Új kihívás: adat- és rendszerbiztonság
Budapesti Műszaki Egyetem Méréstechnika és Információs Rendszerek Tanszék 24 Elosztott rendszerek katasztrófa-elhárítása
Budapesti Műszaki Egyetem Méréstechnika és Információs Rendszerek Tanszék 25 Mobil eszközök SSL E-mail www Symbian OS WTLS Digitális aláírás E-Pénztárca
Budapesti Műszaki Egyetem Méréstechnika és Információs Rendszerek Tanszék 26 Biometrikus digitális aláírás
Budapesti Műszaki Egyetem Méréstechnika és Információs Rendszerek Tanszék 27 Intelligens komponensek integrációja
Budapesti Műszaki Egyetem Méréstechnika és Információs Rendszerek Tanszék 28 Intelligencia integrációja
Budapesti Műszaki Egyetem Méréstechnika és Információs Rendszerek Tanszék 29 Az igéret
Letölteni ppt "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."
Hasonló előadás 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.