Exposing off-nominal behaviors in multi-robot coordination
Pages 17 - 24
Abstract
Often software in robotics systems is susceptible to unexpected and unforeseen behaviors called off-nominal behaviors (ONBs) and these ONBs can affect the reliability or safety of the systems. While some work is done on exposing ONBs in a system, there has been little research conducted on exposing ONBs when multiple robots perform a task together. In this paper, we propose a combinatorial based approach to expose ONBs in such multi-robot coordination tasks during the requirements engineering phase. Our approach separates system level analysis and coordination level analysis, and generates combinations that need to be manually analyzed for ONBs. To evaluate the effectiveness of our approach, we conducted an empirical study with a set of requirements that have three coordination tasks. The results of our study show that our approach offers a means for ONB knowledge acquisition and reduces significant human effort and time required for exposing ONBs.
References
[1]
N. G. Leveson, "System safety in computer-controlled automotive systems," SAE transactions, vol. 109, no. 7, pp. 287--294, 2000.
[2]
J. Day, K. Donahue, M. D. Ingham, A. Kadesch, A. Kennedy, and E. Post, "Modeling off-nominal behavior in sysml." in AIAA Infotech, 2012, pp. 19--21.
[3]
A. T. Vemuri, M. M. Polycarpou, and S. A. Diakourtis, "Neural network based fault detection in robotic manipulators," IEEE Trans. Robot. Autom., vol. 14, no. 2, pp. 342--348, Apr 1998.
[4]
S. Verma, S. Lozito, K. Thomas, and D. Ballinger, "Procedures for off-nominal cases: Very closely spaced parallel runway operations," in DASC'08, 2008, pp. 2.C.4-1--2.C.4-11.
[5]
K. Madala, H. Do, and D. Aceituna, "A combinatorial approach for exposing off-nominal behaviors," in ICSE'18, 2018.
[6]
Z. Yan, N. Jouandeau, and A. A. Cherif, "A survey and analysis of multi-robot coordination," IJARS, vol. 10, no. 12, p. 399, 2013.
[7]
E. Matson and S. Deloach, "Integrating robotic sensor and effector capabilities with multiagent organizations," in IC-AI'04. Citeseer, 2004.
[8]
D. Bozhinoski, D. D. Ruscio, I. Malavolta, P. Pelliccione, and I. Crnkovic, "Safety for mobile robotic systems: A systematic mapping study from a software engineering perspective," Journal of Systems and Software, vol. 151, pp. 150 -- 179, 2019.
[9]
Y. Lei, R. Kacker, D. R. Kuhn, V. Okun, and J. Lawrence, "IPOG/IPOG-D: efficient test generation for multi-way combinatorial testing," JSTVR, vol. 18, no. 3, pp. 125--148, 2008.
[10]
M. Dorigo, E. Tuci, R. Groß, V. Trianni, T. H. Labella, S. Nouyan, C. Ampatzis, J.-L. Deneubourg, G. Baldassarre, S. Nolfi, F. Mondada, D. Floreano, and L. M. Gambardella, "The swarm-bots project," in Swarm Robotics. Springer Berlin Heidelberg, 2005, pp. 31--44.
[11]
F. Ducatelle, G. A. Di Caro, and L. M. Gambardella, "Cooperative self-organization in a heterogeneous swarm robotic system," in GECCO '10. New York, NY, USA: ACM, 2010, pp. 87--94.
[12]
T. Stirling, J. Roberts, J. C. Zufferey, and D. Floreano, "Indoor navigation with a swarm of flying robots," in ICRA'12, May 2012, pp. 4641--4647.
[13]
A. Saxena, C. S. Satsangi, and A. Saxena, "Collective collaboration for optimal path formation and goal hunting through swarm robot," in Confluence'14, Sept 2014, pp. 309--312.
[14]
G. Baldassarre, D. Parisi, and S. Nolfi, "Coordination and behaviour integration in cooperating simulated robots," in SAB'04, 2004.
[15]
L. Yu, Y. Lei, R. N. Kacker, and D. R. Kuhn, "Acts: A combinatorial test generation tool," in ICST'13, 2013, pp. 370--375.
[16]
K. Madala, D. Gaither, R. Nielsen, and H. Do, "Automated identification of component state transition model elements from requirements," in RE'17 Workshops, AIRE'17, Sept 2017, pp. 386--392.
[17]
L. E. Parker, "Alliance: An architecture for fault tolerant multirobot cooperation," IEEE Trans. Robot. Autom., vol. 14, no. 2, pp. 220--240, 1998.
[18]
W. Sheng and Q. Yang, "Peer-to-peer multi-robot coordination algorithms: petri net based analysis and design," in AIM'05, July 2005, pp. 1407--1412.
[19]
R. Alur, J. Esposito, M. Kim, V. Kumar, and I. Lee, "Formal modeling and analysis of hybrid systems: A case study in multi-robot coordination," in FM'99, J. M. Wing, J. Woodcock, and J. Davies, Eds. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999, pp. 212--232.
[20]
S. Jeyaraman, A. Tsourdos, R. Zbikowski, and B. White, "Formal techniques for the modelling and validation of a co-operating uav team that uses dubins set for path planning," in Proceedings of the 2005, American Control Conference, 2005., June 2005, pp. 4690--4695 vol. 7.
Recommendations
Hierarchical multi-robot coordination
RoboCup 2010The complexity and variety of household chores creates conflicting demands on the technical design of domestic robots. One solution for this problem is the coordination of several specialized robots based on the master-slave principle. One robot acts as ...
A generic multi-robot coordination strategic layer
RoboComm '07: Proceedings of the 1st international conference on Robot communication and coordinationManaging a team of heterogeneous robots in a dynamic environment poses a challenging job. In this paper a model for a multi-purpose, real-time, adaptable, strategical coordination layer is presented. Based on previous work developed for the RoboCup ...
Coordination strategies for multi-robot exploration and mapping
Situational awareness in rescue operations can be provided by teams of autonomous mobile robots. Human operators are required to teleoperate the current generation of mobile robots for such applications; however, teleoperation is increasingly difficult ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
May 2019
45 pages
Sponsors
- SIGSOFT: ACM Special Interest Group on Software Engineering
- IEEE-CS: Computer Society
Publisher
IEEE Press
Publication History
Published: 27 May 2019
Check for updates
Qualifiers
- Research-article
Conference
ICSE '19
Sponsor:
- SIGSOFT
- IEEE-CS
Upcoming Conference
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 29Total Downloads
- Downloads (Last 12 months)4
- Downloads (Last 6 weeks)0
Reflects downloads up to 07 Jan 2025
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in