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 条
[11]  
Hang Christine, 2011, Computer Aided Verification. Proceedings 23rd International Conference, CAV 2011, P441, DOI 10.1007/978-3-642-22110-1_35
[12]  
Hasan S, 2019, NASA TECHNICAL REPOR
[13]  
Hillier FS., 1995, INTRO OPERATIONS RES
[14]  
Johnson, 2018, NASA TECHNICAL REPOR
[15]  
KINNAN LM, 2009, DIGIT AVION SYST CON, P216
[16]  
Köppe M, 2012, IMA VOL MATH APPL, V154, P533
[17]  
KOREN CI, 2007, FAULT TOLERANT SYSTE
[18]   Resource allocation robustness in multi-core embedded systems with inaccurate information [J].
Li, Jiayin ;
Ming, Zhong ;
Qiu, Meikang ;
Quan, Gang ;
Qin, Xiao ;
Chen, Tianzhou .
JOURNAL OF SYSTEMS ARCHITECTURE, 2011, 57 (09) :840-849
[19]  
Loekstad, 2015, US Patent App., Patent No. [14/432,938, 14432938]
[20]   Challenges in Future Avionic Systems on Multi-core Platforms [J].
Lofwenmark, Andreas ;
Nadjm-Tehrani, Simin .
2014 IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW), 2014, :115-119