On Validity Assurance of Dynamic Reconfiguration for Component-based Programs

Niamanesh, Mahdi; Nobakht, Nafiseh Fekrazad; Jalili, Rasool; Dehkordi, Faranak Heydarian

doi:10.1016/j.entcs.2005.12.070

Cited by 4 publications

(2 citation statements)

References 15 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…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 ].…”

Section: Resultsmentioning

confidence: 99%

Dynamic software updating: a systematic mapping study

Ahmed

Lee

et al. 2020

IET softw.

View full text Add to dashboard Cite

Dynamic software updating (DSU) is shifting gears to modify software systems without a halt. Even though extensive research has been conducted on DSU, it is necessary to synthesise and map the results of recent studies on DSU for prospective research highlights. This study aims to highlight the current state‐of‐the‐art, to recognise trends, and to identify existing open issues in DSU. A systematic mapping study (SMS) was conducted with a set of six research questions. A total of 1066 papers published from 2005 to 2019 were recorded. After a filtering process, 112 primary studies were selected and inspected. This study highlights the current state‐of‐the‐art of DSU including approaches, tools, models, and techniques. Also, this study outlines application domains, research type, and contributions type facets in DSU. In addition, this study demonstrates benchmarks, datasets, evaluation metrics, and existing open issues for future research in DSU. The results of this investigation can be used to highlight current state‐of‐the‐art of DSU, to show trends of DSU, and to demonstrate existing open issues in DSU.

show abstract

Section: Resultsmentioning

confidence: 99%

Dynamic software updating: a systematic mapping study

Ahmed

Lee

et al. 2020

IET softw.

View full text Add to dashboard Cite

show abstract

“…Among other applications of formal methods in this area we mention formal approaches in configuration [24], [22] and the application of model checking methods [10]. However, while the former work is too general the latter approach does not consider the environment.…”

Section: Discussionmentioning

confidence: 99%