Avslutade forskningsprojekt: Distribuerade realtidssystem

2021-2022 Under de senaste åren har Sverige sett en stor ökning av andelen mikroproducenter, privatpersoner som producerar el. Det innebär att fler installationer av lågspänningsgeneratorer och energiproduktionssystem, såsom solpaneler, bioelektrisk energi, vindkraft med mera har kopplats in till det traditionella elnätet.

2020-2021 Forskningsidén bakom projektet är att ta itu med utmaningen och att tillhandahålla tekniska lösningar för att förstå och förbättra CPS-baserad resiliens för kritisk infrastrukturskydd (CIP). Forskningen planeras för en framtida EU-finansierad projektansökan för att samarbeta med akademiska och industriella partner i EU.

DeeDS-arkitekturen är en distribuerad realtidssystemarkitektur utvecklad för komplexa realtidssystem av DeeDS-projektet.

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.

2010-2012 Det finns många informationskällor om den faktiska användningen av energi och elektricitet. Med automatisk mätning av elförbrukning som installeras i många länder finns det nu en rik informationskälla om en stor del av all använd energi.

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.

2018-2019 Nyskapande IoT-enheter används alltmer i stadsmiljöer där de skapar nya dataströmmar som kan utnyttjas för att leverera olika molnbaserade tjänster. Uppkopplade fordon och väginfrastrukturdata utnyttjas i det här projektet för att underlätta parkering och samtidigt minska problem med trafikstockningar. Den föreslagna SmartPark-algoritmen maximerar prognosen för tillgång till lämplig parkeringsplats, samtidigt som restiden till den valda parkeringsplatsen minimeras.

I projektet strävar vi efter att utvärdera och/eller utveckla metoder, verktyg och teorier som stöder rigorös testning av pålitliga och tidskritiska 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.