Text

Forskningsprojektarkiv

Avslutade forskningsprojekt för forskargruppen Formell modellering och analys av inbyggda system (7)

Forskningsprojekt

Projektansvarig vid MDH: Cristina Seceleanu


Forskargrupp: Programvarutestlaboratorium, Formell modellering och analys av inbyggda system


Huvudfinansiering: The Swedish Research Council


In this project, the overall goal is to develop models and methods for adequacy-based testing of extra-functional properties in embedded systems.

Forskningsprojekt

Projektansvarig vid MDH: Cristina Seceleanu


Forskargrupp: Medicinsk teknik, Datakommunikation, Formell modellering och analys av inbyggda system


Huvudfinansiering: Vinnova, EU


CAMI builds upon and move beyond the current state of the art of technologies to support rich human-computer interaction, intelligent context management, environment perception and reactive behavior.

Forskningsprojekt

Projektansvarig vid MDH: Dag Nyström


Forskargrupp: Formell modellering och analys av inbyggda system


Huvudfinansiering: KK-stiftelsen


CAMI builds upon and move beyond the current state of the art of technologies to support rich human-computer interaction, intelligent context management, environment perception and reactive behavior.

Forskningsprojekt

Projektansvarig vid MDH: Cristina Seceleanu


Forskargrupp: Formell modellering och analys av inbyggda system, Programvarutestlaboratorium


Huvudfinansiering: Artemis


MBAT will provide Europe with a new leading-edge Reference Technology Platform for effective and cost-reducing validation and verification, focussing primarily on transportation domain, but also to be used in further domains.

Forskningsprojekt

Projektansvarig vid MDH: Ivica Crnkovic


Forskargrupp: Formell modellering och analys av inbyggda system, Industriell programvaruteknik


Huvudfinansiering: EU


The Q-ImPrESS project is set to run for three years and aims to bring service orientation to critical application domains, such as industrial production control, telecommunication and critical enterprise applications, where guaranteed end-to-end quality of service is particularly important.

Forskningsprojekt

Projektansvarig vid MDH: Mats Björkman


Forskargrupp: Artificiell intelligens och intelligenta system, Datakommunikation, Design av realtidssystem, Formell modellering och analys av inbyggda system, realtid-systemdesign, Tillförlitlig programvaruteknik, sysstemdesign_realtid


Huvudfinansiering: Vinnova


V-trustEE

Forskningsprojekt

Projektansvarig vid MDH: Cristina Seceleanu


Forskargrupp: Formell modellering och analys av inbyggda system, Design av realtidssystem


Huvudfinansiering: Vinnova


The need for more advanced formal methodologies for design, development and verification of embedded systems has been identified by both industry and academia.

1