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.
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|
|Date:||3 December 2010|
|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)|
|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