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

Saglietti F, Meitner M (2016)

Publication Language: English

Publication Type: Conference contribution

Publication year: 2016

Publisher: ACM Digital Library

Conference Proceedings Title: Proceedings Third Workshop on Model-Driven Robot Software Engineering

Event location: Dresden

ISBN: 978-1-4503-4259-9

DOI: 10.1145/3022099.3022102

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.

Authors with CRIS profile

Francesca Saglietti Lehrstuhl für Informatik 11 (Software-Engineering) (SWE) Matthias Meitner Lehrstuhl für Informatik 11 (Software-Engineering) (SWE)

Related research project(s)

Reliability... R5-COP: Reconfigurable ROS-Based Resilient Reasoning Robotic Co-operating Systems Feb. 1, 2014 - March 31, 2017

How to cite

APA:

Saglietti, F., & Meitner, M. (2016). Model-driven Structural and Statistical Testing of Robot Cooperation and Reconfiguration. In Proceedings Third Workshop on Model-Driven Robot Software Engineering. Dresden: ACM Digital Library.

MLA:

Saglietti, Francesca, and Matthias Meitner. "Model-driven Structural and Statistical Testing of Robot Cooperation and Reconfiguration." Proceedings of the Third Workshop on Model-Driven Robot Software Engineering (MORSE 2016), Dresden ACM Digital Library, 2016.

BibTeX: Download