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.
The DeSCAS methodology and lessons learned on applying formal reasoning to safety domain knowledge
Die DeSCAS-Methode und Erfahrungen über die Anwendung formaler Erkenntnisse auf das Gebiet der Sicherheit
2011
9 Seiten, 3 Bilder, 8 Quellen
Conference paper
English
Applying Lessons Learned from Space Safety to Unmanned Aerial Vehicle Risk Assessments
British Library Conference Proceedings | 2013
|British Library Online Contents | 1995
|NASA lessons learned: moving to a more formal process
NTRS | 2005
|Applying Flight Test Lessons Learned "On-the-Fly"
AIAA | 2009
|