Fault Assessment of Safety-Critical Applications on Reconfigurable Multi-Core Architecture
暂无分享,去创建一个
Eric Feron | Thanakorn Khamvilai | Jose M. Magalhaes Junior | Louis Sutter | Aqib A. Syed | E. Feron | Thanakorn Khamvilai | Louis Sutter
[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.