A SysML-based modeling and verification method for vehicle safety

Vehicle safety is becoming a critical issue in developing autonomous driving technology. For example, failure propagation due to sensor failures on road obstacles will have significant impact on safe operation. Previous studies in safety design used different modeling languages in creating, analyzing, and simulating failure models. In this study, we used the system modeling language (SysML), which is widely accepted language for systems modeling, consistently in modeling component failures and analyzing them to identify failure propagation paths. Among the identified failure paths, critical ones were used to derive safety measures. SysML simulation was also used to verify the safety measures.