Online adaptation for autonomous unmanned systems driven by requirements satisfaction model (original) (raw)
References
Erdelj, M., Natalizio, E., Chowdhury, K.R., Akyildiz, I.F.: Help from the sky: leveraging uavs for disaster management. IEEE Pervasive Comput. 16(1), 24–32 (2017) Article Google Scholar
Aldrich, J., Garlan, D., Kästner, C., Goues, C.L., Mohseni-Kabir, A., Ruchkin, I., Samuel, S., Schmerl, B.R., Timperley, C.S., Veloso, M., Voysey, I., Biswas, J., Guha, A., Holtz, J., Cámara, J., Jamshidi, P.: Model-based adaptation for robotics software. IEEE Softw. 36(2), 83–90 (2019) Article Google Scholar
Jamshidi, P., Cámara, J., Schmerl, B. R., Kästner, C., Garlan, D.: Machine learning meets quantitative planning: enabling self-adaptation in autonomous robots. In: Proceedings of the 14th IEEE/ACM international symposium on software engineering for adaptive and self-managing systems (SEAMS). pp 39–50, (2019)
Leveson, N.G.: Engineering a safer world: systems thinking applied to safety. The MIT Press, Cambridge (2016) Google Scholar
Luo, Y., Yu, Y., Jin, Z., Zhao, H.: Environment-centric safety requirements for autonomous unmanned systems. In: Proceedings of the 27th IEEE international requirements engineering conference (RE). pages 410–415 (2019)
Dalpiaz, F., Niu, N.: Requirements engineering in the days of artificial intelligence. IEEE Softw. 37(4), 7–10 (2020) Article Google Scholar
Jin, Z.: Environment Modeling based Requirements Engineering for Software Intensive Systems. Elsevier, Morgan Kaufmann Publisher (2018) Google Scholar
Zhang, M., Ali, S., Yue, T.: Uncertainty-wise test case generation and minimization for cyber-physical systems. J. Syst. Softw. 153, 1–21 (2019) Article Google Scholar
Kim, H., Ben-Othman, J., Mokdad, L.: UDiPP: a framework for differential privacy preserving movements of unmanned aerial vehicles in smart cities. IEEE Trans. Veh. Technol. 68(4), 3933–3943 (2019) Article Google Scholar
Giese, H., Bencomo, N., Pasquale, L., Ramirez, A.J., Inverardi, P., Wätzoldt, S., Clarke, S.: Living with uncertainty in the age of runtime models. In: Models@run.time: foundations, applications, and roadmaps., volume 8378 of Lecture Notes in Computer Science. pp 47–100 (2011)
Shevtsov, S., Berekmeri, M., Weyns, D., Maggio, M.: Control-theoretical software adaptation: a systematic literature review. IEEE Trans. Software Eng. 44(8), 784–810 (2017) Article Google Scholar
Shevtsov, S., Weyns, D., Maggio, M.: Self-adaptation of software using automatically generated control-theoretical solutions. In: Engineering adaptive software systems. pp 35–55. Springer (2019)
Klein, C, Maggio, M, Årzén, K.-E., Hernández-Rodriguez, F.: Brownout: building more robust cloud applications. In: Proceedings of the 36th international conference on software engineering (ICSE). pp 700–711 (2014)
Filieri, A., Hoffmann, H., Maggio, M.: Automated multi-objective control for self-adaptive software design. In: Proceedings of the 10th joint meeting on foundations of software engineering (ESEC/FSE). pp 13–24, (2015)
Shevtsov, S., Weyns, D.: Keep it SIMPLEX: satisfying multiple goals with guarantees in control-based self-adaptive systems. In: Proceedings of the 24th international symposium on foundations of software engineering (ESEC/FSE). pp 229–241, (2016)
Shevtsov, S., Weyns, D., Maggio, M.: SimCA*: a control-theoretic approach to handle uncertainty in self-adaptive systems with guarantees. ACM Trans. Autonom. Adapt. Syste. 13(4), 17 (2019) Google Scholar
Maggio, M., Papadopoulos, A. V., Filieri, A., Hoffmann, H.: Automated control of multiple software goals using multiple actuators. In Proceedings of the 11th joint meeting on foundations of software engineering (ESEC/FSE), pp 373–384, (2017)
Edwards, R., Bencomo, N.: DeSiRE: further understanding nuances of degrees of satisfaction of non-functional requirements trade-off. In Proceedings of the 13th IEEE/ACM international symposium on software engineering for adaptive and self-managing systems (SEAMS), pages 12–18, (2018)
Weyns, D.: Software engineering of self-adaptive systems. In: Handbook of software engineering. pp 399–443. Springer (2019)
Whittle, J., Sawyer, P., Bencomo, N., Cheng, B.H., Bruel, J.-M.: RELAX: a language to address uncertainty in self-adaptive systems requirement. Requir. Eng. 15(2), 177–196 (2010) Article Google Scholar
Whittle, J., Sawyer, P., Bencomo, N., Cheng, B.H., Bruel, J.-M.: Relax: Incorporating uncertainty into the specification of self-adaptive systems. In: Proceedings of the 17th IEEE international requirements engineering conference (RE). pp 79–88, (2009)
Baresi, L., Pasquale, L., Spoletini, P.: Fuzzy goals for requirements-driven adaptation. In Proceedings of the 18th IEEE international requirements engineering conference (RE). pp 125–134, (2010)
Fredericks, E.M., DeVries, B., Cheng, B.H.C.: AutoRELAX: automatically relaxing a goal model to address uncertainty. Emp. Softw. Eng. 19(5), 1466–1501 (2014) Article Google Scholar
Solano, G.F., Caldas, R.D., Rodrigues, G.N., Vogel, T., Pelliccione, P.: Taming uncertainty in the assurance process of self-adaptive systems: a goal-oriented approach. In: Proceedings of the 14th IEEE/ACM international symposium on software engineering for adaptive and self-managing systems (SEAMS), pages 89–99 (2019)
Alrajeh, D., Cailliau, A., van Lamsweerde, A.: Adapting requirements models to varying environments. In: Proceedings of the 42nd international conference on software engineering (ICSE), pp 50–61 (2020)
Kimchi, G., Buchmueller, D., Green, S.A., Beckman, B. C, Isaacs, S., Navot, A., Hensel, F., Bar-Zeev, A., Jean-Michel R., Severan S.: Unmanned aerial vehicle delivery system (2017). US Patent 9,573,684
ABC NEWS. Amazon’s Drone Delivery Idea Launches Funny Tweets, (2013)
Chang, V., Chundury, P., Chetty, M.: Spiders in the sky: User perceptions of drones, privacy, and security. In: Proceedings of the 35th acm conference on human factors in computing systems (CHI). pp 6765–6776 (2017)
Li, Z., Gao, C., Yue, Q., Fu, X.: Toward drone privacy via regulating altitude and payload. In: Proceedings of the 8th IEEE international conference on computing, networking and communications (ICNC). pp 562–566 (2019)
Yel, E., Lin, T. X., Bezzo, N.: Self-triggered adaptive planning and scheduling of uav operations. In: Proceedings of the 35th IEEE international conference on robotics and automation (ICRA). pp 7518–7524 (2018)
Luo, Y., Yu, Y., Jin, Z., Li, Y., Ding, Z., Zhou, Y., Liu, Y.: Privacy-aware uav flights through self-configuring motion planning. In: Proceedings of the 37th IEEE international conference on robotics and automation (ICRA). pp 1169–1175 (2020)
Maia, P. H., Vieira, L., Chagas, M., Yu, Y., Zisman, A., Nuseibeh, B.: Cautious adaptation of defiant components. In: Proceedings of the 34th IEEE/ACM international conference on automated software engineering (ASE). pages 974–985, (2019)
Spong, M.W., Hutchinson, S., Vidyasagar, M.: Robot Modeling and Control. Wiley, NY (2020) Google Scholar
Siciliano, B., Sciavicco, L., Villani, L., Oriolo, G.: Robotics: Modelling, Planning and Control. Springer, Berlin (2010) Google Scholar
ISO: Robots and robotic devices: safety requirements for industrial robots—Part 1: Robots (2011)
Neace, K., Roncace, R., Fomin, P.: Goal model analysis of autonomy requirements for unmanned aircraft systems. Requir. Eng. 23(4), 509–555 (2018) Article Google Scholar
Singireddy, S. R. R., Daim, T. U.: Technology roadmap: Drone delivery—amazon prime air. In: Infrastructure and technology management. pp 387–412. Springer (2018)
Morse, J., Araiza-Illan, D., Eder, K., Lawry, J., Richards, A.: A fuzzy approach to qualification in design exploration for autonomous robots and systems. In: Proceedings of the 26th IEEE international conference on fuzzy systems (FUZZ-IEEE), pp 1–6 (2017)
Lutz, R., Cleland-Huang, J.: The risk of overly strict requirements. IEEE Softw. 34(2), 26–29 (2017) Article Google Scholar
Gill, P. E., Wong, E.: Sequential quadratic programming methods. In: Mixed integer nonlinear programming
Schittkowski, K.: NLPQL: a fortran subroutine solving constrained nonlinear programming problems. Ann. Oper. Res. 5(2), 485–500 (1986) ArticleMathSciNet Google Scholar
Konnik, M., De Doná, J.: Hot-start efficiency of quadratic programming algorithms for fast model predictive control: a comparison via an adaptive optics case study. In: Proceedings of the 4th IEEE Australian control conference (AUCC), pp 95–100, (2014)
Corke, P.: Robotics, vision and control: fundamental algorithms in MATLAB® second, completely revised, volume 118. Springer, (2017)
Burian, S.J., Velugubantla, S. P., Chittineni, K., Maddula, S. R. K. Brown, M. J.: Morphological analyses using 3d building databases: Portland, oregon. Technical report, Utah. LA-UR, Los Alamos National Laboratory, Los Alamos, NM, (2002)
Arcuri, A., Briand, L. C.: A practical guide for using statistical tests to assess randomized algorithms in software engineering. In: Proceedings of the 33rd international conference on software engineering, (ICSE). pp–10, (2011)
Capon, J.A.: Elementary Statistics for the Social Sciences: Study Guide. Wadsworth Publishing Company Belmont, CA, USA (1991) Google Scholar
Vargha, A., Delaney, H.D.: A critique and improvement of the CL common language effect size statistics of McGraw and Wong. J. Edu. Behav. Stat. 25(2), 101–132 (2000) Google Scholar
Hidalgo-Panagua, A., Vega-Rodríguez, M.A., Ferruz, J., Pavón, N.: Solving the multi-objective path planning problem in mobile robotics with a firefly-based approach. Soft. Comput. 21(4), 949–964 (2017) Article Google Scholar
Ramírez, A., Raúl Romero, J., Ventura, S.: A survey of many-objective optimisation in search-based software engineering. J. Syst. Softw. 149, 382–395 (2019) Article Google Scholar
Fan, H., Zhu, F., Liu, C., Zhang, L., Zhuang, L., Li, D., Zhu, W., Hu, J., Li, H., Kong, Q.: Baidu apollo EM motion planner. arXiv:1807.08048 (2018)
Liu, Y., Chen, Z., Jiao, W.: A multi-goal oriented approach for adaptation rules generation. In: Proceedings of the 25th IEEE Asia-Pacific software engineering conference (APSEC), pages 249–257, (2018)
Picasso, B., De Vito, D., Scattolini, R., Colaneri, P.: An mpc approach to the design of two-layer hierarchical control systems. Automatica 46(5), 823–831 (2010) ArticleMathSciNet Google Scholar
Vierhauser, M., Cleland-Huang, J., Rabiser, R., Krismayer, T., Grünbacher, P.: Supporting diagnosis of requirements violations in systems of systems. In: Proceedings of the 26th IEEE international requirements engineering conference (RE)
Salifu, M., Yu, Y., Nuseibeh, B.: Specifying monitoring and switching problems in context. In: Proceedings of the 15th IEEE international requirements engineering conference (RE), pp 211–220, (2007)
Silva S., Vítor E., Lapouchnian, A., Robinson, W. N., Mylopoulos, J.: Awareness requirements for adaptive systems. In: Proceedings of the 6th IEEE/ACM international symposium on software engineering for adaptive and self-managing systems (SEAMS), pp 60–69, (2011)
DeVries, B., Cheng, B. H. C.: Using models at run time to detect incomplete and inconsistent requirements. In: Proceedings of the 20th ACM/IEEE international conference on model driven engineering languages and systems (MODELS), pp 201–209 (2017)
Ramirez, A. J., Cheng, B. H..: Automatic derivation of utility functions for monitoring software requirements. In: Proceedings of the 14th ACM/IEEE international conference on model driven engineering languages and systems (MODELS). pp 501–506 (2011)
Knauss, A., Damian, D., Franch, X., Rook, A., Müller, H.A., Thomo, A.: ACon: a learning-based approach to deal with uncertainty in contextual requirements at runtime. Inf. Softw. Technol. 70, 85–99 (2016) Article Google Scholar
Vierhauser, M., Cleland-Huang, J., Bayley, S., Krismayer, T., Rabiser, R., Grünbacher, P.: Monitoring CPS at runtime: a case study in the UAV domain. In: Proceedings of the 44th IEEE Euromicro conference on software engineering and advanced applications (SEAA). pp 73–80, (2018)
Kramer, J., Magee, J.: Self-managed systems: an architectural challenge. In: Workshop on the future of software engineering (FOSE), pp 259–268, (2007)
Braberman, V. A., D’Ippolito, N., Kramer, J., Sykes, D., Uchitel, S.: An extended description of MORPH: A reference architecture for configuration and behaviour self-adaptation. In: Software engineering for self-adaptive systems III., volume 9640 of Lecture Notes in Computer Science, pp 377–408, (2013)
Klös, V., Göthel, T., Glesner, S.: Runtime management and quantitative evaluation of changing system goals in complex autonomous systems. J. Syst. Softw. 144, 314–327 (2018) Article Google Scholar
Blair, G., Bencomo, N., France, R.B.: Models@ run. time. Computer 42(10), 22–27 (2009) Article Google Scholar
Aßmann, U., Götz, S., Jézéquel, J.-M., Morin, B., Trapp, M.: A reference architecture and roadmap for models@run.time systems. In: Models@run.time, volume 8378 of Lecture Notes in Computer Science, pp 1–18, (2011)
Fleurey, F., Solberg, A.: A domain specific modeling language supporting specification, simulation and execution of dynamic adaptive systems. In: Proceedings of the 12th ACM/IEEE international conference on model driven engineering languages and systems (MODELS), pp 606–621, (2009)
Dubus, J., Merle, P.: Applying OMG d&c specification and ECA rules for autonomous distributed component-based systems. In: Proceedings of the 9th ACM/IEEE international conference on model driven engineering languages and systems (MODELS), pp 242–251, (2006)
Fleurey, F., Dehlen, V., Bencomo, N., Morin, B., Jézéquel, J.-M.: Modeling and validating dynamic adaptation. In: Proceedings of the 11th ACM/IEEE international conference on model driven engineering languages and systems (MODELS), pp 97–108, (2008)
Cugola, G., Ghezzi, C., Pinto, L.S., Tamburrelli, G.: Selfmotion: a declarative approach for adaptive service-oriented mobile applications. J. Syst. Softw. 92, 32–44 (2014) Article Google Scholar
Bennaceur, A., France, R., Tamburrelli, G., Vogel, T., Mosterman, P. J., Walter C., Costa, F. M., Alfonso P., Matthias T., Mehmet A., et al. Mechanisms for leveraging models at runtime in self-adaptive software. In: Models@run.time. pp 19–46. (2014)
Shevtsov, S., Weyns, D., Maggio, M.: Handling new and changing requirements with guarantees in self-adaptive systems using simca. In: Proceedings of the 12th IEEE/ACM international symposium on software engineering for adaptive and self-managing systems (SEAMS), pp 12–23, (2017)
Angelopoulos, K., Papadopoulos, A. V., Vítor, E S., Mylopoulos, J.: Model predictive control for software systems with cobra. In: Proceedings of the 11th IEEE/ACM international symposium on software engineering for adaptive and self-managing systems (SEAMS), pp 35–46, (2016)
Angelopoulos, K., Papadopoulos, A.V., Souza, V.E.S., Mylopoulos, J.: Engineering self-adaptive software systems: from requirements to model predictive control. ACM Trans. Autonom. Adapt. Syst. 13(1), 1–27 (2018) Article Google Scholar
Moreno, G. A., Cámara, J., Garlan, D., Schmerl, B.: Proactive self-adaptation under uncertainty: a probabilistic model checking approach. In: Proceedings of the 10th joint meeting on foundations of software engineering (ESEC/FSE), pp 1–12, (2015)
Moreno, G. A, Cámara, J., Garlan, D., Schmerl, B.: Efficient decision-making under uncertainty for proactive self-adaptation. In: Proceedings of the 13th IEEE international conference on autonomic computing (ICAC), pp 147–156, (2016)
Moreno, G. A., Papadopoulos, A. V., Angelopoulos, K., Cámara, J., Schmerl, B.: Comparing model-based predictive approaches to self-adaptation: Cobra and pla. In: Proceedings of the 12th IEEE/ACM international symposium on software engineering for adaptive and self-managing systems (SEAMS), pp 42–53, (2017)