Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
ISO 26262: “Road Vehicles – Functional Safety” (2011)
Meta Modeling Approach to Safety Standard for Consumer Devices (2013), http://www.omg.org/news/meetings/tc/agendas/ut/SysA_Slides/taguchi.pdf
Safety Case Repository (2013), http://dependability.cs.virginia.edu/info/Safety Cases:Repository
Afreen, H., Bajwa, I., Bordbar, B.: SBVR2UML: A Challenging Transformation. In: Frontiers of Information Technology (FIT), 2011. pp. 33–38 (2011)
Bajwa, I.S., G. Lee, M., Bordbar, B.: SBVR Business Rules Generation from Natural Language Specification. In: AAAI 2011 Spring Symposium - AI for Business Agility. pp. 2–8. San Francisco, USA (2011)
Cabot, J., Pau, R., Raventós, R.: From UML/OCL to {SBVR} specifications: A challenging transformation. Information Systems 35(4), 417–440 (2010)
Ceponiene, L., Nemuraite, L., Vedrickas, G.: Semantic Business Rules in Service Oriented Development of Information Systems. In: 15th International Conference on Information and Software Technologies, IT. pp. 404–416 (2009)
Lewis, R.: Safety Case Development as an Information Modelling Problem. In: Dale, C., Anderson, T. (eds.) Safety-Critical Systems: Problems, Process and Practice, pp. 183–193. Springer London (2009)
Luo, Y., Van den Brand, M., Engelen, L., M. Favaro, J., Klabbers, M., Sartori, G.: Extracting models from iso 26262 for reusable safety assurance. In: Safe and Secure Software Reuse - 13th International Conference on Software Reuse. vol. 7925, pp. 192–207. Springer Berlin Heidelberg (2013)
Nemuraite, L., Skersys, T., Sukys, A., Sinkevicius, E., Ablonskis, L.: VETIS tool for editing and transforming SBVR business vocabularies and business rules into UML&OCL models. In: 16th International Conference on Information and Software Technologies, Kaunas: Kaunas University of Technology. pp. 377–384 (2010)
Njonko, P., El Abed, W.: From Natural Language Business Requirements to Executable Models via SBVR. In: Systems and Informatics (ICSAI), 2012 International Conference on. pp. 2453–2457 (2012)
OMG: SBVR: Semantics Of Business Vocabulary And Rules (Sepetember 2013), http://www.omg.org/spec/SBVR/1.1
Spreeuwenberg, S., Healy, K.A.: SBVR’s Approach to Controlled Natural Language. In: Proceedings of the 2009 conference on Controlled natural language. pp. 155–169. CNL’09, Springer-Verlag, Berlin, Heidelberg (2010)
T.Kelly: Arguing Safety - A Systematic Approach to Managing Safety Cases. Ph.D. thesis, University Of York (1998)
Wilson, S., Kelly, T., McDermid, J.: Safety Case Development: Current Practice, Future Prospects. In: Shaw, R. (ed.) Safety and Reliability of Software Based Systems, pp. 135–156. Springer London (1997)
Acknowledgements
The research leading to these results has received funding from the FP7 programme under grant agreement no 289011 (OPENCOSS).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Luo, Y., van den Brand, M., Engelen, L., Klabbers, M. (2015). A Modeling Approach to Support Safety Assurance in the Automotive Domain. In: Selvaraj, H., Zydek, D., Chmaj, G. (eds) Progress in Systems Engineering. Advances in Intelligent Systems and Computing, vol 366. Springer, Cham. https://doi.org/10.1007/978-3-319-08422-0_50
Download citation
DOI: https://doi.org/10.1007/978-3-319-08422-0_50
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-08421-3
Online ISBN: 978-3-319-08422-0
eBook Packages: EngineeringEngineering (R0)