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 vid MDH: Masoud Daneshtalab

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


Projektansvarig vid MDH: Eduard Paul Enoiu

Huvudfinansiering: KK-stiftelsen