Fail-Safe Test Generation in Safety Critical Systems

2014 ◽  
Author(s):  
Anneliese Andrews ◽  
Salwa Elakeili ◽  
Salah Boukhris
Keyword(s):  
Test Generation ◽  
Critical Systems ◽  
Safety Critical ◽  
Safety Critical Systems ◽  
Fail Safe

scholarly journals An Approach for Building Security Resilience in AUTOSAR Based Safety Critical Systems

2017 ◽  
Author(s):  
Ahmad MK Nasser ◽  
Di Ma ◽  
Priya Muralidharan
Keyword(s):  
Great Success ◽  
Electronic Control ◽  
Critical Systems ◽  
Crucial Step ◽  
Safety Critical ◽  
Automotive Systems ◽  
Systems Security ◽  
Control Units ◽  
Safety Critical Systems ◽  
Fail Safe

AUTOSAR, a worldwide development partnership among automotive parties to establish an open and standardized software architecture for electronic control units (ECUs), has seen great success in recent years by being widely adopted in deeply embedded automotive ECUs. Increasing the security resilience of AUTOSAR based systems is a crucial step in securing safety critical automotive systems. We study AUTOSAR safety mechanisms and demonstrate how they can be used as attack vectors to degrade the vehicle safety.We show the need to harmonize the fail-safe response with the secure state of the system. And we evaluate the overlap in the properties of safety mechanisms with security objectives to highlight methods for hardening automotive systems security.  

Generation of testing script based on XML for safety-critical systems

2011 ◽  
Vol 31 (1) ◽  
pp. 281-285
Author(s):  
Huan HE ◽  
Zhong-wei XU ◽  
Gang YU ◽  
Shi-yu YANG
Keyword(s):  
Critical Systems ◽  
Safety Critical ◽  
Safety Critical Systems
Sign in / Sign up

Export Citation Format

Share Document