Avslutade forskningsprojekt: Distribuerade realtidssystem

2013-2018 TOCSYC är en distribuerad forskningsmiljö som kombinerar fyra svenska forskargrupper inom programvarutestning för att ta kunskapen om testning av kritiska egenskaper hos komplexa inbyggda system till en högre nivå. De egenskaper som TOCSYC fokuserar på handlar om resursanvändning, robusthet och testbarhet.

2013-2016 Syftet med projektet är att bygga och utvärdera tekniker för att med hjälp av ordinära icke-störande sensorer i hemmet (till exempel elmätare och vattenmätare) på ett tidigt stadium kunna varna äldre för risken för att de har eller håller på att få problem, till exempel, att de har tecken som kan innebär att de har problem med sitt hjärta.

2013-2016 Modellbaserad utveckling används för att få förbättrad kvalitet och produktivitet hos programvara. Modeller av systemet tas fram på en plattformsoberoende nivå och transformeras senare till plattformsspecifika modeller med hjälp av en kompilator enligt samma principer som när källkod kompileras till assemblerkod.

2017-2020 Syfte med forskningsprojektet Elvira är att hjälpa beslutsfattare att förutse fel och deras kaskadeffekter genom att utveckla tidsbaserade modeller och analysmetoder för att modellera riskbedömning och motståndskraftindex hos elnät.