At the Sharp End: developing and validating Safety Critical Software

2011 ◽  
pp. 225-235
Author(s):  
Fergus Duncan
Keyword(s):  
Safety Critical

Model-free Learning for Safety-critical Control Systems: A Reference Governor Approach

2020 ◽  
Author(s):  
Kaiwen Liu ◽  
Nan Li ◽  
Ilya Kolmanovsky ◽  
Denise Rizzo ◽  
Anouck Girard
Keyword(s):  
Control Systems ◽  
Safety Critical ◽  
Model Free ◽  
Reference Governor

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