scholarly journals Model Based Development of Safety-Critical Systems Using Template Based Code Generation

2007 ◽  
Author(s):  
Matthias Regensburger ◽  
Christian Buckl ◽  
Alois Knoll ◽  
Gerhard Schrott
Keyword(s):  
Code Generation ◽  
Critical Systems ◽  
Safety Critical ◽  
Model Based ◽  
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