ISBN 978-3-8439-2261-6

978-3-8439-2261-6, Reihe Informatik

Christopher Armbrust
Design and Verification of Behaviour-Based Systems Realising Task Sequences

234 Seiten, Dissertation Technische Universität Kaiserslautern (2015), Softcover, A5

Zusammenfassung / Abstract

This dissertation introduces a novel integrated concept for the development and verification of behaviour-based systems that realise task sequences.

The presented concept describes how sequences of tasks can be encoded in behaviour-based systems.

Said sequences are defined as Moore machines, which are then automatically transferred into skeletons of behaviour networks.

These automatically created networks are typically extended and modified manually, which can easily lead to errors.

Therefore, the concept also proposes an approach to verifying the correctness of the resulting networks.

It is based on modelling behaviour-based systems as networks of automata, which are given as input to the model checking toolbox Uppaal in order to verify crucial requirements.

The soundness of the presented concept is shown using the control system of an autonomous bucket excavator.