The KARYON project: Predictable and safe coordination in cooperative vehicular systems

Abstract

KARYON, a kernel-based architecture for safety-critical control, is a European project that proposes a new perspective to improve performance of smart vehicle coordination. 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. One of the main challenges is to ensure high performance levels of vehicular functionality in the presence of uncertainties and failures. This paper describes some of the steps being taken in KARYON to address this challenge, from the definition of a suitable architectural pattern to the development of proof-of-concept prototypes intended to show the applicability of the KARYON solutions. The project proposes a safety architecture that exploits the concept of architectural hybridization to define systems in which a small local safety kernel can be built for guaranteeing functional safety along a set of safety rules. KARYON is also developing a fault model and fault semantics for distributed, continuous-valued sensor systems, which allows abstracting specific sensor faults and facilitates the definition of safety rules in terms of quality of perception. Solutions for improved communication predictability are proposed, ranging from network inaccessibility control at lower communication levels to protocols for assessment of cooperation state at the process level. KARYON contributions include improved simulation and fault-injection tools for evaluating safety assurance according to the ISO 26262 safety standard. The results will be assessed using selected use cases in the automotive and avionic domains.

Towards Safe and Secure Autonomous and Cooperative Vehicle Ecosystems

“…The generic architecture uses architectural hybridization, separating components that execute baseline functionality in a predictable and certified way, like a safety kernel, from the generic payload components, which albeit supporting more powerful and versatile functionality, might be affected by run-time faults and uncertainties [16]. The system is guaranteed to switch from cooperative to baseline functionality when data validity is insufficient.…”

A kernel-based architecture for safe cooperative vehicular functions

“…In [6] we provided an overview of the overall work being developed in the KARYON project, where we included a brief description of the architectural concept. The safety kernel internal architecture was previously detailed in [7].…”

A Survey on Fault Tolerance Techniques for Wireless Vehicular Networks

“…Jonsson et al [6] Matthiesen et al [7] Kumar et al [8] Bohm et al [9] Cambruzzi et al [10] Eze et al [11] Savic et al [12] Abrougui et al [13] Ali et al [14] Sawade et al [15] Chang et al [16] Nguyen et al [17] Lann et al [18] Sanderson et al [19] Aljeri et al [20] Casimiro et al [21] Worral et al [22] Ploeg et al [23] Table 1. Cont.…”

“…In [21], Casimiro et al develop a kernel-based architecture (KARYON) for safety-critical coordination in vehicular systems. Besides dealing with sensor faults and real-time properties of the wireless communications (e.g., self-stabilizing protocol), the proposed architecture also introduces extra components to the standard MAC layer.…”