Datenbestand vom 25. Januar 2020
Tel: 089 / 66060798
Mo - Fr, 9 - 12 Uhr
Fax: 089 / 66060799
aktualisiert am 25. Januar 2020
978-3-8439-2261-6, Reihe Informatik
Design and Verification of Behaviour-Based Systems Realising Task Sequences
234 Seiten, Dissertation Technische Universität Kaiserslautern (2015), Softcover, A5
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.