An approach to optimization of fault tolerant architectures using HiP‐HOPS

Abstract

New processes for the design of dependable systems must address both cost and dependability concerns. They should also maximize the potential for automation to address the problem of increasing technological complexity and the potentially immense design spaces that need to be explored. In this paper we show a design process that integrates system modelling, automated dependability analysis and evolutionary optimization techniques to achieve the optimization of designs with respect to dependability and cost from the early stages. Computerized support is provided for difficult aspects of fault tolerant design, such as decision making on the type and location of fault detection and fault tolerant strategies. The process is supported by HiP‐HOPS, a scalable automated dependability analysis and optimization tool. The process was applied to a Pre‐collision system for vehicles at an early stage of its design. The study shows that HiP‐HOPS can overcome the limitations of earlier work based on Reliability Block Diagrams by enabling dependability analysis and optimization of architectures that may have a network topology and exhibit multiple failure modes. Copyright © 2011 John Wiley & Sons, Ltd.

An Evaluation of Mobile with the Hierarchical Approach

“…Thereby, the controllability of the vehicle has to be evaluated after occurrence of a given first and second system failure, summing up to 702 state transitions. Especially, for the second faults, several transitions need not be regarded as they do not furthermore impact the controllability of the vehicle [2].…”

Integrated Application of Compositional and Behavioural Safety Analysis

“…(Adachi et al, 2010) and (Torres-Pomales, 2000) discuss four different types of common (particularly in software) fault detection and fault tolerance techniques: self-protection, self-checking, checkpoint-restart, and process-pair. Each technique uses a different approach in detecting and handling failure, e.g.…”

“…Figure 67 illustrates the functional structure of the basic adaptive cruise system. It is an adaptation of a related driving assistance system, pre-collision detection system, presented in (Adachi et al, 2010). The system gets its input from a set of sensors including Radar_Sensor, Speed_Sensor, Pedal_Sensor, Switch_Sensor.…”

“…The detection module DM_FB is attached to Fading_Brake and operates in a similar way to a backup structure or a check-point-restart technique described in (Adachi et al, 2010). When Fading_Brake experiences failure, DM_FB restarts the module to a prestored reset checkpoint.…”

“…An extended version of the above paper was published as book chapter in . The material presented in chapter 6 was presented & published in (Sharvia & Papadopoulos, 2008), and contributed to (Adachi et al, 2010). Tables Table 1: Example of FHA on car brake function (source: Johannessen et al, 2001) .... 30 …”