Nicolas Navet

2 Followers

I have been working since the mid-90s in the design and development of critical systems, i.e. systems with strong performance and safety constraints. My primary objective is to contribute to the techniques, tools and computing platforms that will make it possible to build provably safe embedded systems in a time and cost efficient manner. I have been involved in numerous projects with OEMs and suppliers in the automotive and aerospace domains, both as an academics and for the company RealTime-at-Work (RTaW) that I started in 2007. Interests and skills: - Real-time and dependable systems, communication protocols, scheduling, model-based design, probabilistic models from data. - Teac...

simulation model interpretation model-based design programming language timing predictability design space exploration scalable service-oriented middleware service discovery automotive ethernet some/ip sd statistics timing verification automotive networks controller area network

Activity
About

Nicolas Navet

Presentations

Lean Model-Driven Development through Model-Interpretation: the CPAL design flow

Insights on the configuration and performances of SOME/IP Service Discovery

Timing verification of automotive communication architectures using quantile estimation