Rule Checking within the Model-Based Development of Safety-Critical Systems and Embedded Automotive Software

2007 ◽  
Author(s):  
Tibor Farkas ◽  
Daniel Grund
Keyword(s):  
Critical Systems ◽  
Automotive Software ◽  
Safety Critical ◽  
Model Based ◽  
Rule Checking ◽  
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