Abstract
Functional safety has become an important aspect for engineering activities in the automotive domain due to the upcoming introduction of the safety standard ISO 26262. This paper proposes a methodology to guide the safety related requirements engineering process by means of OWL (Web Ontology Language) ontologies. These ontologies formalize necessary domain knowledge and serve as reference models to support semi-automated requirements discovery and to ease the certification process. Using OWL’s logical base, knowledge inference is applied to reason about safety measures for ensuring compliance with the reference process (guidance). The proposed methodology has been implemented in a prototype toolchain and applied to a simple lane departure warning system as an example assistance and automation system. Lessons learned refer to conceptual (expressiveness) and technical (tooling efficiency) issues.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
D. Beisel, C. Reuß, E. Schnieder, and U. Becker. Automotive Generic Hazard List. In Automatisierungs-, Assistenzsysteme und eingebettete Systeme für Transportmittel (AAET), 2010.
J. Gačnik. Providing Guidance In An Interdisciplinary Model-Based Design Process. In Proceedings of the 13th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2010), Carmona, Spain, May 2010. IEEE Computer Society.
J. Gačnik, H. Jost, D. Beisel, J. Rataj, and F. Köster. DeSCAS Design Process Model for Automotive Systems – Development Streams and Ontologies. In Safety-Critical Systems 2009, number SP-2222 in Special Publications. SAE International, 2009.
J. Gačnik, H. Jost, F. Köster, J. Rataj, K. Lemmer, W. Damm, M. Fränzle, and E. Schnieder. DeSCAS – Formale Ontologien zur Verwebung von interdisziplinären Entwicklungsprozessen. In AUTOMATION 2009, number 2067 in VDI-Berichte. VDI Wissensforum GmbH, 2009.
ISO – International Organization for Standardization. ISO 17361: Intelligent transport systems – Lane departure warning systems – Performance requirements and test procedures, 2007.
ISO – International Organization for Standardization. ISO/DIS 26262: Road Vehicles – Functional Safety, December 2009. Draft International Standard.
H. Jost. Automating the Risk and Hazard Analysis via Generic Domain Concepts in Formal Ontologies. In ESREL 2010, European Safety and Reliability Conference, 2010.
J. Schwarz et al. RESPONSE 3 – Code of Practice for the Design and Evaluation of ADAS. In PReVENT project deliverable D11.2. Europe’s Information Society, October 2006.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gačnik, J., Jost, H., Köster, F., Fränzle, M. (2011). The DeSCAS Methodology and Lessons Learned on Applying Formal Reasoning to Safety Domain Knowledge. In: Schnieder, E., Tarnai, G. (eds) FORMS/FORMAT 2010. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-14261-1_21
Download citation
DOI: https://doi.org/10.1007/978-3-642-14261-1_21
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-14260-4
Online ISBN: 978-3-642-14261-1
eBook Packages: EngineeringEngineering (R0)