Search Results

With the growing complexity of, and reliance on, safety-related electrical/electronic (E/E) systems in the automotive sector, the development of an explicit safety case is highly recommended to provide assurance to the different stakeholders interested in automotive functional safety. The production of a safety case is explicitly mandated by the draft automotive functional safety standard ISO26262. A safety case should consider all organisational and technical factors that may contribute to safety. For example, it should provide assurance for the safe behaviours of a particular system as well as assurance for the process by which this system is developed, operated and maintained. In this paper, we address one component of the overall safety case, namely the assurance of the functional safety concept. In particular, we examine how model-driven development and assessment can provide a basis for the systematic generation of functional safety requirements.

Safety is one of the most important aspects of which we are concerned with in the field of aerospace-systems development. There are a variety of safety assessment activities that are performed throughout a system's lifecycle. Multiple interrelated safety analysis artifacts are generated from the process. However, requirements and guidance for the synthesis and validation of the results of this analysis are insufficient and are not explicit. In traditional system development processes, certification coordination, safety assessment, requirements validation, and implementation verification are generally treated as supporting processes, which are concurrent and interactively dependent throughout the iterative development of a system. In SAE ARP4754A, these processes are stressed as integral processes with traceability between safety requirements and the dependencies between safety assessment activities highlighted as an important concern.