Event logging is a key source of information on a system state. Reading logs provides
insights on its activity, assess its correct state and allows to diagnose problems. However …

Despite the amount of proposed works for the verification of embedded systems,
understanding the root cause of violations of requirements in simulation or execution traces …

Modern systems are growing in complexity beyond deep comprehension of developers.
Increasing difficulties of kee** software projects on schedule and increasing recall rates …

The spread of computing-systems, especially the realtime embedded ones, is rapidly
growing in the last years, since they find usage in numerous fields of application, including …

Hardware platforms of embedded systems are more powerful at each new generation thank
to the integration of System-on-Chip (SoC). Develo** streaming multimedia applications …

This thesis presents MuSADET, an anomaly detection framework targeting timing anomalies
found in event traces from real-time embedded systems. The method leverages stationary …

Over the years, digital technology has grown considerably. With this growth, the information
systems' security has increasingly become a major concern. In this paper, we propose an …

This thesis presents MuSADET, an anomaly detection framework targeting timing anomalies
found in event traces from real-time embedded systems. The method leverages stationary …

Microcontrollers (MCUs) for the Internet-of-Things (IoT) are powerful and versatile computing
platforms, which may be hard to program correctly and efficiently; power performance is …

This thesis focuses on the development of embedded software on microcontrollers. The
increasing complexity of these circuits makes the development more challenging. Many …