Decentralized Task Reallocation on Parallel Computing Architectures Targeting an Avionics Application

被引:3
作者
Khamvilai, Thanakorn [1 ]
Sutter, Louis [2 ]
Baufreton, Philippe [3 ]
Neumann, Francois [3 ]
Feron, Eric [4 ]
机构
[1] Georgia Inst Technol, Sch Aerosp Engn, Atlanta, GA 30332 USA
[2] Dassault Aviat, Paris, France
[3] Safran Elect & Def, Massy, France
[4] King Abdullah Univ Sci & Technol, Div Comp Elect Math Sci & Engn, Thuwal, Saudi Arabia
基金
美国国家科学基金会;
关键词
Parallel computing; Distributed computing; Reconfigurable; Safety-critical; Fault tolerance; Avionics; Integer linear programming; ALLOCATION;
D O I
10.1007/s10957-021-01862-7
中图分类号
C93 [管理学]; O22 [运筹学];
学科分类号
070105 ; 12 ; 1201 ; 1202 ; 120202 ;
摘要
This work presents an online decentralized allocation algorithm of a safety-critical application on parallel computing architectures, where individual Computational Units can be affected by faults. The described method includes representing the architecture by an abstract graph where each node represents a Computational Unit. Applications are also represented by the graph of Computational Units they require for execution. The problem is then to decide how to allocate Computational Units to applications to guarantee execution of a safety-critical application. The problem is formulated as an optimization problem with the form of an Integer Linear Program. A state-of-the-art solver is then used to solve the problem. Decentralizing the allocation process is achieved through redundancy of the allocator executed on the architecture. No centralized element decides on the allocation of the entire architecture, thus improving the reliability of the system. Inspired by multi-core architectures in avionics systems, an experimental illustration of the work is also presented. It is used to demonstrate the capabilities of the proposed allocation process to maintain the operation of a physical system in a decentralized way while individual components fail.
引用
收藏
页码:874 / 898
页数:25
相关论文
共 40 条
[1]   Strictly periodic scheduling in IMA-based architectures [J].
Al Sheikh, Ahmad ;
Brun, Olivier ;
Hladik, Pierre-Emmanuel ;
Prabhu, Balakrishna J. .
REAL-TIME SYSTEMS, 2012, 48 (04) :359-386
[2]   REDEFINE: Runtime Reconfigurable Polymorphic ASIC [J].
Alle, Mythri ;
Varadarajan, Keshavan ;
Fell, Alexander ;
Reddy, Ramesh C. ;
Joseph, Nimmy ;
Das, Saptarsi ;
Biswas, Prasenjit ;
Chetia, Jugantor ;
Rao, Adarsh ;
Nandy, S. K. ;
Narayan, Ranjani .
ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2009, 9 (02) :11
[3]  
[Anonymous], 2010, 2010 IEEE INT S PAR, DOI DOI 10.1109/IPDPSW.2010.5470753
[4]  
Ben Cheikh TL, 2012, IEEE INT NEW CIRC, P49, DOI 10.1109/NEWCAS.2012.6328953
[5]  
Berthe B., 2007, A380 ATA 42 CERTIFIC
[6]  
Chen TP, 2007, 2007 IEEE INTERNATIONAL CONFERENCE ON MULTIMEDIA AND EXPO, VOLS 1-5, P1862
[7]   Introduction to Special Issue on Multi-Core Architectures in Avionics Systems [J].
Durak, Umut ;
Bapp, Falco .
JOURNAL OF AEROSPACE INFORMATION SYSTEMS, 2019, 16 (11) :441-441
[8]   Analytical Results on the BFS vs. DFS Algorithm Selection Problem: Part II: Graph Search [J].
Everitt, Tom ;
Hutter, Marcus .
AI 2015: ADVANCES IN ARTIFICIAL INTELLIGENCE, 2015, 9457 :166-178
[9]  
Hackenberg D.L., 2018, NASA TECHNICAL REPOR
[10]  
Haldar, 2019, 2019 IEEE AIAA 38 DI