The KARYON project: Predictable and safe coordination in cooperative vehicular systems
The KARYON project: Predictable and safe coordination in cooperative vehicular systems
复制标题
KARYON 项目：协作车辆系统中的可预测和安全协调
DOI：
--
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
R. Librino
中科院分区：
文献类型：
--
作者：
A. Casimiro;J. Kaiser;E. Schiller;Pedro Costa;José Parizi;Rolf Johansson;R. Librino
KARYON是一个基于内核的安全关键控制体系结构，是一个欧洲项目，它提出了一个新的视角来提高智能车辆协调性能。KARYON的主要目标是为智能车辆的可预测和安全协调提供系统解决方案，这些智能车辆在开放和内在不确定的环境中自主合作和交互。主要挑战之一是在存在不确定性和故障的情况下确保车辆功能的高性能水平。本文描述了KARYON为解决这一挑战而采取的一些步骤，从定义合适的体系结构模式到开发旨在展示KARYON解决方案的适用性的概念验证原型。该项目提出了一种安全体系结构，该体系结构利用体系结构混合的概念来定义系统，在该系统中可以构建一个小的本地安全内核，以保证沿着一组安全规则的功能安全。KARYON还在为分布式、连续值传感器系统开发故障模型和故障语义，它允许抽象特定的传感器故障，并便于根据感知质量定义安全规则。提出了改进通信可预测性的解决方案，从较低通信级别的网络不可访问性控制到进程级别的协作状态评估协议。KARYON的贡献包括改进的模拟和故障注入工具，用于根据国际标准化组织26262安全标准评估安全保证。结果将使用选定的汽车和航空电子领域的用例进行评估。
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.