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. To sum up, it is presented a methodology for interweaving differently geared development activities represented by the three development streams functional development and architecture, safety measures, and human factors, which are relevant within the automotive domain. The methodology forms a development proceeding for the design of safety critical automotive systems heavily relying on a formal base in contrast to most standard proceedings available. For this purpose, domain knowledge has been formalized using web ontology language (OWL) ontologies illustrating how design decisions in one development stream may impact other domains and how this information can be used to reason about consequences of design decisions related to the current product development. However, formalization entails additional modeling effort when it comes to formalizing domain knowledge and standards, since a vast number of concepts have to be included in the OWL ontologies. On the other hand, once formalized domain knowledge and standards can be reused in other projects. The prototype toolchain of design of safety critical automotive systems (DeSCAS) which has been used for the example lane departure warning system clarifies the advantages and disadvantages of applying OWL ontologies to logical reasoners for formal reasoning, and how to overcome problems arising from long computation times during reasoning.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    The DeSCAS methodology and lessons learned on applying formal reasoning to safety domain knowledge


    Additional title:

    Die DeSCAS-Methode und Erfahrungen über die Anwendung formaler Erkenntnisse auf das Gebiet der Sicherheit


    Contributors:


    Publication date :

    2011


    Size :

    9 Seiten, 3 Bilder, 8 Quellen




    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English





    Applying Lessons Learned from Space Safety to Unmanned Aerial Vehicle Risk Assessments

    Devoid, W.E. / International Association for the Advancement of Space Safety | British Library Conference Proceedings | 2013


    B-2 Safety Lessons Learned

    Crenshaw, K. / Cameron, S. E. | British Library Online Contents | 1995


    NASA lessons learned: moving to a more formal process

    Oberhettinger, David J. | NTRS | 2005


    Applying Flight Test Lessons Learned "On-the-Fly"

    Klyde, David / Liang, Chi-Ying / Schulze, P. Chase | AIAA | 2009