A modeling approach to support safety assurance in the automotive domain

Yaping Luo, Mark Van den Brand, Luc Engelen, Martijn Klabbers

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

1 Citaat (Scopus)


As safety standards are widely used in safety-critical domains, such as ISO 26262 in the automotive domain, the use of safety cases to demonstrate product safety is stimulated. It is crucial to ensure that a safety case is both correct and clear. To support this, we proposed to make use of modeling techniques to support safety assurance in the automotive domain. Continuing on our previous work, a rule-based approach enables us to extract a conceptual model from safety standards or project guidelines. Then, by applying structured English using an SBVR vocabulary, the safety case is linked to the conceptual model, and the content of it is enforced to be well structured and controlled. The contribution of the explicit link between the safety case and the conceptual model is to reduce the ambiguity of natural language, and to increase the confidence in the claimed safety assurance. Finally, tooling is developed that enables syntax highlighting and content assistance while editing safety cases.

Originele taal-2Engels
TitelProgress in Systems Engineering.
RedacteurenH. Selvaraj, D. Zydek, G. Chmaj
Aantal pagina's7
ISBN van elektronische versie978-3-319-08422-0
ISBN van geprinte versie978-3-319-08421-3
StatusGepubliceerd - 1 jan 2014
EvenementFISITA 2014 World Automotive Congress - Maastricht, Nederland
Duur: 2 jun 20146 jun 2014

Publicatie series

NaamAdvances in Intelligent Systems and Computing
UitgeverijSpringen, Cham


CongresFISITA 2014 World Automotive Congress
Verkorte titelFISITA 2014
AnderFisita 2014 (Maastricht)
Internet adres

Citeer dit

Luo, Y., Van den Brand, M., Engelen, L., & Klabbers, M. (2014). A modeling approach to support safety assurance in the automotive domain. In H. Selvaraj, D. Zydek, & G. Chmaj (editors), Progress in Systems Engineering. (blz. 339-345). (Advances in Intelligent Systems and Computing; Vol. 366). Springer. https://doi.org/10.1007/978-3-319-08422-0_50