Text
Embedded Systems
Formal Modelling and Analysis of Embedded Systems
Focusing on formal modelling, analysis, and verification techniques for real-time embedded systems. In particular, formal syntax and semantics of componentbased and service oriented models with extra-functional properties such as time or resources.
Contact
Ongoing research projects
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.
Project manager at MDU: Cristina Seceleanu
Main financing: The Knowledge Foundation
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.
Project manager at MDU: Kristina Lundqvist
Main financing: The Knowledge Foundation
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.
Project manager at MDU: Olga Hendel
Main financing: European Commission Horizon 2020