Write a Blog >>
ICSE 2020
Mon 5 - Sun 11 October 2020 Yongsan-gu, Seoul, South Korea
Mon 5 Oct 2020 17:07 - 17:21 at Hanra C - Software Activities

Mobile robots are increasingly used in complex environments, often for accomplishing tasks by end-users with no knowledge or expertise in mathematics, computer science, or robotics. Providing techniques that support robotic software development is a major software engineering challenge. One of the most prominent software engineering problems in the robotic domain is the definition of the mission the robotic software must accomplish and the translation of this mission into a form that enables automated reasoning. On one hand, missions should be defined with a notation that is sufficiently high-level and user-friendly. On the other hand, to enable automated reasoning, the notation should be unambiguous and provide a formal and precise description of what robots should do in terms of movements and actions. Software engineers typically express robotic missions in natural language (mission requirements) and subsequently translate them into more precise mission specifications. The latter are often expressed in domain-specific languages or temporal logics. Defining robotic missions is generally challenging – as widely recognized in both the software engineering and robotics communities – since mission requirements are often ambiguous, hindering precise and unambiguous specification.

To support engineers in the definition of mission requirements and specifications we proposed a new set of patterns focusing on robot movement, as well as on how robots perform actions within their environment [4]. The set of patterns, in the form of a catalog, has been produced by analyzing 245 natural-language mission requirements systematically retrieved from robotics literature. From these requirements, we identified recurrent mission specification problems and conceived template solutions, organized as patterns. Our patterns provide a vocabulary that supports engineers in defining mission requirements and validated mission specifications for recurrent mission requirements. The usage of our patterns is supported by a tool, namely PsALM (Pattern bAsed Mission specifier [2]), that allows (i) specifying a mission requirement through a structured English grammar, and (ii)~automatically generating specifications from mission requirements. Our patterns and tool are available online [1].

We checked the presence of errors in proposed patterns by testing the patterns on a set of 12 randomly generated models representing buildings where a robot is deployed. We considered ten mission requirements (each obtained by combining different patterns), converted the mission requirements into mission specifications and used those to generate robots’ plans. We used a simulator to verify that the plans satisfied the intended mission requirement. We subsequently generated two specifications for each mission requirement obtained by considering different target specification languages. We verified the correspondence among the proposed specifications.

We evaluated the benefits of using our patterns for designing missions. We collected 441 mission requirements in natural language: 436 obtained from robotic development environments used by practitioners, and five defined in collaboration with two well-known robotics companies developing commercial, human-size service robots (BOSCH and PAL Robotics). We showed that most of the mission requirements were ambiguous but expressible using the proposed patterns, and that the usage of our patterns reduces ambiguities. We then evaluated the coverage of mission specifications. We collected 1251 mission specifications from robotic development environments used by practitioners and research publications and show that almost all specifications can be obtained using the proposed patterns (1154 over $251, i.e., ≈ 92%). We also generated specifications for five mission requirements defined in collaboration with the two robotics partners and fed them into an existing planner. The produced plans were correctly executed by real robots, demonstrating the benefits of patterns’ support in real scenarios. Videos are available on our website [1].

A small fragment of this work has been published as an extended abstract [3] and a tool-demo paper [2] where we presented the initial idea and a description of our toolset for early dissemination. Our following paper [4] presents our work in full extent, explaining the methodology, all patterns along with their formalization, as well as evaluation of the patterns’ correctness and benefit using real-world mission requirements and mission specifications.

[1] 2018. Robotic Patterns. http://roboticpatterns.com/.

[2] Claudio Menghi, Christos Tsigkanos, Thorsten Berger, and Patrizio Pelliccione. 2019. PsALM: Specification of Dependable Robotic Missions. In Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings (ICSE’19). IEEE Press, 99–102. https://doi.org/10.1109/ICSE-Companion.2019.00048

[3] C. Menghi, C. Tsigkanos, T. Berger, P. Pelliccione, and C. Ghezzi. 2018. Poster: Property Specification Patterns for Robotic Missions. In 2018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion). 434–435.

[4] C. Menghi, C. Tsigkanos, P. Pelliccione, C. Ghezzi, and T. Berger. 2019. Specification Patterns for Robotic Missions. IEEE Transactions on Software Engineering (2019), 1–1. https://doi.org/10.1109/TSE.2019.2945329

Mon 5 Oct

icse-2020-paper-presentations
16:10 - 17:50: Paper Presentations - Software Activities at Hanra C
icse-2020-Journal-First16:10 - 16:24
Talk
Farhaan FowzeUniversity of Florida, Dave (Jing) TianPurdue University, Grant HernandezUniversity of Florida, Kevin ButlerUniv. Florida, Tuba YavuzUniversity of Florida
icse-2020-Journal-First16:24 - 16:38
Talk
Sangameshwar PatilDept. of CSE, IIT Madras and TRDDC, TCS, Balaraman RavindranIIT Madras
icse-2020-Journal-First16:38 - 16:52
Talk
Valentin ManèsCSRC, KAIST, HyungSeok HanKAIST, Choongwoo HanNAVER Corporation, Sang Kil ChaKAIST, Manuel EgeleBoston University, USA, Edward SchwartzCarnegie Mellon University, Maverick WooCarnegie Mellon University
icse-2020-Journal-First16:52 - 17:07
Talk
Gunel JahangirovaUniversità della Svizzera italiana, David ClarkUniversity College London, Mark Harman, Paolo TonellaUniversità della Svizzera italiana
icse-2020-Journal-First17:07 - 17:21
Talk
Claudio MenghiUniversity of Luxembourg, SnT, Christos TsigkanosTU Vienna, Patrizio PelliccioneChalmers | University of Gothenburg and University of L'Aquila, Carlo GhezziPolitecnico di Milano, Thorsten BergerChalmers | University of Gothenburg
icse-2020-Journal-First17:21 - 17:35
Talk
Rubing HuangJiangsu University, Weifeng SunJiangsu University, Yinyin XuJiangsu University, Haibo ChenJiangsu University, Dave ToweyUniversity of Nottingham Ningbo China, Xin XiaMonash University
icse-2020-Journal-First17:35 - 17:50
Talk
Gopi Krishnan RajbahadurQueen's University, Shaowei WangMississippi State University, Yasutaka KameiKyushu University, Ahmed E. HassanQueen's University