KARYON: Towards Safety Kernels for Cooperative Vehicular Systems
Paper in proceedings, 2012

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 focusing on Advanced Driver Assistance Systems (ADASs) and Unmanned Aerial Systems (UAS). The key objective 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. Currently, these systems are not allowed to operate on the public roads or in the air space, as the risk of causing severe damage cannot be excluded with sufficient certainty. The impact of the project is two-fold; it will provide improved vehicle density without driver involvement and increased traffic throughput to maintain mobility without a need to build new traffic infrastructures. The results will improve interaction in cooperation scenarios while preserving safety and assessing it according to standards. The prospective project results include self-stabilizing algorithms for vehicle coordination, communication and synchronization. In addition, we aim at showing that the safety kernel can be designed to be a self-stabilizing one.

Author

Antonio Casimiro

University of Lisbon

Jörg Kaiser

Otto von Guericke Universitaet Magdeburg

Johan Karlsson

Chalmers, Computer Science and Engineering (Chalmers), Networks and Systems (Chalmers)

Elad Schiller

Chalmers, Computer Science and Engineering (Chalmers), Networks and Systems (Chalmers)

Philippas Tsigas

Chalmers, Computer Science and Engineering (Chalmers), Networks and Systems (Chalmers)

Pedro Costa

Jose Parizi

Embraer - Empresa Brasileira de Aeroneutica SA

Rolf Johansson

Renato Librino

4S SRL

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

03029743 (ISSN) 16113349 (eISSN)

Vol. 7596 232-235

Areas of Advance

Transport

Subject Categories

Computer Science

DOI

10.1007/978-3-642-33536-5_22

ISBN

978-3-642-33535-8

More information

Latest update

9/6/2018 1