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

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

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