"Institutsionaalne uurimistoetus" projekt IUT19-1
IUT19-1 "Usaldusväärsed mitmetuumalised arvutisüsteemid (1.01.2014−31.12.2019)", Jaan Raik, Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutitehnika instituut, Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutisüsteemide instituut.
IUT19-1
Usaldusväärsed mitmetuumalised arvutisüsteemid
Dependable multi-core computing systems
1.01.2014
31.12.2019
Teadus- ja arendusprojekt
Institutsionaalne uurimistoetus
ValdkondAlamvaldkondCERCS erialaFrascati Manual’i erialaProtsent
4. Loodusteadused ja tehnika4.8. Elektrotehnika ja elektroonikaT170 Elektroonika 2.2. Elektroenergeetika, elektroonika (elektroenergeetika, elektroonika, sidetehnika, arvutitehnika ja teised seotud teadused)40,0
4. Loodusteadused ja tehnika4.6. ArvutiteadusedT120 Süsteemitehnoloogia, arvutitehnoloogia1.1. Matemaatika ja arvutiteadus (matemaatika ja teised sellega seotud teadused: arvutiteadus ja sellega seotud teadused (ainult tarkvaraarendus, riistvara arendus kuulub tehnikavaldkonda)30,0
4. Loodusteadused ja tehnika4.7. Info- ja kommunikatsioonitehnoloogiaT121 Signaalitöötlus 2.2. Elektroenergeetika, elektroonika (elektroenergeetika, elektroonika, sidetehnika, arvutitehnika ja teised seotud teadused)30,0
PerioodSumma
01.01.2014−31.12.2014262 000,00 EUR
01.01.2015−31.12.2015262 000,00 EUR
01.01.2016−31.12.2016262 000,00 EUR
01.01.2017−31.12.2017262 000,00 EUR
01.01.2018−31.12.2018262 000,00 EUR
01.01.2019−31.12.2019262 000,00 EUR
1 572 000,00 EUR

Arvutisüsteemid arenevad tohutu kiirusega ning on tänaseks levinud igasse eluvaldkonda. Samas takistavad füüsikaseaduste poolt seatud piirid tehnoloogia kiire arengu jätkumist. Seda juhul, kui ei rakendata uusi paradigmasid, mis põhineksid mitmetuumaliste arhitektuuride kasutuselevõtul ning kui ei lahendata süsteemide usaldatavusega seotud väljakutseid. Käesolev uurimisteema pakub nimetatud väljakutsete jaoks välja integreeritud lähenemise, ühendades eraldiseisvad uurimissuunad nagu mitmetuumaliste süsteemide projekteerimine, usaldatavuse tagamine, verifitseerimine ja testimine. Teema kaasab põhitäitjatena rahvusvaheliselt tunnustatud teadlased, kes omavad laialdast kogemust teadusprojektide läbiviimisel ning teema tulemusena töötatakse välja ühtlustatud lahendus usaldatavate mitmetuumaliste süsteemide teadusprobleemidele.Lõpptulemusena luuakse skaleeruvad meetodid keerukate, tuhandetest protsessortuumadest koosnevate süsteemide sünteesiks, verifitseerimiseks ja testimiseks.
Computing systems have developed at a tremendous pace and have penetrated all areas of our society. However, the laws of physics are setting a limit for further development of the computing systems technology, unless paradigms based on multi-core architectures are adopted and issues related to systems dependability are solved. The current Theme offers an integrated approach to these challenges by combining the separate research fields of multi-core design, reliability, verification and test. The Theme includes internationally acknowledged Principal Investigators and a research team with a high level of experience in running national and international research projects and it provides a coherent solution for the scientific problems of dependable multi-core computing systems. As a result, scalable methods for synthesis, mixed-criticality application scheduling, verification and test for large systems consisting of thousands of processor cores will be developed.