Affiliation:
1. Nanjing University of Aeronautics and Astronautics, China and Simula Research Laboratory, Norway
2. Simula Research Laboratory, Norway
3. Mondragon University, Spain
4. Orona, Spain
Abstract
Industrial elevator systems are commonly used software systems in our daily lives, which operate in uncertain environments such as unpredictable passenger traffic, uncertain passenger attributes and behaviors, and hardware delays. Understanding and assessing the robustness of such systems under various uncertainties enable system designers to reason about uncertainties, especially those leading to low system robustness, and consequently improve their designs and implementations in terms of handling uncertainties. To this end, we present a comprehensive empirical study conducted with industrial elevator systems provided by our industrial partner Orona, which focuses on assessing the robustness of a dispatcher, i.e., a software component responsible for elevators’ optimal scheduling. In total, we studied 90 industrial dispatchers in our empirical study. Based on the experience gained from the study, we derived an uncertainty-aware robustness assessment method (named
UncerRobua
) comprising a set of guidelines on how to conduct the robustness assessment and a newly proposed ranking algorithm, for supporting the robustness assessment of industrial elevator systems against uncertainties.
Publisher
Association for Computing Machinery (ACM)
Reference64 articles.
1. Evaluating the elevator passenger average travelling time under incoming traffic conditions using analytical formulae and the Monte Carlo method;Al-Sharif Lutfi;Elevator World,2013
2. Lutfi Al-Sharif Zaid Jaber Jamal Hamdan and Anas Riyal. 2016. Evaluating the performance of elevator group control algorithms using a three-element new paradigm. Building services engineering research and technology 37 5(2016) 597-613. DOI: https://doi.org/10.1177/0143624416652182 10.1177/0143624416652182
3. Lutfi Al-Sharif Zaid Jaber Jamal Hamdan and Anas Riyal. 2016. Evaluating the performance of elevator group control algorithms using a three-element new paradigm. Building services engineering research and technology 37 5(2016) 597-613. DOI: https://doi.org/10.1177/0143624416652182
4. Shaukat Ali , Hong Lu , Shuai Wang , Tao Yue , and Man Zhang . 2017. Uncertainty-wise testing of cyber-physical systems . In Advances in Computers. Vol. 107 . Elsevier , 23–94. DOI: https://doi.org/10.1016/bs.adcom.2017.06.001 10.1016/bs.adcom.2017.06.001 Shaukat Ali, Hong Lu, Shuai Wang, Tao Yue, and Man Zhang. 2017. Uncertainty-wise testing of cyber-physical systems. In Advances in Computers. Vol. 107. Elsevier, 23–94. DOI: https://doi.org/10.1016/bs.adcom.2017.06.001
5. Using Machine Learning to Build Test Oracles: an Industrial Case Study on Elevators Dispatching Algorithms
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献