Text

Formell modellering och analys av inbyggda system

Fokus är på formell modellering, analys och verifieringstekniker för inbyggda system i realtid,
speciellt formell syntax och semantik för komponentbaserade och serviceinriktade modeller med extrafunktionella egenskaper såsom tid eller resurser.

Kontaktperson

Universitetslektor

Cristina Seceleanu

+4621151764

cristina.seceleanu@mdh.se

Pågående forskningsprojekt

In this joint project, we aim at decreasing the power consumption and computation load of the current image processing platform by employing the concept of computation reuse.


Projektansvarig: Masoud Daneshtalab

Huvudfinansiering: STINT - The Swedish Foundation for International Cooperation in Research and Higher Education


Projektansvarig: Eduard Paul Enoiu

Huvudfinansiering: KK-stiftelsen