scholarly journals Simulation-based Verification of Automotive Safety-critical Systems Based on EAST-ADL

2016 ◽  
Vol 83 ◽  
pp. 245-252 ◽  
Author(s):  
Ralph Weissnegger ◽  
Markus Schuss ◽  
Christian Kreiner ◽  
Markus Pistauer ◽  
Kay Römer ◽  
...  
Keyword(s):  
Critical Systems ◽  
Automotive Safety ◽  
Safety Critical ◽  
Simulation Based ◽  
Safety Critical Systems

scholarly journals 11.2.2 Reducing the Gap Between Formal and Informal Worlds in Automotive Safety-Critical Systems

2011 ◽  
Vol 21 (1) ◽  
pp. 1306-1320 ◽  
Author(s):  
HugoG. Chalé ◽  
Ofaina Taofifenua ◽  
Thierry Gaudré ◽  
Alexandra Topa ◽  
Nicole Lévy ◽  
...  
Keyword(s):  
Critical Systems ◽  
Automotive Safety ◽  
Safety Critical ◽  
Safety Critical Systems

Satisfying Design Constraints for Automotive Safety-Critical Systems

2007 ◽  
Author(s):  
Isuruwani Herath ◽  
Clive Roberts ◽  
Theodoros N. Arvanitis ◽  
Andrew Bold
Keyword(s):  
Critical Systems ◽  
Design Constraints ◽  
Automotive Safety ◽  
Safety Critical ◽  
Safety Critical Systems

An Adaptable Software Safety Process for Automotive Safety-Critical Systems

2004 ◽  
Author(s):  
Barbara J. Czerny ◽  
Joseph G. D'Ambrosio ◽  
Paravila O. Jacob ◽  
Brian T. Murray ◽  
Padma Sundaram
Keyword(s):  
Critical Systems ◽  
Software Safety ◽  
Automotive Safety ◽  
Safety Critical ◽  
Safety Critical Systems

10.1.1 A Process and Data Model for Automotive Safety-Critical Systems Design

2010 ◽  
Vol 20 (1) ◽  
pp. 1211-1226
Author(s):  
Hugo Guillermo ◽  
Chalé Góngora ◽  
Ofaina Taofifenua ◽  
Thierry Gaudré
Keyword(s):  
Data Model ◽  
Systems Design ◽  
Critical Systems ◽  
Automotive Safety ◽  
Safety Critical ◽  
Safety Critical Systems

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