Critical Real-Time Embedded Systems
Forschungsziele
The CRTES group headed by Professor Nicolas Navet studies how to build provably safe critical embedded systems in a time and cost efficient manner. The focus of this group is on software-intensive real-time systems having strong dependability constraints and a significant societal impact, such as transportation systems (road vehicles, aircrafts, etc) or production lines. The aim of this group is to contribute to the techniques, tools and computing platforms to develop provably safe and optimized Critical Real-Time Embedded Systems (CRTES).
Leiter
Research Scientist
Doktorand
Ricardo Gonzalez de Oliveira
Doktorand
Past Members
2022
- Approximating WCRT through the aggregation of short simulations with different initial conditions: application to TSN, Keller Patrick, Navet Nicolas. In: 30th International Conference on Real-Time Networks and Systems (RTNS ’22).
Conference Paper
- Towards a Unified and Robust Data-Driven Approach. A Digital Transformation of Production Plants in the Age of Industry 4.0, Benedick Paul-Lou, Jury: Le Traon Yves (Promotor), Robert Jérémy (Promotor), Navet Nicolas (President), Georges Jean-Philippe (Member), Muller Pierre-Alain (Member).
Thesis
2021
- Deep Learning to Predict the Feasibility of Priority-Based Ethernet Network Configurations, Mai Tieu Long, Navet Nicolas. In: ACM Transactions on Cyber-Physical Systems, Association for Computing Machinery.
- What You See is What it Means! Semantic Representation Learning of Code based on Visualization, Keller Patrick, Kabore Abdoul Kader, Plein Laura, Klein Jacques, Le Traon Yves, Bissyande Tegawendé François D Assise. In: ACM Transactions on Software Engineering and Methodology, Association for Computing Machinery (ACM).
Journal Article
- Do We Really Need TSN in Next-Generation Helicopters? Insights From a Case-Study, Mauclair Cédric, Gutiérrez Marina, Migge Jörn, Navet Nicolas. In: 2021 AIAA/IEEE 40th Digital Avionics Systems Conference (DASC), IEEE.
- Improvements to Deep-Learning-based Feasibility Prediction of Switched Ethernet Network Configurations, Mai Tieu Long, Navet Nicolas. In: The 29th International Conference on Real-Time Networks and Systems (RTNS2021).
- Virtual Verification of Cause-Effect Chains in Automotive Cyber-Physical Systems, Gonzalez de Oliveira Ricardo, Raghupatruni Indrasen, Hamman Arne, Henkel Achim. In: 21. Internationales Stuttgarter Symposium, Springer.
Conference Paper
- Enhancing Smart Grid Resilience and Reliability by Using and Combining Simulation and Optimization Methods, Antoniadis Nikolaos, Jury: Le Traon Yves (Promotor), Navet Nicolas (President), Barais Olivier (Member), Kubler Sylvain (Member), Cordy Maxime (Member).
Thesis
2020
- Real-Time Systems Development with RTEMS and Multicore Processors, Bloom Gedare, Sherrill Joel, Hu Tingting, Cibrario Bertolotti Ivan, CRC Press.
Book
- Automated Fault Tolerance Augmentation in Model-Driven Engineering for CPS, Hu Tingting, Cibrario Bertolotti Ivan, Navet Nicolas, Havet Lionel. In: Computer Standards and Interfaces, Elsevier.
Journal Article
2019
- Event Notification in CAN-based Sensor Networks, Bloom Gedare, Cena Gianluca, Cibrario Bertolotti Ivan, Hu Tingting, Navet Nicolas, Valenzano Adriano. In: IEEE Transactions on Industrial Informatics.
- On a Software-Defined CAN Controller for Embedded Systems, Cena Gianluca, Cibrario Bertolotti Ivan, Hu Tingting, Valenzano Adriano. In: Computer Standards and Interfaces, Elsevier.
Journal Article
- A Hybrid Machine Learning and Schedulability Method for the Verification of TSN Networks, Mai Tieu Long, Navet Nicolas, Migge Jörn. In: 15th IEEE International Workshop on Factory Communication Systems (WFCS2019), IEEE.
- On the use of supervised machine learning for assessing schedulability: application to Ethernet TSN, Mai Tieu Long, Navet Nicolas, Migge Jörn. In: 27th International Conference on Real-Time Networks and Systems (RTNS 2019).
Conference Paper
- CONFIDENCE-BASED DECISION-MAKING SUPPORT FOR MULTI-SENSOR SYSTEMS, Neyens Gilles, Jury: Zampunieris Denis (Promotor), van der Torre Leon (President), Waber Jens (Member), Cleve Anthony (Member), Navet Nicolas (Member).
- Timing-aware Model Based Design with Application to Automotive Embedded Systems, Sundharam Sakthivel Manikandan, Jury: Navet Nicolas (Promotor), Kelsen Pierre (President), Le Traon Yves (Member), Altmeyer Sebastian (Member), Grolleau Emmanuel (Member).
- TOWARDS A MODELLING FRAMEWORK WITH TEMPORAL AND UNCERTAIN DATA FOR ADAPTIVE SYSTEMS, Mouline Ludovic, Jury: Le Traon Yves (Promotor), Barais Olivier (Promotor), Navet Nicolas (President), Wimmer Manuel (Member), Collet Philippe (Member), Bourcier Johann (Member).
Thesis
2018
- A Model-Driven Co-Design Framework for Fusing Control and Scheduling Viewpoints, Sundharam Sakthivel Manikandan, Navet Nicolas, Altmeyer Sebastian, Havet Lionel. In: Sensors, Molecular Diversity Preservation International (MDPI).
- Pre-shaping Bursty Transmissions under IEEE802.1Q as a Simple and Efficient QoS Mechanism, Navet Nicolas, Migge Jörn, Villanueva Josetxo, Boyer Marc. In: SAE International Journal of Passenger Cars - Electronic and Electrical Systems, SAE || Society of Automotive Engineers.
- Towards the Systematic Analysis of Non-Functional Properties in Model-Based Engineering for Real-Time Embedded Systems, Brau Guillaume, Navet Nicolas, Hugues Jérôme. In: Science of Computer Programming, Elsevier Science.
Journal Article
- Error detection and management in CAN XR, Cena Gianluca, Cibrario Bertolotti Ivan, Hu Tingting, Valenzano Adriano. In: 2018 14th IEEE International Workshop on Factory Communication Systems (WFCS).
- Insights on the Performance and Configuration of AVB and TSN in Automotive Ethernet Networks, Migge Jörn, Villanueva Josetxo, Navet Nicolas, Boyer Marc. In: Proc. Embedded Real-Time Software and Systems (ERTS 2018).
- Pre-shaping Bursty Transmissions under IEEE802.1Q as a Simple and Efficient QoS Mechanism, Navet Nicolas, Migge Jörn, Villanueva Josetxo, Boyer Marc. In: Proc. WCX World Congress Experience, SAE.
- Simulation-Based Fault Injection as a Verification Oracle for the Engineering of Time-Triggered Ethernet networks, Fejoz Loïc, Regnier Bruno, Miramont Philippe, Navet Nicolas. In: Proc. Embedded Real-Time Software and Systems (ERTS 2018).
Conference Paper
2017
- CAN With eXtensible In-Frame Reply: Protocol Definition and Prototype Implementation, Cena Gianluca, Cibrario Bertolotti Ivan, Hu Tingting, Valenzano Adriano. In: IEEE Transactions on Industrial Informatics.
Journal Article
- A Low-Overhead Framework for Inexpensive Embedded Control Systems, Cibrario Bertolotti Ivan, Hu Tingting, Ghafour Zadeh Kashani Gilda. In: Proc. 12th International Conference on Digital Telecommunications (ICDT2017).
- Heterogeneous models and analyses in the design of real-time embedded systems - an avionic case-study, Brau Guillaume, Navet Nicolas, Hugues Jérôme. In: 25th International Conference on Real-Time Networks and Systems, Grenoble 4-6 October 2017, ACM.
- Model-based design languages: A case study, Cibrario Bertolotti Ivan, Hu Tingting, Navet Nicolas. In: 2017 IEEE 13th International Workshop on Factory Communication Systems (WFCS), IEEE.
- Optimized event notification in CAN through in-frame replies and Bloom filters, Bloom Gadare, Cena Gianluca, Cibrario Bertolotti Ivan, Hu Tingting, Valenzano Adriano. In: 2017 IEEE 13th International Workshop on Factory Communication Systems (WFCS), IEEE.
- Software patterns for fault injection in CPS engineering, Navet Nicolas, Cibrario Bertolotti Ivan, Hu Tingting. In: 2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), IEEE.
- Supporting Security Protocols on CAN-Based Networks, Bloom Gedare, Cena Gianlua, Cibrario Bertolotti Ivan, Hu Tingting, Valenzano Adriano. In: 2017 IEEE 18th International Conference on Industrial Technology (ICIT2017).
- Towards Seamless Integration of N-Version Programming in Model-Based Design, Hu Tingting, Cibrario Bertolotti Ivan, Navet Nicolas. In: 22nd IEEE International Conference on Emerging Technologies And Factory Automation (ETFA’2017), Limassol, Cyprus, September 12-15 2017, IEEE.
Conference Paper
- Integration of the analysis of non-functional properties in Model-Driven Engineering for embedded systems, Brau Guillaume, Jury: Navet Nicolas (Promotor), Hugues Jérôme (Promotor), Kelsen Pierre (President), de Saqui-Sannes Pierre (Member), Grolleau Emmanuel (Member), Singhoff Frank (Member).
- On the Use of Alloy in Engineering Domain Specific Modeling Languages, Gammaitoni Loïc, Jury: Kelsen Pierre (Promotor), Sorger Ulrich (President), Combemale Benoit (Member), Cuhna Alcino (Member), Navet Nicolas (Member).
Thesis
2016
- Regime switching model for financial data: empirical risk analysis, Khaled Salhi, Deaconu Madalina, Lejay Antoine, Champagnat Nicolas, Navet Nicolas. In: Physica A: Statistical Mechanics and its Applications, Elsevier Science.
- Towards a declarative modeling and execution framework for real-time systems, Altmeyer Sebastian, Navet Nicolas. In: ACM SIGBED Review.
Journal Article
- A Model-Based Development Environment for Rapid-Prototyping of Latency-Sensitive Automotive Control Software, Sundharam Sakthivel Manikandan, Havet Lionel, Altmeyer Sebastian, Navet Nicolas. In: Proceedings of 6th Intentional Symposium on Embedded computing & system Design (ISED 2016).
- Connected Motorized Riders - A Smart Mobility System to Connect Two and Three-wheelers, Sundharam Sakthivel Manikandan, Fejoz Loic, Navet Nicolas. In: Proceedings of 6th Intentional Symposium on Embedded computing & system Design (ISED 2016).
- CPAL: High-Level Abstractions for Safe Embedded Systems, Navet Nicolas, Fejoz Loïc. In: DSM 2016: Proceedings of the International Workshop on Domain-Specific Modeling, ACM.
- Model Interpretation for an AUTOSAR compliant Engine Control Function, Sundharam Sakthivel Manikandan, Altmeyer Sebastian, Navet Nicolas. In: 7th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS).
- Poster Abstract: An Optimizing Framework for Real-Time Scheduling, Sundharam Sakthivel Manikandan, Altmeyer Sebastian, Navet Nicolas. In: Proceedings of 22nd IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2016).
Conference Paper
- Enabling Model-Driven Live Analytics For Cyber-Physical Systems: The Case of Smart Grids, Hartmann Thomas, Jury: Le Traon Yves (Promotor), Navet Nicolas (President), Fouquet François (Member), Cabot Jordi (Member), Taïani François (Member), Klein Jacques (Member).
- Towards Ambient Intelligent Applications Using Models@run.time And Machine Learning For Context-Awareness, Moawad Assaad, Jury: Le Traon Yves (Promotor), Navet Nicolas (President), Fouquet François (Member), Rouvoy Romain (Member), Sahraoui Houari (Member).
Thesis
2015
- Insights on the Configuration and Performances of SOME/IP Service Discovery, Seyler Jan, Navet Nicolas, Fejoz Loïc. In: SAE International Journal of Passenger Cars- Electronic and Electrical Systems, SAE International.
Journal Article
- A Contract-Based approach to support Goal-Driven Analysis, Brau Guillaume, Hugues Jérôme, Navet Nicolas. In: Proceedings of the IEEE 18th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), IEEE.
- Formal Analysis of the Startup Delay of SOME/IP Service Discovery, Seyler Jan, Streichert Thilo, Glaß Michael, Navet Nicolas, Teich Jürgen. In: Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, EDA Consortium.
- Using CPAL to model and validate the timing behaviour of embedded systems, Altmeyer Sebastian, Navet Nicolas, Fejoz Loïc. In: 6th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS).
Conference Paper
- Supporting Stress Testing in Real-Time Systems with Constraint Programming, Di Alesio Stefano, Jury: Briand Lionel (Promotor), Nejati Shiva (Promotor), Gotlieb Arnaud (Promotor), Navet Nicolas (President), Régin Jean-Charles (Member), Gérard Sébastian (Member).
Thesis
2014
- Analysis as a first-class citizen: an application to Architecture Description Languages, Hugues Jérôme, Brau Guillaume. In: Proceedings of the IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), IEEE.
Conference Paper
2013
- Combining static priority and weighted round-robin like packet scheduling in AFDX for incremental certification and mixed-criticality support, Boyer Marc, Navet Nicolas, Fumey Marc, Migge Jörn, Havet Lionel. In: Proceedings of the 5th European Conference for Aeronautics and Space Sciences (EUCASS).
- Refinement of AADL models using early-stage analysis methods, Brau Guillaume, Hugues Jérôme, Navet Nicolas. In: Proceedings of the 4th Analytic Virtual Integration of Cyber-Physical Systems Workshop, Linköping University Electronic Press; Linköpings universitet.
