Kernel-based ARchitecture for safetY-critical cONtrol (Karyon)
Research Project, 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.
Participants
Elad Schiller (contact)
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
SP Sveriges Tekniska Forskningsinstitut AB
Borås, Sweden
Sistemi Sicuri e Sostenibili (4S)
Torino, Italy
University of Lisbon
Lisboa, Portugal
Funding
European Commission (EC)
Project ID: EC/FP7/288195
Funding Chalmers participation during 2011–2014
Related Areas of Advance and Infrastructure
Transport
Areas of Advance