Créer un centre de recherche sur les systèmes embarqués en Estonie
Un système embarqué est un système informatique doté d'une fonction dédiée au sein d'un système plus grand; Une caractéristique importante est qu'un système est dédié à la gestion d'une tâche spécifique. On trouve ces systèmes dans une variété de produits, des smartphones (téléphones intelligents) aux commandes industrielles. Initialement, le projet CREDES («Centre of research excellence in dependable embedded systems») financé par l'UE a souhaité faciliter l'échange de savoir-faire et d'expérience dans les systèmes embarqués en associant des actions et des partenaires stratégiques. Plusieurs nouveaux systèmes de vérification numériques ont été développés dans le cadre de CREDES, dont une méthode pour la preuve de non-testabilité de haut niveau pour une analyse des fautes de type collé à un non testable hiérarchique des circuits séquentiels sans balayage. Une méthode pour la cartographie de l'application dans des conditions de contraintes en temps réel a aussi été développée et la faisabilité de l'approche a été approuvée. Des études sur la faisabilité et l'efficacité de certaines nouvelles méthodes ont été menées sur des circuits industriels développés au CEBE (Centre for Integrated Electronic Systems and Biomedical Engineering) au TTÜ. Des recherches expérimentales ont permis au projet de déterminer l'influence au niveau de la conception de la testabilité sur l'efficacité et la précision des tests et du diagnostic des défauts. D'autres expériences menées au titre de CREDES ont montré la faisabilité de plusieurs solutions de programmation, de tests et de vérification. Une amélioration importante au niveau de la vitesse a été atteinte par rapport aux solutions industrielles de pointe existantes. Pendant le projet, CREDES a soutenu l'embauche de 11 chercheurs en début de carrière et de 8 chercheurs post-doctorants. Les chercheurs ont également été très actifs dans la proposition de nouveaux projets de recherche conjoints et sont parvenus à garantir leur financement. Une nouvelle chaire a été créée à l'université pour les systèmes embarqués, avec à sa tête le professeur Thomas Hollstein, qui travaillait auparavant avec la TU Darmstadt.