"Euroopa Komisjoni programm" projekt 644905
644905 (644905) "IMMORTAL – Integrated Modelling, Fault Management, Verification and Reliable Design Environment for Cyber-Physical Systems (1.03.2015−28.02.2018)", Artur Jutman, Testonica Lab OÜ, Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutitehnika instituut.
644905
644905
IMMORTAL – Integrated Modelling, Fault Management, Verification and Reliable Design Environment for Cyber-Physical Systems
IMMORTAL – Integrated Modelling, Fault Management, Verification and Reliable Design Environment for Cyber-Physical Systems
IMMORTAL
1.03.2015
28.02.2018
Teadus- ja arendusprojekt
Euroopa Komisjoni programm
ETIS klassifikaatorAlamvaldkondCERCS klassifikaatorFrascati Manual’i klassifikaatorProtsent
4. Loodusteadused ja tehnika4.8. Elektrotehnika ja elektroonikaT171 Mikroelektroonika 2.2 Elektrotehnika, elektroonika, infotehnika100,0
AsutusRollPeriood
Testonica Lab OÜpartner01.03.2015−28.02.2018
Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutitehnika instituutkoordinaator01.03.2015−28.02.2018
PerioodSumma
01.03.2015−28.02.2018305 512,50 EUR
305 512,50 EUR
3 996 652,50 EUR

Projekti IMMORTAL (ingl. k. surematu) teemaks on küber-füüsikalised süsteemid. Need on arvutisüsteemid, mis koosnevad küber-osast, ehk omavahel tihedalt koos töötavatest riist- ja tarkvara komponentidest ning sensoritest, mida vaadeldakse füüsikalises keskkonnas. Näitena sellistest süsteemidest võib tuua lennukid, autod, kosmoselaevad, elektrijaamad, kuid ka erinevad nutikate seadmete võrgud. Koostöös IBM-i, TTÜ spinn-off ettevõtte Testonica Lab OÜ, Hollandi firmaga Recore ja mitmete välisülikoolidega on plaanis luua uudseid lahendusi rikete ärahoidmiseks tuleviku küber-füüsikalistes süsteemides. Projekti tulemusi on kavas rakendada Saksa kosmosekeskuse DLR poolt välja töötatavas uues satelliidis. Projektis IMMORTAL on plaanis kiireks rikete halduseks luua uudsed arvutiarhitektuurid, mis võimaldavad satelliidil rikked koheselt lokaliseerida ning nendega iseseisvalt toime tulla. Seega kaob vajadus operaatori sekkumiseks ning satelliit saab oma normaalse tööga ilma viivitusteta jätkata. Projekti alguskuupäev on 1. märts 2015 ja kestus kolm aastat. Euroopa Liidu toetus IMMORTALile on 4 miljonit eurot. Tegemist on esimese Eesti poolt juhitava IT-valdkonna projektiga, mis on värskes Euroopa raamprogrammis Horizon 2020 osutunud edukaks. Projekti koordinaatoriks on TTÜ Arvutitehnika instituudi professor Jaan Raik.
In IMMORTAL, a consortium of leading European academic and industrial players aim at combining their expertise in developing an integrated, cross-layer modeling based tool framework for fault management, verification and reliable design of dependable Cyber-Physical Systems (CPS). Recently, the world has seen emerging CPS modeling frameworks addressing various design aspects such as control, security, verification and validation. However, there have been no considerations for reliability and automated debug aspects of verification. The main aim is to fill this gap by introducing reliable design and automated system debug into CPS modeling. To reach this aim, the project will develop a cross-layer CPS model spanning device (analogue and digital), circuit, network architecture, firmware and software layers. In addition, a holistic fault model for fundamentally different error sources in CPSs (design bugs, wear-out and environmental effects) in a uniform manner will be proposed. Moreover, IMMORTAL plans to develop fault management infrastructure on top of the reliable design framework that would allow ultrafast fault detection, isolation and recovery in the emerging many-core based CPS networked architectures that are expected to be increasingly adopted in the coming years. As a result, the project will enable development of dependable CPSs with improved reliability and extended effective lifetime, aging and process variations. In line with the expected impacts of the Call, the project will have a significant impact in development time as well as maintenance costs of dependable cyber-physical systems. The tool framework to be developed will be evaluated on a clearly specified real-world use-case of a satellite on-board computer. However, since the results are more general and applicable to many application domains, including avionics, automotive and telecommunication, demonstration of the framework tools will be applied to CPS examples from other domains as well.
http://h2020-immortal.eu/