Home // Research // FSTM // DCS // Research Groups // Critical Real-Time Embedded Systems

Critical Real-Time Embedded Systems

Research Objectives

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).

Ongoing Research Projects

Model Based Design for Real Time Multicore Embedded Platforms in Industrial Motion Control System

Time frame: Feb. 15, 2019 - April 30, 2021
Funding sources: External Organisation Funding
Participants: HU, Tingting (Principal Investigator), NAVET, Nicolas (Supervisor / Scientific Advisor)

Description:

The research activity focuses on the redesign of the firmware architecture of the existing Robox-designed R execution environment. The innovative aspects of the project are the use of a model-based design language (MBD) from the early design stages and support of multi-core processors. The MBD will not be used as …

2021

2020

2019

2018

2017

2016

2015

2014

2013