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

The overall goal of ACICS is to provide models, methods and tools that facilitate a substantial increase of dependability of cloud-based platforms for ICPS applications, with respect to consistency, security and interoperability of data, timing predictability of using shared virtual resources, together with a framework of guaranteeing QoS enforcement by formal analysis and verification.


Projektansvarig vid MDH: Cristina Seceleanu

Huvudfinansiering: KK-stiftelsen

The ultimate goal of the DPAC profile is to establish a nationally leading and internationally renowned research centre that facilitate close cooperation between academia and industry to achieve a significant increase in research and available knowhow on advanced dependable platforms for embedded systems.


Projektansvarig vid MDH: Kristina Lundqvist

Huvudfinansiering: KK-stiftelsen

The aim of this project is to identify novel use cases of eHealth that take advantage of 5G capabilities, study and develop 5G enablers for the use cases, develop and validate actual eHealth solutions in real environments and real 5G test networks, and disseminate and exploit the results.


Projektansvarig vid MDH: Cristina Seceleanu

Huvudfinansiering: Celtic Plus


Projektansvarig vid MDH: Eduard Paul Enoiu

Huvudfinansiering: KK-stiftelsen

VeriDevOps is about fast, flexible system engineering that efficiently integrates development, delivery, and operations, thus aiming at quality deliveries with short cycle time to address ever evolving challenges.


Projektansvarig vid MDH: Gunnar Widforss

Huvudfinansiering: European Commission Horizon 2020