An automated formal-based approach for reducing undetected faults in ISO 26262 hardware compliant designs

Author(s):  
Felipe Augusto da Silva ◽  
Ahmet Cagri Bagbaba ◽  
Said Hamdioui ◽  
Christian Sauer
Keyword(s):  
ATZ worldwide ◽  
2021 ◽  
Vol 123 (12) ◽  
pp. 52-55
Author(s):  
Lea Maria Dinkel ◽  
Marcus Perner ◽  
Martin Gebhardt ◽  
Simon Heine
Keyword(s):  

2016 ◽  
Vol 5 (3) ◽  
pp. 1-20 ◽  
Author(s):  
Hans Blom ◽  
De-Jiu Chen ◽  
Henrik Kaijser ◽  
Henrik Lönn ◽  
Yiannis Papadopoulos ◽  
...  

EAST-ADL is an Architecture Description Language (ADL) initially defined in several European-funded research projects and aligned with AUTOSAR and ISO26262. It provides a comprehensive approach for defining automotive electronic systems through an information model that captures engineering information in a standardized form. Aspects covered include vehicle features, requirements, analysis functions, software and hardware components and communication. The representation of the system's implementation is not defined in EAST-ADL itself but by AUTOSAR. However, traceability is supported from EAST-ADL's lower abstraction levels to the implementation level elements in AUTOSAR. In this article the authors describe EAST-ADL in detail, show how it relates to AUTOSAR as well as other significant automotive standards and present recent research work on using and advancing EAST-ADL, the functional safety standard ISO 26262, heterogeneous multi / many core architectures, security and for multi-objective optimization.


Author(s):  
Zhizhong Wang ◽  
Liangyao Yu ◽  
Ning Pan ◽  
Lei Zhang ◽  
Jian Song

The Distributed Electro-hydraulic Braking system (DEHB) is a wet type brake-by-wire system. As a safety critical automotive electrical and/or electronic (E/E) system, DEHB shall be designed under the guideline of ISO 26262 in order to avoid unreasonable risk due to the malfunctions in the item. This paper explores how the Automotive Safety Integrity Level (ASIL) decomposition in the concept phase is influenced by the system architectures of DEHB. Based on a typical hazardous event, analysis on DEHB with the same system architecture as the Electro-mechanical Braking system (EMB) is carried out, which is taken as the basis for comparison. Two types of DEHB with different system architectures are then analyzed. Results show that the adoption of hydraulic backup enables ASIL decomposition in the pedal unit. The adoption of both hydraulic backup and normally open balance valves offers the opportunity to perform ASIL decomposition in the brake actuator system of DEHB.


Sign in / Sign up

Export Citation Format

Share Document