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.
Kontaktperson
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