| 1. |
- Casimiro, A.C., et al.
(författare)
-
The KARYON project: Predictable and safe coordination in cooperative vehicular systems
- 2013
-
Ingår i: Proceedings of the International Conference on Dependable Systems and Networks. - 9781479901814
-
Konferensbidrag (refereegranskat)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. © 2013 IEEE.
|
|
| 2. |
- Casimiro, Antonio, et al.
(författare)
-
KARYON: Towards Safety Kernels for Cooperative Vehicular Systems
- 2012
-
Ingår i: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). - Berlin, Heidelberg : Springer Berlin Heidelberg. - 1611-3349 .- 0302-9743. - 9783642335358 ; 7596, s. 232-235
-
Konferensbidrag (refereegranskat)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.
|
|
| 3. |
- Librino, Renato, et al.
(författare)
-
3rd Workshop on Architecting Safety in Collaborative Mobile Systems (ASCoMS)
- 2014
-
Ingår i: Lecture Notes in Computer Science. - Cham : Springer Nature. ; , s. 1-2
-
Konferensbidrag (refereegranskat)abstract
- This volume contains the papers presented at ASCoMS 2014: the 3rd Workshop on Architecting Safety in Collaborative Mobile Systems held on September 8, 2014 in Firenze as part of SAFECOMP Conference 2014. As for the two previous years the workshop was held at SAFECOMP.
|
|
| 4. |
- Tavakoli Kolagari, Ramin, et al.
(författare)
-
Model-Based Analysis and Engineering of Automotive Architectures with EAST-ADL: Revisited
- 2015
-
Ingår i: International Journal of Conceptual Structures and Smart Applications (IJCSSA). - Hershey, USA : IGI Global. - 2166-7292. ; 3:2
-
Tidskriftsartikel (refereegranskat)abstract
- Modern cars have turned into complex high-technology products, subject to strict safety and timing requirements, in a short time span. This evolution has translated into development processes that are not as efficient, flexible and agile as they could or should be. This paper presents the main aspects and capabilities of a rich model-based design framework, founded on EAST-ADL. EAST-ADL is an architecture description language specific to the automotive domain and complemented by a methodology compliant with the functional safety standard for the automotive domain ISO26262. The language and the methodology are used to develop an information model in the sense of a conceptual model, providing the engineer the basis for specifying the various aspects of the system. Inconsistencies, redundancies, and partly even missing system description aspects can be found automaticlally by advanced analyses and optimization capabilities to effectively improve development processes of modern cars.
|
|
| 5. |
- Tucci-Piergiovanni, Sara, et al.
(författare)
-
Model-Based Analysis andEngineering of AutomotiveArchitectures with EAST-ADL
- 2014
-
Ingår i: Handbook of Research on Embedded Systems Design. - Hershey PA, USA : IGI Global. - 9781466661943 - 9781466661974 - 9781466661950 ; , s. 242-282
-
Bokkapitel (refereegranskat)abstract
- Modern cars have turned into complex high-technology products, subject to strict safety and timingrequirements, in a short time span. This evolution has translated into development processes that arenot as efficient, flexible, and agile as they could or should be. Model-based design offers many potentialsolutions to this problem. This chapter presents the main aspects and capabilities of a rich model-baseddesign framework, founded on EAST-ADL, and developed during the MAENAD project. EAST-ADL is anarchitecture description language specific to the automotive domain and complemented by a methodologycompliant with the ISO26262 standard. The language and the methodology set the stage for a high-levelof automation and integration of advanced analyses and optimization capabilities to effectively improvedevelopment processes of modern cars.
|
|
