Proving Properties of Automotive Systems of Systems under ISO 26262 using Automated Formal Methods

2014 ◽  
Author(s):  
N.J. Tudor ◽  
J. Botham
Keyword(s):  
Formal Methods ◽  
Systems Of Systems ◽  
Iso 26262 ◽  
Automotive Systems

scholarly journals Functional safety requirements of traction inverter in accordance to ISO 26262

2020 ◽  
Vol 184 ◽  
pp. 01062
Author(s):  
R Bhavana ◽  
Omsekhar Indela ◽  
Mohammed Sajid Yaragatti
Keyword(s):  
Short Circuit ◽  
Functional Safety ◽  
Iso 26262 ◽  
Safety Requirements ◽  
Automotive Systems ◽  
Safety And Reliability ◽  
Electric Traction ◽  
Electronic Controller ◽  
Short Circuit Fault ◽  
Electronic Sensors

With the improvement and development in the automotive, the safety related aspects are also becoming more important. Hence there is a stringent demand for the Functional Safety and reliability. In these years, most of the vehicles are made with electrical and electronic components and systems which include lots of Electronic Controller Units (ECUs), electronic sensors, bus systems with coding. Due to the complexity in application of these electrical, electronics and programmable electronics, it is necessary to analyze the potential risk of malfunction for automotive systems. Thus, ISO 26262 has been introduced for automotive electrical/electronic (E/E) systems which ensure the complete safety installation of all ECUs, E/E systems its technical as well as management issues. In this paper, functional safety in accordance with ISO 26262 Part 3 of an electric traction inverter is done, the Functional safety report is generated in MEDINI TOOL and the short circuit fault of traction inverter is considered for Functional safety using MATLAB/SIMULINK.

PICASSOS – Practical Applications of Automated Formal Methods to Safety Related Automotive Systems

2017 ◽  
Author(s):  
John Botham ◽  
Gunwant Dhadyalla ◽  
Antony Powell ◽  
Peter Miller ◽  
Olivier Haas ◽  
...  
Keyword(s):  
Formal Methods ◽  
Practical Applications ◽  
Automotive Systems
Sign in / Sign up

Export Citation Format

Share Document