CISTER Researcher Cláudio Maia attended the final evaluation meeting for the KhronoSim project. In this meeting two evaluators assessed the project in terms of achieved objectives and results. After careful evaluation and discussion, the project was deemed a success as all the objectives for the project were achieved, resulting in the development of two demonstrators for the KhronoSim test platform: an automotive instrument cluster and a satellite.

In the project, among other tasks, the CISTER team was responsible for studying the state of the art of emulation for multicore systems and integrating the KhronoSim test platform with the selected emulator. The emulator selected for the project was QEMU, one of the most versatile emulators currently available in the market, on top of which CISTER developed the KhronoSim QEMU Module that allows one to instance, manage and control, via the KhronoSim platform, several QEMU instances.

On the 11th of June, CISTER Researchers David Pereira and Giann Nandi have participated in a progress meeting of REASSURE, that took place in the premises of the Department of Informatics of University of Minho.
The meeting, which counted also with the participation of REASSURE’s team members José Bacelar Almeida and Jorge Sousa Pinto from HASLab/ INESC TEC, had the purpose of analyzing the results obtained by both teams in this first year of REASSURE, and to plan the next steps for the second year of activities of the project, notably in what concerns the design of Domain Specific Languages and Cyber-Security Support in the design of runtime monitoring architectures.

Particular focus on the work developed by Giann, under his PhD studies, on the formal verification of WSN protocols using the ProVerif Tool, which is the core result described in the paper entitled “Security in Wireless Sensor Networks: A formal verification of protocols” that has been recently accepted in this year’s edition of INDIN 2019 – 17th IEEE International Conference on Industrial Informatics.

Last 20th of May, at the ENSEEIHT in Toulouse, CISTER Vice-Director Luis Almeida participated in the HDR examination (Habilitation à Diriger de Recherche) of Luca Santinelli, a well-known member of the real-time systems community, based at ONERA, working essentially on probabilistic methods for the estimation of the worst-case execution and response times.
The examination focused on the research path of the candidate and his research perspectives for the future.
Beyond Luis Almeida, the examination committee included Alan Burns U.York,UK; Isabelle Puaut, U.Rennes, FR; Laurent George, ECE, FR; Yves Sorel, INRIA, FR; Joel Goossens, ULB, BE and Christian Fraboul, U.Toulouse, FR.