Test und Fehlersuche in komplexen Autonomen Systemen

Translated title of the contribution: Test and debugging in complex autonomous systems

Thomas Preusser*, Albert Schulz, Alexander Weiss, Martin Heininger, Martin Leucker, Malte Schmitz, Torben Scheffel, Daniel Thoma

*Corresponding author for this work

Abstract

In diesem Papier wird ein neuartiger Ansatz für Test und Fehlersuche in komplexen Autonomen Systemen vorgestellt. Basis der Lösung ist die Analyse von Trace-Daten, die von dem Zielsystem über eine dedizierte, häufig schon vorhandene Prozessoreinheit zur Verfügung gestellt werden. Im Vergleich mit dem aktuellen Stand der Technik wird der Ansatz eingeordnet und die besonderen Vorzüge hinsichtlich der Nicht-Intrusivität und der unbegrenzten Überwachungslaufzeit herausgestellt.

Nach einem kurzen Einblick in die Funktionsweise des Systems folgen zwei Anwendungsbeispiele, die Code-Coverage-Messung und die dynamische Analyse, mit welchen der praktische Nutzen des Systems verdeutlicht und ein Einblick in die Handhabung der neuen Methode geliefert wird. Die Möglichkeiten des Systems reichen von einfachen Zeitmessungen, über Wirkkettenmessungen (WCRT Abschätzung), bis hin zu komplexen funktionalen Tests. Wesentlicher Bestandteil für die dynamische Analyse stellt dabei die Verifikationssprache TeSSLa dar, welche dem Leser anhand von kurzen, prägnanten Beispielen näher gebracht wird. Abschließend werden Anforderungen an das zu beobachtende System gegeben, um den Einsatz des vorgestellten Werkzeugs zu ermöglichen.
Translated title of the contributionTest and debugging in complex autonomous systems
Original languageGerman
Title of host publicationEchtzeit 2019
EditorsHerwig Unger
Number of pages10
PublisherSpringer Vieweg, Wiesbaden
Publication date18.09.2019
Pages33-42
ISBN (Print)978-3-658-27807-6
ISBN (Electronic)978-3-658-27808-3
DOIs
Publication statusPublished - 18.09.2019
EventWorkshop on Autonome Systeme – 50 Jahre PEARL, Echtzeit 2019
- Boppard, Germany
Duration: 21.11.201922.11.2019
Conference number: 235589

Cite this