KARYON: Kernel-Based ARchitecture for safetY-critical cONtrol

From Navigators

Jump to: navigation, search


The key objective of KARYON is to provide system solutions for predictable and safe coordination of smart vehicles that autonomously cooperate and interact in an open and inherently uncertain environment. This is a challenging objective since the same increasingly complex control components and wireless communication, which would allow improving performance, end up introducing new safety risks, which have to be mitigated or neutralized. Addressing this challenge requires innovative solutions in two major problem areas. The first one is to achieve a high availability of the complex control system investigating new ways of achieving fault-tolerant distributed control that allow maintaining a high performance level in the presence of uncertainties and failures. The second is the provision of a safety kernel to constraining system operation in order to avoid hazardous situations.


  • Eric Vial, António Casimiro, “Evaluation of Safety Rules in a Safety Kernel-Based Architecture”, in Proceedings of the Workshop on Architecting Safety in Collaborative Mobile Systems (ASCoMS), SAFECOMP 2014 Workshops, A. Bondavalli et al., Eds., ser. LNCS. Florence, Italy: Springer International Publishing, Sept. 2014, pp. 27–35.

  • Pedro Nóbrega da Costa, João Pedro Craveiro, António Casimiro, José Rufino, “Safety Kernel for Cooperative Sensor-Based Systems”, in Safecomp 2013 Workshop on Architecting Safety in Collaborative Mobile Systems (ASCoMS), Toulouse, France, Sept. 2013.


Navigators - KARYON project
Personal tools
Navigators toolbox