Focuses on techniques and tools for formal modelling, analysis, and verification of real-time, adaptive, autonomous, cloud-based, and 5G-based systems. In particular, we focus on the formal syntax and semantics of component-based, service-oriented, and cloud-based models with extra-functional requirements with respect to timing and resource usage.
Currently, most embedded systems must function in a distributed setting, communicating with other systems, often unknown at the time of their creation, over networks or other communication channels. In this context, systematic techniques for managing complexity and for ensuring critical system properties during design become a necessity. Formal modeling and analysis techniques, by their very nature, can play a significant role in this regard.
One of the main targets of the Formal Modeling and Analysis of Embedded Systems research group is to develop rigorous/formal frameworks (theory and tools) for designing and verifying embedded systems, be they resource-constrained real-time systems, ambient assisted living or autonomous cyber-physical systems (e.g., autonomous heavy vehicles, drones etc.), as well as to provide mathematical means of predicting and assuring their behaviors at early stages of system development. In addition, we enhance the formal analysis frameworks with testing capabilities against functional, timing, and energy-usage requirements, which rely on similar techniques as verification (e.g. model checking), yet set the premises for testing code.
Latest research includes:
Automating Test Generation of Industrial Control Software through a PLC-to-Python Translation Framework and Pynguin (Feb 2024) Mikael Ebrahimi Salari, Eduard Paul Enoiu, Cristina Seceleanu, Wasif Afzal 30th Asia-Pacific Software Engineering Conference (APSEC2023)
Guess and then Check: Safety and Security Guaranteed Construction of Cyber-Physical Systems (Jan 2024) Rong Gu, Zahra Moezkarimi, Marjan Sirjani
SmartDelta project: Automated quality assurance and optimization across product versions and variants (Nov 2023) Mehrdad Saadatmand , Muhammad Abbas, Eduard Paul Enoiu, Bernd-Holger Schlingloff , Wasif Afzal, Benedikt Dornauer , Michael Felderer Microprocessors and Microsystems (MICPRO)
Understanding Problem Solving in Software Testing: An Exploration of Tester Routines and Behavior (Sep 2023) Eduard Paul Enoiu, Gregory Gay , Jameel Esber , Robert Feldt IFIP-ICTSS 35th International Conference on Testing Software and Systems (ICTSS 2023)
Test Generation and Mutation Analysis of Energy Consumption using UPPAAL SMC and MATS (Aug 2023) Jonatan Larsson , Eduard Paul Enoiu The 7th International Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems (ITEQS 2023)
VeriDevOps Software Methodology: Security Verification and Validation for DevOps Practices (Jul 2023) Eduard Paul Enoiu, Dragos Truscan , Andrey Sadovykh , Wissam Mallouli The 18th International Conference on Availability, Reliability and Security (ARES 2023) (ARES 2023)