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

作者：Adachi Masakazu; Papadopoulos Yiannis^*; Sharvia Septavera; Parker David; Tohdo Tetsuya

来源：Software: Practice and Experience , 2011, 41(11): 1303-1327.

DOI：10.1002/spe.1044

• dependability analysis
• fault tolerance
• active safety
• multi-objective optimization
• genetic algorithms

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.

• 出版日期2011-10