Töökindlate Arvutisüsteemide Uurimise Keskus
Centre for Dependable Computing

Mitme asutuse teadlasi ühendav TTÜ Küberneetika Instituudi koordineeritav Töökindlate Arvutisüsteemide Uurimise Keskus (Centre for Dependable Computing, CDC) on üks kümnest Haridus- ja Teadusministeeriumi teaduse tippkeskusest (centres of excellence in research) (vt. täisnimekirja). CDCle omistati teaduse tippkeskuse tiitel haridusministri käskkirjaga nr. 1202 5.11.2002. a. ning see pidi kehtima 2006. a. lõpuni. Haridus- ja teadusministri käskkirjaga nr. 427 23.5.2006. a. pikendati seda 2007. a lõpuni.

• Üldist / General
• Finantseerimine / Financing
• Uurimisrühmad / Research groups:
  • Matemaatilised alused ja programmeerimiskeelte tehnoloogia / Mathematical foundations and programming language technology
  • Formaalsed meetodid tarkvaratehnikas / Formal methods in software engineering
  • Infoturve / Information security
  • Digitaalsüsteemide disain ja testimine / Digital systems design and test
• Osalus europrojektides / Participation in European projects

• Sündmusi / Events

• Kontaktinfo / Contact information

CDC projekt lõppes 31.12.2007. Uuele tippkeskuste konkursile a-teks 2008-15 esitasid uurimisrühmad täiendatud koosseisudes kaks taotlust, mis mõlemad pälvisid rahastamise. Seda asjaolu võib lugeda väga ehedaks tunnusmärgiks CDC projekti edukusest.

Arvutiteaduse tippkeskus (EXCS) lisab senistele arvutiteaduse teemadele bioinformaatika ja inimkeeletehnoloogia. Integreeritud elektroonikasüsteemide ja biomeditsiinitehnika keskus (CEBE) täiendab CDC arvutitehnika osa elektroonika ja biomeditsiinitehnikaga.