Prof. Dr. Nicolas Navet
|
|
||||
| Fakultät oder Zentrum | Fakultät für Naturwissenschaften, Technologie und Medizin | ||||
| Department | Fachbereich Informatik | ||||
| Postadresse |
Université du Luxembourg Maison du Nombre 6, Avenue de la Fonte L-4364 Esch-sur-Alzette |
||||
| Büroadresse | MNO, E03 0315-120 | ||||
|
|||||
| Telefon | (+352) 46 66 44 5273 | ||||
Nicolas NAVET is a professor at the University of Luxembourg since May 2012, head of of the Department of Computer Science since February 2023, formerly deputy head from July 2020. He was the course director of the Bachelor of Engineering in Computer Science (BINFO) from January 2013 to September 2017. Formerly, from 1995 to 2012, he was with INRIA in France, as doctoral candidate, researcher then head of a research team in the field of real-time embedded systems.
His research interests include real-time embedded systems, communication protocols, design space exploration and more generally how to further automate and improve the design of Electrical/Electronic (E/E) architectures. Since the mid-1990s, he has worked on many projects with OEMs and suppliers in the automotive and aerospace domains. Most of his publications and recent presentations are available for download on this page. He chaired several international conferences and served in the program committee of 150+ conferences, workshop and journal boards.
He created in 2007 RealTime-at-Work, a company specialized in Electrical and Electronic (E/E) architecture design tools that help build provably safe and optimized critical embedded systems for cars, planes, helicopters, orbital launchers, power grids and industrial systems.
He has a B.S. in Computer Science from the Technical University of Berlin (1993) and a PhD in Computer Science from the Institut National Polytechnique de Lorraine (1999).
Last updated on: Freitag, den 21. April 2023
2023
Time-Predictable Ethernet Communication in Automotive: What are the Challenges?;
Scientific Conference (2023, March 22)
Multi-objective optimization for safety-related available E/E architectures scoping highly automated driving vehicles; ;
in ACM Transactions on Design Automation of Electronic Systems (2023), 28(3), 37
2022
Signal-Oriented ECUs in a Centralized Service-Oriented Architecture: Scalability of the Layered Software Architecture; ; ;
Scientific Conference (2022, June 01)
Approximating WCRT through the aggregation of short simulations with different initial conditions: application to TSN;
in 30th International Conference on Real-Time Networks and Systems (RTNS ’22) (2022, June)
2021
Deep Learning to Predict the Feasibility of Priority-Based Ethernet Network Configurations;
in ACM Transactions on Cyber-Physical Systems (2021), 5(4), 126
Improvements to Deep-Learning-based Feasibility Prediction of Switched Ethernet Network Configurations;
in The 29th International Conference on Real-Time Networks and Systems (RTNS2021) (2021, April 07)
Do We Really Need TSN in Next-Generation Helicopters? Insights From a Case-Study; ; ;
in 2021 AIAA/IEEE 40th Digital Avionics Systems Conference (DASC) (2021, October)
2020
Towards Computer-Aided, Iterative TSN-and Ethernet-based E/E Architecture Design; ; ;
Scientific Conference (2020, September 16)
Automated Fault Tolerance Augmentation in Model-Driven Engineering for CPS; ; ;
in Computer Standards and Interfaces (2020), 70
Early-stage Bottleneck Identification and Removal in TSN Networks; ;
Scientific Conference (2020, February 12)
2019
Event Notification in CAN-based Sensor Networks; ; ; ; ;
in IEEE Transactions on Industrial Informatics (2019), 15(10), 5613-5625
A Hybrid Machine Learning and Schedulability Method for the Verification of TSN Networks; ;
in 15th IEEE International Workshop on Factory Communication Systems (WFCS2019) (2019, March)
On the use of supervised machine learning for assessing schedulability: application to Ethernet TSN; ;
in 27th International Conference on Real-Time Networks and Systems (RTNS 2019) (2019)
Early-stage topological and technological choices for TSN-based communication architectures; ;
Scientific Conference (2019, September 24)
2018
Towards the Systematic Analysis of Non-Functional Properties in Model-Based Engineering for Real-Time Embedded Systems; ;
in Science of Computer Programming (2018), 156
Simulation-Based Fault Injection as a Verification Oracle for the Engineering of Time-Triggered Ethernet networks; ; ;
in Proc. Embedded Real-Time Software and Systems (ERTS 2018) (2018, February 02)
Insights on the Performance and Configuration of AVB and TSN in Automotive Ethernet Networks; ; ;
in Proc. Embedded Real-Time Software and Systems (ERTS 2018) (2018, February 02)
A journey into time-triggered communication protocols with a focus on Ethernet TSNPresentation (2018, June 11)
Insights into the performance and configuration of TCP in Automotive Ethernet Networks;
Scientific Conference (2018, October 10)
Pre-shaping Bursty Transmissions under IEEE802.1Q as a Simple and Efficient QoS Mechanism; ; ;
in Proc. WCX World Congress Experience (2018, April)
Pre-shaping Bursty Transmissions under IEEE802.1Q as a Simple and Efficient QoS Mechanism; ; ;
in SAE International Journal of Passenger Cars - Electronic and Electrical Systems (2018), 11(3), 197-204
A Model-Driven Co-Design Framework for Fusing Control and Scheduling Viewpoints; ; ;
in Sensors (2018), 18(2), 628
2017
Heterogeneous models and analyses in the design of real-time embedded systems - an avionic case-study; ;
in 25th International Conference on Real-Time Networks and Systems, Grenoble 4-6 October 2017 (2017, October)
Model-based design languages: A case study; ;
in 2017 IEEE 13th International Workshop on Factory Communication Systems (WFCS) (2017)
Towards Seamless Integration of N-Version Programming in Model-Based Design; ;
in 22nd IEEE International Conference on Emerging Technologies And Factory Automation (ETFA’2017), Limassol, Cyprus, September 12-15 2017 (2017)
Software patterns for fault injection in CPS engineering; ;
in 2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) (2017)
Insights on the performance and configuration of AVB and TSN in automotive applications; ; ;
Scientific Conference (2017, November 01)
2016
Towards a declarative modeling and execution framework for real-time systems;
in ACM SIGBED Review (2016), 13(2), 30-33
Performance impact of the interactions between time -triggered and rate-constrained transmissions in TTEthernet; ; ;
Scientific Conference (2016, January 27)
Development of a safe CPS component: the hybrid parachute, a remote termination add-on improving safety of UAS; ; ;
Scientific Conference (2016, January 28)
Demo: Applications of the CPAL language to model, simulate and program Cyber-Physical Systems; ; ;
Poster (2016, April 12)
Regime switching model for financial data: empirical risk analysis; ; ; ;
in Physica A. Statistical Mechanics and its Applications (2016), 461
The use of simulation in the design of critical embedded systemsScientific Conference (2016, June 09)
CPAL: High-Level Abstractions for Safe Embedded Systems;
in DSM 2016: Proceedings of the International Workshop on Domain-Specific Modeling (2016)
Lean Model-Driven Development through Model-Interpretation: the CPAL design flow; ; ;
Scientific Conference (2016, January 27)
Timing verification of realtime automotive Ethernet networks: what can we expect from simulation?; ;
Scientific Conference (2016, January 28)
Model Interpretation for an AUTOSAR compliant Engine Control Function; ;
in 7th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS) (2016, July 05)
Poster Abstract: An Optimizing Framework for Real-Time Scheduling; ;
in Proceedings of 22nd IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2016) (2016, April 12)
Connected Motorized Riders - A Smart Mobility System to Connect Two and Three-wheelers; ;
in Proceedings of 6th Intentional Symposium on Embedded computing & system Design (ISED 2016) (2016, December 15)
A Model-Based Development Environment for Rapid-Prototyping of Latency-Sensitive Automotive Control Software; ; ;
in Proceedings of 6th Intentional Symposium on Embedded computing & system Design (ISED 2016) (2016, December 15)
2015
Using CPAL to model and validate the timing behaviour of embedded systems; ;
in 6th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS) (2015, July 07)
A Contract-Based approach to support Goal-Driven Analysis; ;
in Proceedings of the IEEE 18th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC) (2015, April)
Timing verification of real-time automotive Ethernet networks: what can we expect from simulation?; ;
Scientific Conference (2015, May 23)
Insights on the Configuration and Performances of SOME/IP Service Discovery; ;
in SAE International Journal of Passenger Cars - Electronic and Electrical Systems (2015), 8(1), 124-129
Formal Analysis of the Startup Delay of SOME/IP Service Discovery; ; ; ;
in Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition (2015)
2014
Integrating end-system frame scheduling for more accurate AFDX timing analysis; ; ; ;
Scientific Conference (2014, February 07)
Timing verification of automotive communication architectures using quantile estimation; ; ; ;
Scientific Conference (2014, March 07)
2013
Combining static priority and weighted round-robin like packet scheduling in AFDX for incremental certification and mixed-criticality support; ; ; ;
in Proceedings of the 5th European Conference for Aeronautics and Space Sciences (EUCASS) (2013, July 01)
Refinement of AADL models using early-stage analysis methods; ;
in Proceedings of the 4th Analytic Virtual Integration of Cyber-Physical Systems Workshop (2013, November)
Verification of automotive networks - what to expect (and not expect) from each techniqueScientific Conference (2013, December 09)
