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.

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:

1 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

2 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

3 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

4 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

5 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

6 Budapesti Műszaki Egyetem Méréstechnika és Információs Rendszerek Tanszék 6 Tervezés munkamenete Automatikus

7 Budapesti Műszaki Egyetem Méréstechnika és Információs Rendszerek Tanszék 7 Kutatási cél

8 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 ?

9 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 …

10 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

11 Budapesti Műszaki Egyetem Méréstechnika és Információs Rendszerek Tanszék 11 A munkamenet UML modellSzolgáltatásbiztonság Matematikai modell

12 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

13 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)

14 Budapesti Műszaki Egyetem Méréstechnika és Információs Rendszerek Tanszék 14 Minta modell: utazási iroda

15 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

16 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

17 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)?

18 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)…

19 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

20 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

21 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

22 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

23 Budapesti Műszaki Egyetem Méréstechnika és Információs Rendszerek Tanszék 23 Új kihívás: adat- és rendszerbiztonság

24 Budapesti Műszaki Egyetem Méréstechnika és Információs Rendszerek Tanszék 24 Elosztott rendszerek katasztrófa-elhárítása

25 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

26 Budapesti Műszaki Egyetem Méréstechnika és Információs Rendszerek Tanszék 26 Biometrikus digitális aláírás

27 Budapesti Műszaki Egyetem Méréstechnika és Információs Rendszerek Tanszék 27 Intelligens komponensek integrációja

28 Budapesti Műszaki Egyetem Méréstechnika és Információs Rendszerek Tanszék 28 Intelligencia integrációja

29 Budapesti Műszaki Egyetem Méréstechnika és Információs Rendszerek Tanszék 29 Az igéret