Reconfiguration Testing for Cooperative Autonomous Agents

Saglietti F, Winzinger S, Lill R (2015)

Publication Language: English

Publication Type: Conference contribution

Publication year: 2015

Publisher: Springer

Series: Lecture Notes in Computer Science (LNCS)

Book Volume: Volume 9338

Pages Range: 144-155

Conference Proceedings Title: Computer Safety, Reliability, and Security, SAFECOMP 2015 Workshops

Event location: Delft (NL)

Journal Issue: tbd

ISBN: 978-3-319-24248-4

DOI: 10.1007/978-3-319-24249-1_13

Abstract

In order to verify reconfiguration of interacting autonomous agents to be exclusively beneficial and never hazardous to cyber-physical systems, this article suggests a systematic approach based on incremental model-based testing and illustrates its application to cooperating mobile robots.

Authors with CRIS profile

Francesca Saglietti Lehrstuhl für Informatik 11 (Software-Engineering) (SWE) Stefan Winzinger Lehrstuhl für Informatik 11 (Software-Engineering) (SWE) Raimar Lill 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., Winzinger, S., & Lill, R. (2015). Reconfiguration Testing for Cooperative Autonomous Agents. In F. Koornneef and C. van Gulijk (Eds.), Computer Safety, Reliability, and Security, SAFECOMP 2015 Workshops (pp. 144-155). Delft (NL): Springer.

MLA:

Saglietti, Francesca, Stefan Winzinger, and Raimar Lill. "Reconfiguration Testing for Cooperative Autonomous Agents." Proceedings of the SAFECOMP 2015 Workshop on "Dependable Embedded and Cyber-Physical Systems and Systems-of-Systems" (DECSoS 2015), Delft (NL) Ed. F. Koornneef and C. van Gulijk, Springer, 2015. 144-155.

BibTeX: Download