“Brief Announcement: KARYON: Towards Safety Kernels for Cooperative Vehicular Systems”

From Navigators

(Difference between revisions)
Jump to: navigation, search
(Created page with "{{Publication |type=incollection |document=Document for Publication-Casimiro2012SSS.pdf |title=Brief Announcement: KARYON: Towards Safety Kernels for Cooperative Vehicular System...")
Line 4: Line 4:
|title=Brief Announcement: KARYON: Towards Safety Kernels for Cooperative Vehicular Systems
|title=Brief Announcement: KARYON: Towards Safety Kernels for Cooperative Vehicular Systems
|author=António Casimiro, Jörg Kaiser, Johan Karlsson, Elad M. Schiller, Philippas Tsigas, Pedro Costa, José Parizi, Rolf Johansson, Renato Librino
|author=António Casimiro, Jörg Kaiser, Johan Karlsson, Elad M. Schiller, Philippas Tsigas, Pedro Costa, José Parizi, Rolf Johansson, Renato Librino
-
|Project=Project:KARYON,  
+
|Project=Project:KARYON,
|ResearchLine=Timeliness and Adaptation in Dependable Systems (TADS)
|ResearchLine=Timeliness and Adaptation in Dependable Systems (TADS)
|month=oct
|month=oct
Line 11: Line 11:
|address=Toronto, Canada
|address=Toronto, Canada
|booktitle=Stabilization, Safety, and Security of Distributed Systems
|booktitle=Stabilization, Safety, and Security of Distributed Systems
-
|editor=Richa, AndréaW. and Scheideler, Christian
+
|editor=Richa, Andréa W. and Scheideler, Christian
|note=http://dx.doi.org/10.1007/978-3-642-33536-5_22
|note=http://dx.doi.org/10.1007/978-3-642-33536-5_22
|volume=7596
|volume=7596

Revision as of 18:51, 21 January 2013

António Casimiro, Jörg Kaiser, Johan Karlsson, Elad M. Schiller, Philippas Tsigas, Pedro Costa, José Parizi, Rolf Johansson, Renato Librino

in Stabilization, Safety, and Security of Distributed Systems, Richa, Andréa W. and Scheideler, Christian, Eds., ser. Lecture Notes in Computer Science

Toronto, Canada: Springer Berlin Heidelberg, Oct. 2012, vol. 7596, pp. 232–235.

http://dx.doi.org/10.1007/978-3-642-33536-5_22.
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 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.

Download paper

Download Brief Announcement: KARYON: Towards Safety Kernels for Cooperative Vehicular Systems

Export citation

BibTeX

Project(s): Project:KARYON

Research line(s): Timeliness and Adaptation in Dependable Systems (TADS)

Personal tools
Navigators toolbox