See veebileht kasutab küpsiseid kasutaja sessiooni andmete hoidmiseks. Veebilehe kasutamisega nõustute ETISe kasutustingimustega. Loe rohkem
Olen nõus
"Muu" projekt Lep9007
Lep9007 "Tehnoloogia arenduskeskus ELIKO projekt 2.2 Sardsüsteemide test, verifitseerimine ja silumine (1.09.2008−30.06.2009)", Jaan Raik, Tallinna Tehnikaülikool, Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutitehnika instituut, Arvutisüsteemide diagnostika ja verifitseerimise õppetool .
Lep9007
Tehnoloogia arenduskeskus ELIKO projekt 2.2 Sardsüsteemide test, verifitseerimine ja silumine
Technology Development Centre ELIKO project 2.2 Embedded systems test, verification and debug
Tehnoloogia arenduskeskus ELIKO projekt 2.2 Sardsüsteemide test, verifitseerimine ja silumine
1.09.2008
30.06.2009
Teadus- ja arendusprojekt
Muu
ValdkondAlamvaldkondCERCS erialaFrascati Manual’i erialaProtsent
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)100,0
AsutusRiikTüüp
Tehnoloogia arenduskeskus ELIKO/Competence Centre in Electronics-, Info- and Communication Technologies
PerioodSumma
01.09.2008−30.06.2009133 000,00 EEK (8 500,25 EUR)
8 500,25 EUR
siseriiklik leping

Projekti sisuks on programsete abivahendite ja metodoloogia loomine sardsüsteemide testiks, verifitseerimiseks ja diagnostikaks. Realiseeritakse väidetel (ingl. k.assertions) põhinevad vahendid verifitseerimiseks ja silumiseks. Samuti plaanitakse luua avatud arhitektuuriga testriplatvorm sard-trükkplaadisüsteemide masstootmiseks. Lisaks on kavas välja töötada XML-põhine testinformatsiooni edastamise süsteem. Projekti innovatiivsus seisneb uudse kõrgtaseme otsustusdiagrammide mudeli rakendamises. Nimetatud mudel on osutunud äärmiselt edukaks simuleerimise ja diagnoosi puhul. Samuti uuritakse projekti käigus analoogskeemide testimist närvivõrkude abil ja XML-põhist testide integreerimist.
The main objective of the project is to develop innovative software and hardware solutions for embedded systems test, verification and debug. In particular, new assertion-based verification and debug tools will be implemented. An additional goal is to create a low-cost open architecture tester platform applicable to mass production of embedded system boards. Moreover, an XML-based test development and deployment system will be created as a result of the project. The scientific novelty of the verification methods used in the project lies in adopting a new decision diagram representation, called High-Level Decision Diagrams (HLDD). HLDDs have proven to be a very efficient model for simulation and diagnosis since they provide for a fast simulation by graph traversal and for easy identification of cause-effect relationships that are useful in debug and diagnosis. In addition, neural network based testing of analog systems and XML-modeling and test integration of system cores will be applied.
TegevusProtsent
Rakendusuuring100,0