Research in real-time dependable systems and risk assessment
My objective is to contribute to the techniques, tools and computing platforms that will make it possible to build provably safe systems in a time and cost efficient manner, with applications to:
- Automotive and aerospace embedded systems: generative design & timing and dependability verification
- Risk assessment: quantify risks using probabilistic models built from historical data
12/2018: Phd positions in the design of automotive electrical and electronic architectures in partnership with a leading automotive OEM. Applicants with a M.S. degree in CS, EE or applied mathematics are invited to submit CV, research statement (describing research experience if any) and a letter of motivation.Candidates selected for the second round will have to provide 2 letters of reference.
Highlights / Selected work
- A selection of recent works:
- N. Navet, T.L. Mai, J. Migge, "Using Machine Learning to Speed Up the Design Space Exploration of Ethernet TSN networks", Technical Report, University of Luxembourg, 2019.
- J. Seyler, T. Streichert, M. Glaß, N. Navet, J. Teich, "Formal Analysis of the Startup Delay of SOME/IP Service Discovery", Design, Automation and Test in Europe (DATE2015), Grenoble, France, March 13-15, 2015.
- N. Navet, L. Fejoz, L. Havet, S. Altmeyer, “Lean Model-Driven Development through Model-Interpretation: the CPAL design ﬂow”, Embedded Real-Time Software and Systems (ERTS 2016), Toulouse, France, January 27-29, 2016.
- A. Monot, N. Navet, B. Bavoux, F. Simonot-Lion, "Multi-source software on multicore automotive ECUs - Combining runnable sequencing with task scheduling", IEEE Transactions on Industrial Electronics, 2012.
- Communication networks for dependable systems:
- Timing QoS protocols on top of Ethernet TSN (slides)
- Scheduling frames with offsets provides a major performance boost on CAN (slides)
- Configuration of FlexRay networks (slides)
- Fine Tuning MAC Level Protocols for Optimized Real-Time QoS
- Optimal configuration of TDMA / TTP/C networks - (slides)
- Probabilistic analysis of CAN fault-confinement mechanisms
- Patents on communication networks: FR2976432 - FR2976434 - FR2976435.
- Low-power scheduling:
- Financial engineering