A modeling approach to support safety assurance in the automotive domain

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

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

1 Citation (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.

Original languageEnglish
Title of host publicationProgress in Systems Engineering.
EditorsH. Selvaraj, D. Zydek, G. Chmaj
Number of pages7
ISBN (Electronic)978-3-319-08422-0
ISBN (Print)978-3-319-08421-3
Publication statusPublished - 1 Jan 2014
EventFISITA 2014 World Automotive Congress - Maastricht, Netherlands
Duration: 2 Jun 20146 Jun 2014

Publication series

NameAdvances in Intelligent Systems and Computing
PublisherSpringen, Cham


ConferenceFISITA 2014 World Automotive Congress
Abbreviated titleFISITA 2014
Internet address


  • Conceptual modeling
  • Safety argumentation
  • Safety assurance
  • Safety cases
  • Safety-Critical systems

Cite this