See veebileht kasutab küpsiseid kasutaja sessiooni andmete hoidmiseks. Veebilehe kasutamisega nõustute ETISe kasutustingimustega. Loe rohkem
Olen nõus
"Muu" projekt VFP15002
VFP15002 "EL Horizon 2020 uurimisprojekt IMMORTAL (1.03.2015−28.02.2018)", Jaan Raik, Tallinna Tehnikaülikool, Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutitehnika instituut, Arvutisüsteemide diagnostika ja verifitseerimise õppetool .
VFP15002
EL Horizon 2020 uurimisprojekt IMMORTAL
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
1.03.2015
28.02.2018
Teadus- ja arendusprojekt
Muu
välisleping, HORIZON2020
ETIS klassifikaatorAlamvaldkondCERCS klassifikaatorFrascati Manual’i klassifikaatorProtsent
4. Loodusteadused ja tehnika4.8. Elektrotehnika ja elektroonikaT171 Mikroelektroonika 2.2. Elektroenergeetika, elektroonika (elektroenergeetika, elektroonika, sidetehnika, arvutitehnika ja teised seotud teadused)100,0
AsutusRiikTüüp
Euroopa Komisjon
PerioodSumma
01.03.2015−28.02.2018377 750,00 EUR
377 750,00 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.
KirjeldusProtsent
Alusuuring50,0
Rakendusuuring50,0
www.h2020-immortal.eu