Design and Verification of Behaviour-Based Systems Realising Task Sequences

Beschreibung

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.

Autor*in

Christopher Armbrust

Themen in »Design and Verification of Behaviour-Based Systems Realising Task Sequences«

Behaviour-Based Systems Task Sequences Uppaal

Stimmen zu »Design and Verification of Behaviour-Based Systems Realising Task Sequences«

Details

Link teilen