elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Imprint | Contact | Deutsch
Fontsize: [-] Text [+]

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

Gacnik, Jan and Jost, Henning and Köster, Frank and Fränzle, Martin (2010) The DeSCAS Methodology and Lessons Learned on Applying Formal Reasoning to Safety Domain Knowledge. FORMS/FORMAT 2010 -- 8th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, 02.12.2010 - 03.12.2010, Braunschweig, Germany.

Full text not available from this repository.

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.

Document Type:Conference or Workshop Item (Speech, Paper)
Additional Information:Best Paper Award Winner (FORMS/FORMAT 2010)
Title:The DeSCAS Methodology and Lessons Learned on Applying Formal Reasoning to Safety Domain Knowledge
Authors:
AuthorsInstitution or Email of Authors
Gacnik, Janjan.gacnik@dlr.de
Jost, Henninghenning.jost@informatik.uni-oldenburg.de
Köster, Frankfrank.koester@dlr.de
Fränzle, Martinmartin.fraenzle@informatik.uni-oldenburg.de
Date:3 December 2010
Status:Published
Keywords:Functional Safety, Automotive, Ontology, Formal Methods
Event Title:FORMS/FORMAT 2010 -- 8th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems
Event Location:Braunschweig, Germany
Event Type:international Conference
Event Dates:02.12.2010 - 03.12.2010
Organizer:Institute for Traffic Safey and Automation Engineering, Technische Universität Braunschweig
HGF - Research field:Aeronautics, Space and Transport (old)
HGF - Program:Transport
HGF - Program Themes:Terrestrial Vehicles
DLR - Research area:Transport
DLR - Program:V BF - Bodengebundene Fahrzeuge
DLR - Research theme (Project):V - Fahrerassistenz (old)
Location: Braunschweig
Institutes and Institutions:Institute of Transportation Systems > Automotive
Deposited By: Jan Gacnik
Deposited On:12 Jan 2011 11:00
Last Modified:21 Feb 2011 12:22

Repository Staff Only: item control page

Browse
Search
Help & Contact
Informationen
electronic library is running on EPrints 3.3.12
Copyright © 2008-2012 German Aerospace Center (DLR). All rights reserved.