research-article

Model-driven Structural and Statistical Testing of Robot Cooperation and Reconfiguration

Authors:

Francesca Saglietti,

Matthias MeitnerAuthors Info & Claims

MORSE '16: Proceedings of the 3rd Workshop on Model-Driven Robot Software Engineering

Pages 17 - 23

https://doi.org/10.1145/3022099.3022102

Published: 01 July 2016 Publication History

Get Access

Abstract

This article proposes a model-based approach to structural and statistical testing of cooperating and reconfigurable autonomous robots. Based on Coloured Petri Net models of cooperative behaviour, it summarizes the main results achieved in the context of two European ARTEMIS projects. As an example, a CPN model of autonomous and reconfigurable trolleys moving within a common environment is considered. The results allow for both a qualitative and a quantitative reliability analysis.

References

[1]

Bergenhem, C., Shladover, S. and Coelingh, E. 2012. Overview of Platooning Systems. Proc. 19th World Congress on Intelligent Transportation Systems.

Google Scholar

[2]

Cai, L., Zhang, J. and Liu, Z. 2010. Generating Test Cases Using Colored Petri Net. Proc. 2nd International Symposium on Information Engineering and Electronic Commerce, IEEE.

Google Scholar

[3]

Jensen, K. and Kristensen, L.M. 2009. Coloured Petri Nets. Springer.

Google Scholar

[4]

Lill, R. and Saglietti, F. 2013. Model-based Testing of Cooperating Robotic Systems using Coloured Petri Nets. SAFECOMP Workshop on Dependable Embedded and Cyber-physical Systems, HAL open access archive, LAASCNRS.

Google Scholar

[5]

Lill, R. and Saglietti, F. 2014. Testing the Cooperation of Autonomous Robotic Agents. Proc. 9th International Conference on Software Engineering and Applications, Scitepress Digital Library.

Google Scholar

[6]

Mitchell, M. 1996. An Introduction to Genetic Algorithms. MIT Press.

Digital Library

Google Scholar

[7]

Murata, T. 1989. Petri Nets - Properties, Analysis and Applications. Proceedings of the IEEE, 77(4).

Crossref

Google Scholar

[8]

Nehmzow, U. 2006. Scientific Methods in Mobile Robotics. Springer.

Digital Library

Google Scholar

[9]

Saglietti, F., Winzinger, S. and Lill, R. 2015. Reconfiguration Testing for Cooperative Autonomous Agents. SAFECOMP 2015 Workshops, Lecture Notes in Computer Science, Vol. LNCS 9338, Springer.

Google Scholar

[10]

Saglietti, F., Föhrweiser, D., Winzinger, S. and Lill, R. 2015. Model-based Design and Testing of Decisional Autonomy and Cooperation in Cyber-physical Systems. Proc. Int. Conference on Software Engineering and Advanced Applications, IEEE Xplore Digital Library.

Digital Library

Google Scholar

[11]

Saglietti, F., Spengler, R. and Meitner, M. 2016. Quantitative Reliability Assessment for Mobile Cooperative Systems. SAFECOMP 2016 Workshops, Lecture Notes in Computer Science, Vol. 9923, Springer.

Google Scholar

[12]

Störmer, H. 1983. Mathematische Theorie der Zuverlässigkeit, Oldenbourg.

Google Scholar

[13]

Weicker, K. 2007. Evolutionäre Algorithmen. Vieweg & Teubner.

Google Scholar

[14]

Wong, W.E., Lei, Y. and Ma, X. 2005. Effective Generation of Test Sequences for Structural Testing of Concurrent Programs. Proc. 10th IEEE International Conference on Engineering of Complex Computer Systems, IEEE.

Digital Library

Google Scholar

Cited By

View all

Araujo HMousavi MVarshosaz M(2023)Testing, Validation, and Verification of Robotic and Autonomous Systems: A Systematic ReviewACM Transactions on Software Engineering and Methodology10.1145/354294532:2(1-61)Online publication date: 30-Mar-2023
https://dl.acm.org/doi/10.1145/3542945
Djukić VPopović A(2023)Handling complex representations in visual modeling tools for MDSD/DSM by means of code generator languagesJournal of Computer Languages10.1016/j.cola.2023.10120875(101208)Online publication date: Jun-2023
https://doi.org/10.1016/j.cola.2023.101208
Peischl BTazl OWotawa F(2022)Testing anticipatory systemsJournal of Systems and Software10.1016/j.jss.2022.111387192:COnline publication date: 25-Aug-2022
https://dl.acm.org/doi/10.1016/j.jss.2022.111387
Show More Cited By

Recommendations

Model-Based Design and Testing of Decisional Autonomy and Cooperation in Cyber-Physical Systems
SEAA '15: Proceedings of the 2015 41st Euromicro Conference on Software Engineering and Advanced Applications

This article presents a study on the benefits offered by Coloured Petri Nets in capturing and separating permanent and temporary behavioural information and on the systematic support they hereby provide to model-based design and testing of cyber-...
Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems

Coloured Petri Nets (CPNs) is a language for the modelling and validation of systems in which concurrency, communication, and synchronisation play a major role. Coloured Petri Nets is a discrete-event modelling language combining Petri nets with the ...
A Distributed and Concurrent Framework for Facilitating Cooperation in Dynamic Environments
WI-IAT '10: Proceedings of the 2010 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 02

This paper describes a framework that supports concurrent execution of multiple activities required for performing complex, cooperative tasks in dynamic environments. The framework is used for coordinating and managing the development and operation of a ...

Comments

Information & Contributors

Information

Published In

MORSE '16: Proceedings of the 3rd Workshop on Model-Driven Robot Software Engineering

July 2016

65 pages

ISBN:9781450342599

DOI:10.1145/3022099

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 July 2016

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article
Research
Refereed limited

Conference

MORSE '16

MORSE '16: Model-Driven Robot Software Engineering

July 1, 2016

Leipzig, Germany

Acceptance Rates

MORSE '16 Paper Acceptance Rate 8 of 11 submissions, 73%;

Overall Acceptance Rate 8 of 11 submissions, 73%

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
59
Total Downloads

Downloads (Last 12 months)2
Downloads (Last 6 weeks)0

Reflects downloads up to 03 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Araujo HMousavi MVarshosaz M(2023)Testing, Validation, and Verification of Robotic and Autonomous Systems: A Systematic ReviewACM Transactions on Software Engineering and Methodology10.1145/354294532:2(1-61)Online publication date: 30-Mar-2023
https://dl.acm.org/doi/10.1145/3542945
Djukić VPopović A(2023)Handling complex representations in visual modeling tools for MDSD/DSM by means of code generator languagesJournal of Computer Languages10.1016/j.cola.2023.10120875(101208)Online publication date: Jun-2023
https://doi.org/10.1016/j.cola.2023.101208
Peischl BTazl OWotawa F(2022)Testing anticipatory systemsJournal of Systems and Software10.1016/j.jss.2022.111387192:COnline publication date: 25-Aug-2022
https://dl.acm.org/doi/10.1016/j.jss.2022.111387
García SStrüber DBrugali DDi Fava APelliccione PBerger T(2022)Software variability in service roboticsEmpirical Software Engineering10.1007/s10664-022-10231-528:2Online publication date: 24-Dec-2022
https://dl.acm.org/doi/10.1007/s10664-022-10231-5

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Abstract

References

Cited By

Recommendations

Model-Based Design and Testing of Decisional Autonomy and Cooperation in Cyber-Physical Systems

Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems

A Distributed and Concurrent Framework for Facilitating Cooperation in Dynamic Environments

Comments

Information

Published In

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Conference

Acceptance Rates

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Login options

Full Access

View options

PDF

eReader

Share

Share this Publication link

Share on social media

Affiliations