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

Framework: FP7 — Cooperation
Programme: Information and Communication Technologies
Destination: Alternative Paths to Components and Systems
Action type: Collaborative project
Countries involved: Portugal,Germany,Sweden,Brazil,Italy
Call:  (FP7-ICT-2011-7, 2011)
Start date: 2011-10-01
End date: 2014-12-31
Duration (months): 39.0
Total project cost (EUR): 3727387.0
EU funding (EUR): 2739958.0
Participants: 7
Project status: CLOSED

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.

Keywords: safe control,safety,dependable estimation/prediction,cooperating objects,smart environments,architectures,middleware,simulation,embedded systems,uas safety,automotive safety