Research topics

Design of embedded systems

• Design Space Exploration: the Design Space Exploration (DSE) of an embedded system is the process of analyzing various functionally equivalent implementation alternatives to select an optimal solution. The most suitable design is commonly chosen based on metrics such as functionality, performance, safety, security, cost, power, reliability, and flexibility. Our environment for design space exploration is called DIPLODOCUS.


• Definition of semi-formal environment, based on Formal Description Techniques, and applied to the design of real-time systems, including System-On-Chip and communication protocols. This research work lead me to develop the free software TTool, which support both the DIPLODOCUS and AVATAR environments. More recently, SysML-Sec has been defined in order to take into account the security aspects of embedded systems, in particular security requirements, threats, and the proof of security properties from design diagrams.


• AI-based assistant for system design.


• Application to various kinds of embedded systems, e.g., automotive systems, drones (Drone4u project).

Analysis of embedded systems and smart objects

• Identification of Android malware with classification techniques: for that purpose, I have developed the free software Alligator
Alligator has also been successfully applied to the classification of images.