Inbyggda system

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.


No partial template found

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 MDU: 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 MDU: Kristina Lundqvist

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 MDU: Olga Hendel

Huvudfinansiering: European Commission Horizon 2020