Guillermo Rodriguez-Navas, Senior Lecturer (not working at IDT anymore)

E-mail:
guillermo.rodriguez-navas@mdh.se
Room:
U1-069a
Phone:
021 101 356
Division:
Division of Networked and Embedded Systems
Research groups:
Formal Modelling and Analysis of Embedded Systems
Real-Time Systems Design


Guillermo Rodriguez-Navas is a Senior Lecturer of the Embedded Systems division of IDT. Previously, he worked as researcher and lecturer for the University of the Balearic Islands, in Spain.

His speciality is the study of the dependability and safety aspects of complex embedded systems, with strong emphasis on the application of formal verification techniques for the analysis of such systems. He also has wide experience in fault tolerance for distributed embedded systems and fieldbus communication, including fault-tolerant clock synchronization for real-time systems.

He is currently member of the Formal Modelling and Analysis of Embedded Systems (FMAES) and maintains an active collaboration with the Systems, Robotics and Vision research group of the University of the Balearic Islands, Spain.

He obtained the title of Telecommunications Engineer (Msc) by the University of Vigo, Spain, in 2001 and a PhD degree in Computer Science by the University of the Balearic Islands (UIB), Spain, in 2010. He is also a certified teacher of yoga IYENGAR® since 2010.

My current research interests lay on the application of formal verification techniques to requirements engineering and system specification in the areas of automotive and transportation. I am leading the project SaDIES, in collaboration with Bombardier AB and Volvo Construction Equipment, which aims at developing a method for safe insertion of dynamic binary instrumentation in embedded systems. I also participate in the project VeriSpec, in collaboration with Volvo Group Truck Technology and Scania SV, which aims at introducing state-of-the-art formal verification tools into the current development process of these companies. I am also part of the project RetNet, in which I collaborate with TTTech (Austria) developing a novel framework for efficient scheduling of real-time traffic over TTEthernet.

In the last years, I have developed a growing interest in the sustainability aspects of the technology we are designing and building (distributed embedded systems), since they have significant social, economical, political and environmental impact. This has not become part of my research yet, but I would love to find collaborations around these topics.

PhD students supervised as assistant supervisor:

Francisco Pozo (former)
Nesredin Mahmud (former)
Predrag Filipovikj (former)