A Hibatűrő Rendszerek Kutatócsoport EU kutatási projektekjei

Átírás

1 Budapesti Műszaki és Gazdaságtudományi Egyetem A EU kutatási projektekjei

2 Európai partnereink

3 RESIST BME (HU) City U. (UK) TU Darmstadt (DE) Deep Blue Srl (IT) France Telecom R&D (FR) IBM Research GmbH (CH) Institut Eurecom (FR) IRISA (FR) IRIT (FR) LAAS-CNRS (FR) Lisbon U. (PT) Newcastle U. (UK) Pisa U. (IT) Qinetiq (UK) Roma U. La Sapienza (IT) Ulm U. (DE) Vytautas Magnus U. (LT)

4 RESIST Euro-tanterv, oktatás, közös doktoranduszképzés hallgató és kutatócsere

5 DECOS Dependable Embedded Components and Systems Megbízható, integrált beágyazott rendszerek Célterület: Autóipar Repülőgép-ipar Ipari folyamatszabályozás

6 Célkitűzések: DECOS Modell-alapú fejlesztés Formális ellenőrzés Ipari partnerek: AUDI, Airbus, EADS, Infineon, Fiat, Szerepünk: Modellalapú tervezési módszerek Domén-specifikus modellezés Tervezői eszközök megvalósítása

7 DECOS

8 HIDENETS Partnerek: Highly Dependable IP-based Networks and Services Fujitsu-Siemens Telenor Carmeq GmbH Twente Institute Aalborg University LAAS-CRNS University of Lisboa Universitá di Firenze

9 HIDENETS Végponttól végpontig terjedő megbízható megoldás tervezése Elosztott alkalmazások Mobil környezet Tipikus alkalmazás: car2car környezet Szerepünk: Tervezési metodika Tesztelési módszerek Ad hoc tartomány Infrastruktúra tartomány

10 DESEREC Dependable Security by Enhanced Reconfigurability Célkitűzés: Ellenálló és öngyógyító IT infrastruktúra Formálisan megalapozott rekonfigurációs mechanizmusok Analízis, modellezés, tervezés és verifikáció Alapkoncepció: Újrakonfigurálás különböző időskálákon Hibák és támadások hasonlósága Ipari partnerek: Thales, EADS, AEM Torino, Intracom, Trusted Logic,

11 DESEREC Szerepünk: Matematikai, integrált modellezés Infrastruktúra, Incidensek Menedzsment Incidensek hatásterjedési analízise Rekonfigurációs tranziensek analízise Modellfeldolgozás és modellkonszolidáció VIATRA2 modelltranszformációs keretrendszer

12 DIANA Distributed, Equipment Independent Environment for Advanced Avionic Applications Célkitűzés: Virtuális számítógépek biztonságos és hibatűrő elosztása és üzemeltetése a légiközlekedésben Ipari partnerek: Skysoft, Dassault, Dalenia, Thales Avionics, Aonix, Szerepünk: Módszerek a rendszer modellvezérelt tervezéséhez Verifikációs technikák megvalósítása Tanúsítás támogatása

13 SENSORIA Software Engineering in Service-Oriented Overlay Computers Szolgáltatás-orientált rendszerek Üzleti (banki) alkalmazások Mobil alkalmazások Global computer Erőforrások: hálózati rendszerek szolgáltatásai Virtuális gép saját utasításkészlettel Szerepünk: Modell alapú fejlesztés és formális ellenőrzés Eszközintegráció

14 SENSORIA

15 SAFEDMI Célok: Safe Driver-Machine Interface for ERTMS Automatic Train Control Biztonságos vonatvezetői kezelőfelület az egységes európai vasúti hálózathoz Szoftver karbantartás rádiós hálózaton Ipari partner: Ansaldo Signal, Olaszország Szerepünk: Hibadetektálási módszerek kidolgozása Megbízhatósági és biztonsági analízis

16 SAFEDMI ERTMS TRAINBORNE SYSTEMS commercial field bus Vcc 1,2E-06 1,0E-06 EXCLUSION LOGIC SAFE DMI LCD lamp LCD DISPLAY Hazard rate 8,0E-07 6,0E-07 4,0E-07 2,0E-07 0,5 0,6 0,7 0,8 0,9 Speaker wireless interface Keyboard Control flow checking coverage

17 MOGENTES Célok: Model-Based Generation of Tests for Dependable Embedded Systems Modell alapú teszt generálás Tesztkészlet optimalizálás hibainjetálással Ipari partnerek: Ford, Thales Szerepünk: Eszközintegrációs keretrendszer kidolgozása Hibamodellezés

18 MOGENTES

19 Célok: AMBER Assessing, Measuring and Benchmarking Resilience A szolgáltatásbiztonság mérése és értékelése (kutatás koordinálás) Szolgáltatásbiztonsági adattárház kialakítása Szerepünk: Oktatási anyagok kidolgozása Adatelemzés adatbányászattal

20 AMBER

21 Célok: GENESYS Generic Embedded System Platform Általános rendszerarchitektúra és fejlesztési módszertan beágyazott alkalmazásokhoz Komponens integráció Szerepünk: Modell-alapú fejlesztési módszertan és eszközkészlet Formális ellenőrző módszerek integrálása

22 GENESYS