Fault Assessment of Safety-Critical Applications on Reconfigurable Multi-Core Architecture

The development of multi-core processors has been providing benefits to many industries. However, some issues may arise among these benefits because of the potential conflicts between parallel applications. One of the important concerns is the reliability of the safety critical applications. This paper proposes two algorithms for computing a probability of failure of the safety-critical application on reconfigurable multi-core architecture. One is based on the exact analytical computation; whereas, the other one is the approximated of the former with less computational expensive. These algorithms adopts a combination of a fault tree analysis and a subgraph isomorphism problem to apply for avionics application. Their numerical results and performance analysis are also included.

[1]  Alpár Jüttner,et al.  VF2++ - An improved subgraph isomorphism algorithm , 2018, Discret. Appl. Math..

[2]  Chris Wilkinson,et al.  A Comparison of STPA and the ARP 4761 Safety Assessment Process 1 , 2014 .

[3]  Christine Solnon,et al.  AllDifferent-based filtering for subgraph isomorphism , 2010, Artif. Intell..

[4]  Niklas Sörensson,et al.  An Extensible SAT-solver , 2003, SAT.

[5]  Dennis Shasha,et al.  A subgraph isomorphism algorithm and its application to biochemical data , 2013, BMC Bioinformatics.

[6]  Antoine Rauzy,et al.  New algorithms for fault trees analysis , 1993 .

[7]  Mario Vento,et al.  A (sub)graph isomorphism algorithm for matching large graphs , 2004, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[8]  Makis Stamatelatos,et al.  Fault tree handbook with aerospace applications , 2002 .

[9]  S. K. Nandy,et al.  Experimental Allocation of Safety-Critical Applications on Reconfigurable Multi-Core Architecture , 2018, 2018 IEEE/AIAA 37th Digital Avionics Systems Conference (DASC).

[10]  Ronald L. Rivest,et al.  Introduction to Algorithms, third edition , 2009 .

[11]  Brendan D. McKay,et al.  Practical graph isomorphism, II , 2013, J. Symb. Comput..

[12]  P. Foggia,et al.  Performance evaluation of the VF graph matching algorithm , 1999, Proceedings 10th International Conference on Image Analysis and Processing.

[13]  Julian R. Ullmann,et al.  Bit-vector algorithms for binary constraint satisfaction and subgraph isomorphism , 2010, JEAL.

[14]  S. K. Nandy,et al.  Task allocation of safety-critical applications on reconfigurable multi-core architectures , 2017, 2017 IEEE/AIAA 36th Digital Avionics Systems Conference (DASC).

[15]  Niklas Sörensson,et al.  Translating Pseudo-Boolean Constraints into SAT , 2006, J. Satisf. Boolean Model. Comput..

[16]  Maarouf Saad,et al.  Design of a tolerant flight control system in response to multiple actuator control signal faults induced by cosmic rays , 2016, IEEE Transactions on Aerospace and Electronic Systems.

[17]  S. K. Nandy,et al.  REDEFINE: Runtime reconfigurable polymorphic ASIC , 2009, TECS.