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

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.

Participants

Elad Schiller (contact)

Docent vid Chalmers, Computer Science and Engineering (Chalmers), Networks and Systems (Chalmers)

Collaborations

Embraer

Sao Jose Dos Campos, Brazil

Fundacao da Faculdade de Ciencias da Universidade de Lisboa

Lisboa, Portugal

GMVIS Skysoft

Lisboa, Portugal

Otto von Guericke Universitaet Magdeburg

Magdeburg, Germany

Sistemi Sicuri e Sostenibili (4S)

Torino, Italy

SP Technical Research Institute of Sweden

Boras, Sweden

University of Lisbon

Lisboa, Portugal

Funding

European Commission (FP7)

Funding Chalmers participation during 2011–2014

Related Areas of Advance and Infrastructure

Transport

Areas of Advance

Publications

More information

Project Web Page at Chalmers

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

Latest update

2015-09-08