KARYON - Kernel-Based Architecture for Safety-Critical Control

Custo Total
Custo Total 3.727.388 €
Contribuição UE
Contribuição UE 2.739.958 €
Data de Início Projecto
Data de Início Projecto 01/10/2011
Coordenador Científico
Coordenador Científico António Casimiro (casim@di.fc.ul.pt) - Fundação da Faculdade de Ciências da Universidade de Lisboa
Duração 36 meses
Website do Projecto
Website do Projecto http://www.karyon-project.eu
There are many benefits in having autonomous and cooperative vehicles, for  example,  unmanned  aerial  vehicles  or  cooperative  smart  cars,  which could operate efficiently in stringent conditions, such as the monitoring of ash  clouds  emitted  by  volcanos  or  in  fast  and  dense  traffic.  However, existing approaches to system design did not provide sufficient guarantees that such vehicles could operate safely in public roads and air space. 
KARYON addressed the problem of finding robust operating strategies for vehicles, which dynamically adjust performance to ensure safety based on actual operational conditions.  Specifically,  the  vehicles  estimate  the confidence  on  the  information  they  collect  from  a  variety  of  sources, including other vehicles, and dependably adjust their behaviour based on that estimation. 
KARYON aimed at defining a system architecture based on a small local safety kernel that would prevent dangerous behaviour. Being a very small subsystem (compared to the overall complex control system),  its predictability can be justified, guaranteeing overall safety with respect to a set of safety rules.
Resultados do Projecto
Resultados do Projecto
The project provided the KARYON generic architecture, which allows system designers to build specific architectures that embody the KARYON approach and its benefits, namely achieving increased efficiency without jeopardizing safety, supported by the trusted local safety kernel. 
KARYON also defined an abstract sensor model to deal with sensor faults, which  provides  the validity  of  the  sensor  data  along  with  the  data.  This validity  information  is  then  considered by  the  safety  kernel  on  each vehicle, which dependably transitions the vehicle between different levels of  service  in  reaction  to  changing  conditions  and  faults  affecting  the sensor data and the quality of environmental perception. 
The  project  also  developed  innovative  mechanisms  to  enhance  the dependability and timeliness of wireless  communication, and respective middleware  and  test  tools.  Proof-of-concept  prototypes  (e.g.,  a  mixed-reality  UAV  simulator  and  real  miniature  cars)  were developed  and evaluated, validating the KARYON architecture and the general approach.
Otto-von-Guericke-Universitaet Magdeburg - Alemanha 
Chalmers Tekniska Hoegskola AB - Suécia 
Gmvis Skysoft SA - Portugal 
Embraer SA - Brasil 
SP Sveriges Tekniska Forskningsinstitut AB - Suécia 
4S-Sistemi Sicuri e Sostenibili SRL - 4S SRL - Itália