Towards Executing Dynamically Updating Finite-State Controllers on a Robot System

Dynamic software updating: a systematic mapping study

“…In this study, we have identified existing types of states, techniques to define states, and techniques for states transformations in DSU as follows: A. Existing types of statesA group of studies have highlighted a group of 15 states that gets attention in DSU including initial state [9, 29, 36, 58, 64, 83, 95, 102, 104, 122, 128 ], quiescent state [5, 9, 40, 65, 83, 91, 112, 126 ], heap state [36, 39, 42, 87, 95, 116 ], object state [4, 5, 45, 116 ], shared state [3, 5 ], backward compatibility state [128 ], tranquil state [63 ], old‐version state [39 ], buggy state [83 ], class state [45 ], components state [65 ], deadlock state [102 ], thread states [104 ], inconsistent state [56 ], and multi‐cycle state [65 ]. B. Current techniques to define statesA number of studies have demonstrated 12 techniques to define states in DSU including state transformer [45, 73, 83, 95, 115 ], formalise as state machine [9, 61, 83, 120 ], adaptation [41, 65 ], prepare ready tainted states [101 ], state convergence algorithm [126 ], state‐based specification language […”

“…Furthermore, the number of investigations have illustrated extra application domains including onboard software attitude orbit control [110 ], power plant controller system [63 ], high‐performance computing [47 ], braking applications [133 ], data destitution centric applications [121 ], scientific applications [50 ], intelligent field devices [98 ], self‐adaptive systems [91 ], safety‐critical embedded systems [53 ], critical software‐intensive systems [122 ], message‐passing programs [118 ], transportation or space applications [122 ], dynamic vehicle software [66 ], speed up automatic program repair [30 ], and enhance security and privacy in high availability energy management applications in smart cities [106 ].…”

“…Furthermore, extra examinations have also shows additional target programs including Siena [35 ], HSQLDB [46 ], Space Invaders [91 ], Lego Mindstorms robot's software [122 ], Over‐Relaxation [50 ], JOnAS [5 ], Xerces [14 ], KissFFT [6 ], FASA [65 ], PaintDotNet [59 ], Zt‐zip [57 ], iperf [3 ], PKUAS [113 ], Flash webserver [80 ], and suricate [3 ].…”

“…For the states transformations, a group of studies have highlighted state transformation techniques in DSU including state mapping [9, 16, 43, 51, 52, 60, 94, 101, 104, 115, 122, 128 ], transformation function [9, 36, 37, 41, 43, 83, 91, 95, 131 ], state migration [52, 55, 105, 114 ], targeted object synthesis [9, 35, 36 ], relinking [29, 117 ], primitive support [39, 116 ], synchronisation [93, 116 ], and dynamic loading [86, 91 ].…”

“…Moreover, number of studies have demonstrated further application domains including the Internet of Things [38, 54, 58, 60, 81, 82, 84, 106, 136 ], cloud computing [84, 88, 136 ], air traffic control systems [78–80, 123, 127, 134 ], component‐based systems [53, 58–60, 63, 71 ], mobile applications [3, 38, 98 ], production plant [61, 120 ], text editors [39, 87 ], robot systems [64, 122 ], games and multimedia [6, 91 ], and financial transaction processors [80, 127 ].…”