elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Impressum | Kontakt | English
Schriftgröße: [-] Text [+]

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

Gacnik, Jan und Jost, Henning und Köster, Frank und 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.

Dieses Archiv kann nicht den gesamten Text zur Verfügung stellen.

Kurzfassung

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.

Dokumentart:Konferenzbeitrag (Vortrag, Paper)
Zusätzliche Informationen:Best Paper Award Winner (FORMS/FORMAT 2010)
Titel:The DeSCAS Methodology and Lessons Learned on Applying Formal Reasoning to Safety Domain Knowledge
Autoren:
AutorenInstitution oder E-Mail-Adresse der Autoren
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
Datum:3 Dezember 2010
Status:veröffentlicht
Stichwörter:Functional Safety, Automotive, Ontology, Formal Methods
Veranstaltungstitel:FORMS/FORMAT 2010 -- 8th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems
Veranstaltungsort:Braunschweig, Germany
Veranstaltungsart:internationale Konferenz
Veranstaltungsdatum:02.12.2010 - 03.12.2010
Veranstalter :Institute for Traffic Safey and Automation Engineering, Technische Universität Braunschweig
HGF - Forschungsbereich:Verkehr und Weltraum (alt)
HGF - Programm:Verkehr
HGF - Programmthema:Bodengebundener Verkehr
DLR - Schwerpunkt:Verkehr
DLR - Forschungsgebiet:V BF - Bodengebundene Fahrzeuge
DLR - Teilgebiet (Projekt, Vorhaben):V - Fahrerassistenz (alt)
Standort: Braunschweig
Institute & Einrichtungen:Institut für Verkehrssystemtechnik > Automotive Systeme
Hinterlegt von: Jan Gacnik
Hinterlegt am:12 Jan 2011 11:00
Letzte Änderung:21 Feb 2011 12:22

Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags

Blättern
Suchen
Hilfe & Kontakt
Informationen
electronic library verwendet EPrints 3.3.12
Copyright © 2008-2013 Deutsches Zentrum für Luft- und Raumfahrt (DLR). Alle Rechte vorbehalten.