Mälardalens högskolas logotyp
Mälardalens Högskola Logga

Text

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

Senior Lecturer

Cristina Seceleanu

+4621151764

cristina.seceleanu@mdh.se

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

Main financing: The Knowledge Foundation

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.


Project manager at MDH: Cristina Seceleanu

Main financing: Celtic Plus

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 MDH: Gunnar Widforss

Main financing: European Commission Horizon 2020

To top