The DeSCAS Methodology and Lessons Learned on Applying Formal Reasoning to Safety Domain Knowledge

  • Jan Gačnik
  • Henning Jost
  • Frank Köster
  • Martin Fränzle
Conference paper

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.

Keywords

Certification ISO 26262 Domain Knowledge Ontology Process Framework Assistance and Automation System Semantic Reasoning 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    D. Beisel, C. Reuß, E. Schnieder, and U. Becker. Automotive Generic Hazard List. In Automatisierungs-, Assistenzsysteme und eingebettete Systeme für Transportmittel (AAET), 2010. Google Scholar
  2. 2.
    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.Google Scholar
  3. 3.
    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.Google Scholar
  4. 4.
    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.Google Scholar
  5. 5.
    ISO – International Organization for Standardization. ISO 17361: Intelligent transport systems – Lane departure warning systems – Performance requirements and test procedures, 2007.Google Scholar
  6. 6.
    ISO – International Organization for Standardization. ISO/DIS 26262: Road Vehicles – Functional Safety, December 2009. Draft International Standard.Google Scholar
  7. 7.
    H. Jost. Automating the Risk and Hazard Analysis via Generic Domain Concepts in Formal Ontologies. In ESREL 2010, European Safety and Reliability Conference, 2010.Google Scholar
  8. 8.
    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.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Jan Gačnik
    • 1
  • Henning Jost
    • 2
  • Frank Köster
    • 1
  • Martin Fränzle
    • 2
  1. 1.German Aerospace CenterBraunschweigGermany
  2. 2.University of OldenburgOldenburgGermany

Personalised recommendations