Safety analysis and optimization for networked avionics system

Abstract

Traditional safety analysis of the avionics systems covers two aspects, i.e., the safety of the process and the safety of the current state. The mandatory analysis methodologies are the process safety analysis and Fault Tree Analysis (FTA), which meets the requirement of the Function Hazard Analysis (FHA). However, in the Integrated Modular Avionics (IMA) and Distributed Integrated Modular Avionics (DIMA), especially the networked IMA, the safety analysis method evolves into the Zachman framework analysis. Due to the increased complexity of the IMA and DIMA, the optimization algorithms should be developed. In this paper, based on the Cyber-Physical System (CPS), two optimization algorithms are revealed. One is the utility optimization algorithm subject to the safety requirement, another one is the direct optimization algorithm with the objective function of the safety. The proposed optimization schemes consolidate the methodology of the safety analysis and design of the avionics systems, especially in the IMA, DIMA, and the networked IMA.

A Survey of Optimal Hardware and Software Mapping for Distributed Integrated Modular Avionics Systems

“…To avoid obtaining local minima, Tabu search incorporates an adaptive memory to prevent the search from revisiting previous solutions and search the unexplored regions for the solution when there is no improvement in finding a better solution. Zhang et al [49] minimized the utility function subject to safety requirement with particle swarm optimization. The utility function is defined as the total cost of the system.…”

“…A simple way to solve multi-objective optimization is weighted sum method [55], which sums up multiple objective functions as a single one with different weighting factors [56]; weighted product method [57] and weighted min-max method [58] are similar approaches. Zhang et al in [49] minimized the objective function of system failure rate, which is the total sum of failure rate functions for measuring the system safety. Via multiple disciplinary optimization, the optimization problem is decomposed to CPM discipline and RDC discipline.…”