An auto-review tool for model-based testing of safety-critical systems

2013 ◽  
Author(s):  
Atit Mishra ◽  
Manjunatha Rao ◽  
Chethan CU ◽  
Vanishree Rao ◽  
Yogananda Jeppu ◽  
...  
Keyword(s):  
Critical Systems ◽  
Safety Critical ◽  
Model Based ◽  
Model Based Testing ◽  
Safety Critical Systems

Model-based assurance evidence management for safety–critical systems

2022 ◽  
Author(s):  
Jose Luis de la Vara ◽  
Arturo S. García ◽  
Jorge Valero ◽  
Clara Ayora
Keyword(s):  
Critical Systems ◽  
Safety Critical ◽  
Model Based ◽  
Safety Critical Systems

Safety critical systems design for civil aircrafts by model based systems engineering

2018 ◽  
Vol 48 (3) ◽  
pp. 299-311
Author(s):  
ShaoJie ZHANG ◽  
ZhengQiang LI ◽  
XiaoHang HAI ◽  
XingHua LIU ◽  
Liang ZHU
Keyword(s):  
Systems Engineering ◽  
Systems Design ◽  
Critical Systems ◽  
Safety Critical ◽  
Model Based ◽  
Safety Critical Systems ◽  
Model Based Systems Engineering
Sign in / Sign up

Export Citation Format

Share Document