Quantitative Reliability Assessment for Mobile Cooperative Systems

Saglietti F, Spengler R, Meitner M (2016)

Publication Language: English

Publication Type: Conference contribution, Conference Contribution

Publication year: 2016

Publisher: Springer-Verlag

Series: Lecture Notes in Computer Science

Book Volume: 9923

Pages Range: 118-129

Conference Proceedings Title: Computer Safety, Reliability, and Security, SAFECOMP 2016 Workshops ASSURE, DECSoS, SASSUR, and TIPS

Event location: Trondheim NO

ISBN: 978-3-319-45479-5

DOI: 10.1007/978-3-319-45480-1_10

Abstract

This article proposes a systematic approach to statistical testing for cooperative systems consisting of autonomous mobile agents. Based on Coloured Petri Net models of cooperative behaviour, it analyses different sources of randomness and defines an automatic test case generation procedure to derive cooperative scenarios according to a given operational profile. As an example, the approach is applied to a model of trolleys moving within a common environment. The results allow for quantitative reliability estimations of cooperative behaviour on the basis of statistical sampling theory.

Authors with CRIS profile

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

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., Spengler, R., & Meitner, M. (2016). Quantitative Reliability Assessment for Mobile Cooperative Systems. In Amund Skavhaug, Jérémie Guiochet, Erwin Schoitsch, Friedemann Bitsch (Eds.), Computer Safety, Reliability, and Security, SAFECOMP 2016 Workshops ASSURE, DECSoS, SASSUR, and TIPS (pp. 118-129). Trondheim, NO: Springer-Verlag.

MLA:

Saglietti, Francesca, Ralf Spengler, and Matthias Meitner. "Quantitative Reliability Assessment for Mobile Cooperative Systems." Proceedings of the SAFECOMP Workshop on Dependable Embedded and Cyber-physical Systems and Systems-of-Systems (DECSoS'16), Trondheim Ed. Amund Skavhaug, Jérémie Guiochet, Erwin Schoitsch, Friedemann Bitsch, Springer-Verlag, 2016. 118-129.

BibTeX: Download