Abstract. The upcoming safety standard ISO/WD 26262 that has been derived from the more general IEC 61508 and adapted for the automotive industry, introduces the concept of a safety case, a scheme that has already been successfully applied in other sectors of industry such as nuclear, defense, aerospace, and railway. A safety case communicates a clear, comprehensive and defensible argument that a system is acceptably safe in its operating context. Although, the standard prescribes that there should be a safety argument, it does not establish detailed guidelines on how such an argument should be organized and implemented, or which artifacts should be provided. In this paper, we introduce a methodology and a tool chain for establishing a safety argument, plus the evidence to prove the argument, as a concrete reference realization of the ISO/WD 26262 for automotive systems. We use the goal structuring notation to decompose and refine safety claims of an emergency braking system (EBS) for trucks into subclaims until they can be proven by evidence. The evidence comes from tracing the safety requirements of the system into their respective development artifacts in which they are realized.
In the automotive field, software development methods and tools are used to cope with the high complexity of automotive software development. However, problems occur with the tracing of information, the assessment and monitoring of the development status, late and thus expensive changes, etc, which lead to increasing development costs and time as well as quality deficits. Our experience with recent projects have shown that the key to solving these problems lies in providing proper answers to the following questions: (1) How can development methods be assembled? (2) How can the use of a variety of development methods be supported by an appropriate tool?
To answer these questions, we introduce a tool integration approach that is strongly based on the integration of development methods.
The contribution of this paper is (a) a method integration approach that considers finegrained method objects and their specific structure in addition to the usually considered artifacts, (b) an approach to tool integration that overcomes the deficits of heterogeneous tool environments and utilizes the results of the methodical understanding.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.