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
Highlights / Selected work
- A selection of recent works:
- 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 for automotive applications
- 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