Datenbestand vom 20. Mai 2019

Warenkorb Datenschutzhinweis Dissertationsdruck Dissertationsverlag Institutsreihen     Preisrechner

aktualisiert am 20. Mai 2019

ISBN 9783843922616

Euro 72,00 inkl. 7% MwSt

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.