MIT nyitóoldal
Térkép

Projektek
   Futó
   Lezárt
   Összes

ACCUSE - Újrakonfigurálható egységek multiprocesszoros rendszerek tervezéséhez

Nemzetközi (egyéb) projekt
1997 - 1999

Tanszéki témavezető: Pataricza András
Hivatalos projektvezető: BME MIT FTSRG

Digitális rendszerek funkcionális és megbízhatósági validációjához különböző absztrakt matematikai modellek használhatók, pl. adatfolyam-gráfok, Petri-hálók, folyamat algebra, stb. Ezen modellező módszerek közös problémája az "állapot-elérés analizálás", például annak eldöntésére, hogy egy rendszer eljut-e egy nem stabil állapotba.

Ennek modellezése nagy bonyolultságú rendszereknél problémát jelent. Egy processzoros algoritmusok vagy nagyfokú (túl-) egyszerűsítést igényelnek, vagy pedig futási idejük túlságosan megnő összetett rendszerek esetén.

Annak ellenére, hogy a mai számítógépek számításteljesítménye jelentősen megnőtt, ugyanakkor ár/teljesítmény mutatójuk is ugrásszerűen javult, a hatalmas számítási kapacitás sem elég a legtöbb gyakorlati alkalmazásban.

A klasszikus megoldások nagy számításigény esetén a következő kategóriákba oszthatók:

  • Multiprocesszoros rendszerek
  • Co-processzorok (alkalmazás-függő célhardver egységek)
  • Gyorsítók (A probléma nagyobb részei FPGA-n kerülnek megvalósításra)

A fenti megoldások mind szóba jöhetnek digitális rendszerek modellezésénél ill. validálásánál, mivel a használt matematikai modellek egyszerű komponensekből (pl. átmeneti állapot, csomópont egy Petri hálóban) hierarchikusan épülnek fel.

A projekt keretén belül ezen technológiák vizsgálata a cél. Az eredmények összehasonlításra kerülnek az egy processzoros és több-processzoros rendszerekkel.

Partnerek:

  • Department of Computer Structures, University of Erlangen, Germany

További információk a projektről:
Hivatalos honlap: http://www.inf.mit.bme.hu/FTSRG/Projects/accuse99.html
Tanszéki honlap: http://www.mit.bme.hu/projects/accuse/
Hivatalos emailcím: pataric@mit.bme.hu