Kernel-based ARchitecture for safetY-critical cONtrol (Karyon)

Forskningsprojekt, 2011 – 2014

The use of autonomous mobile systems as unmanned aerial vehicles (UAVs) or smart cars are desirable for example for environmental surveillance like the monitoring of ash clouds emitted by volcano eruptions as seen in 2010. Also increasing traffic throughput by improving vehicle density in roads by smart cars co-ordinating their behaviours without driver involvement will be a means to maintain mobility without the need to build new traffic infrastructures. Sharing the same air- or ground space these systems need to communicate and cooperate with other systems in their environment. However, so far, these systems are not allowed to operate in the public air space or on public roads because the risk of causing severe damage cannot be excluded with sufficient certainty. KARYON addresses the problem of finding robust cruising strategies for vehicles. They are based on information from other vehicles, an estimation of the global system state, and how confident one is about this estimation. KARYON will define a system architecture that is based on a small local safety kernel that will prevent dangerous behaviour. Because this is a very small subsystem compared to the overall complex control system, its predictability can be justified. This is essential for guaranteeing overall safety along a set of safety rules. KARYON will further investigate the relevant fault detection concepts, particularly for the sensor systems, needed to show fulfilment of dependability attributes and argue about safety according to safety standards. Simulation and mixed reality techniques will be developed to validate the approach. KARYON will integrate concepts in advanced event dissemination middleware and in improved simulation and fault-injection tools for assessing the behaviour of autonomous, mobile systems under failure conditions. The project will implement proof-of-concept prototypes and a simulation-based demonstration of the results for scenarios from the automotive and avionics areas, respectively. Project results will be exploited by two large scale companies in the aeronautics domain (GMV and EMBRAER) in a multi Billion EURO market and by one SME in the automotive market. It is expected that their respective position in the world wide competition will be strengthened by the project and a high return on their investment is envisaged. Academic partners will stay at the forefront of world wide research with the knowledge and prestige gained in the project. Also safety standards in the car industry will benefit and by that citizens in Europe will profit from safer mobility.

Deltagare

Samarbetspartners

Finansiering

Relaterade styrkeområden och infrastruktur

Transport

Styrkeområden

Publikationer

On the Trade-Off Between Accuracy and Delay in Cooperative UWB Localization: Performance Bounds and Scaling Laws

On reliability analysis of leader election protocols for virtual traffic lights

Self-stabilizing TDMA Algorithms for Wireless Ad-Hoc Networks without External Reference

Self-Stabilizing TDMA Algorithms for Dynamic Wireless Ad Hoc Networks

Mer information

Projektets webbplats

http://www.karyon-project.eu/

Projektet på Chalmers webb

http://www.chalmers.se/safer/EN/projects/p...

Senast uppdaterat