Experimental Allocation of Safety-Critical Applications on Reconfigurable Multi-Core Architecture

Multi-core processors pervade numerous industries but they still represent a challenge for the aerospace industry, where strong certification of every components is required. One way to make them enforce safety-criticality constraints is to ensure reallocation of critical tasks on the chip when they are affected by hardware faults. This paper describes and compares different models of a task reallocation problem for a reconfigurable multi-core architecture. It also presents the first version of the macroscopic model made of Raspberry Pi that was built to represent the multi-core architecture and to test the task allocation algorithm on an actual system, showing the increased robustness that the reallocation algorithm enables while cores are made faulty.

[1]  Roger A. Light Mosquitto: server and client implementation of the MQTT protocol , 2017, J. Open Source Softw..

[2]  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).

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

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

[5]  Juha Plosila,et al.  Network on Chip Routing Algorithms , 2006 .

[6]  Hong Linh Truong,et al.  MQTT-S — A publish/subscribe protocol for Wireless Sensor Networks , 2008, 2008 3rd International Conference on Communication Systems Software and Middleware and Workshops (COMSWARE '08).