| teema: | Digitaalskeemide defekt-orienteeritud diagnostika |
|---|---|
| tunnusnumber: | ETF5649 |
| projekti tüüp: | Eesti Teadusfondi grant |
| erialad: |
2.9. Süsteemitehnika ja infotehnoloogia |
| seisund: | käimasolev |
| asutus: | TTÜ Infotehnoloogia teaduskond |
| projekti juht: | Raimund Ubar |
| kestus: | 01.01.2003 - 31.12.2006 |
| kirjeldus: | Töö eesmärgiks on töötada välja uusi meetodeid, algoritme ja tarkvara tööriistu defekt-orienteeritud testide genereerimiseks ja rikete simuleerimiseks. Põhiprobleemideks, mida töös on kavas uurida on: - füüsikaliste defektide diagnostiline modelleerimine ja kujutamine simuleerimise kõrgematel tasanditel, - defektide diagnostiline modellerimine juhtudel, kui defektist tingituna muutub skeemide klass, - defektide hierarhiline simuleerimine keerukates digitaalskeemides - defekt-orienteeritud testide genereerimine keerukates digitaalskeemides Projekti oodatavateks tulemusteks on: - uus Boole'i differentsiaalalgebral põhinev defektide analüüsimeetod skeemikomponentides, - meetod, mis võimaldab diagnostika eesmärgil kujutada transistorskeemide füüsikalisi defekte kõrgematel loogika- ja registersiirete tasanditel - uus meetod ja algoritmid defekt-orienteeritud rikete hierarhiliseks simuleerimiseks digitaalskeemides - uus meetod ja algoritmid defekt-orienteeritud rikete hierarhiliseks testide genereerimiseks digitaalskeemides - tarkvaratööriistade välja töötamine rikete hierarhiliseks simuleerimiseks digitaalskeemides, - tarkvaratööriistade välja töötamine hierarhiliseks testide genereerimiseks digitaalskeemides, - eksperimentide läbi viimine uute meetodite, algoritmide ja tarkvaratööriistade efektiivsuse kindlaks tegemiseks ja võrdlemiseks olemasolevate meetodite ja tööriistadega |
| projektiga seotud isikud | ||||
|---|---|---|---|---|
| nr | nimi | asutus | amet | |
| 1. | Marina Brik | Tallinna Tehnikaülikool | teadur | |
| 2. | Teet Evartson | Tallinna Tehnikaülikool | dotsent | |
| 3. | Eero Ivask | Tallinna Tehnikaülikool | teadur | |
| 4. | Priidu Paomets | Tallinna Tehnikaülikool | teadur | |
| 5. | Raimund Ubar | TTÜ Infotehnoloogia teaduskond | TTÜ professor | |