Budowa centrum wbudowanych systemów badawczych w Estonii
System wbudowany to system komputerowy o określonej funkcji w obrębie większego systemu. Główną jego cechą jest to, że system poświęcony jest wykonywaniu określonego zadania. Tego typu systemy można spotkać w wielu produktach, od smartfonów po sterowniki przemysłowe. Początkowo zespół finansowanego ze środków UE projektu CREDES ("Centre of research excellence in dependable embedded systems") przystąpił do usprawniania wymiany specjalistycznej wiedzy i doświadczenia w dziedzinie systemów wbudowanych poprzez podjęcie współpracy z partnerami strategicznymi. Opracowano także kilka nowych cyfrowych systemów weryfikacji, łącznie z metodą wysokopoziomowej próby niesprawdzalności w odniesieniu do hierarchicznie niesprawdzalnej analizy typu stuck-at fault nieskanowalnych obwodów sekwencyjnych. Stworzono także metodę do mapowania aplikacji w warunkach rzeczywistych ograniczeń, a wykonalność podejścia została potwierdzona. Badania wykonalności i efektywności nowych metod przeprowadzono na obwodach przemysłowych stworzonych w Centrum Zintegrowanych Systemów Elektronicznych i Inżynierii Biomedycznej (CEBE) przy TTÜ. Badania doświadczalne pozwoliły zespołowi określić, jak testowalność konstrukcji wpływa na efektywność i dokładność testowania i diagnostykę usterek. Inne doświadczenia przeprowadzone w ramach projektu CREDES ukazały wykonalność różnych rozwiązań w zakresie programowania, testowania i weryfikacji. Udało się osiągnąć znaczącą poprawę prędkości, w porównaniu do istniejących zaawansowanych rozwiązań przemysłowych. W trakcie realizacji projektu, zespół CREDES poparł zatrudnienie 11 młodych naukowców i ośmiu badaczy ze stopniem doktorskim. Naukowcy wykazali się aktywnością w proponowaniu nowych wspólnych projektów i z powodzeniem zabezpieczyli środki finansowe. Uniwersytet zaoferował katedrę w dziedzinie systemów wbudowanych profesorowi Thomasowi Hollsteinowi, który wcześniej obejmował stanowisko na Uniwersytecie Technicznym w Darmstadt.