Test und Fehlersuche in komplexen Autonomen Systemen

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

doi:10.1007/978-3-658-27808-3_4

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

Institute of Software Engineering and Programming Languages

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 contribution	Test and debugging in complex autonomous systems
Original language	German
Title of host publication	Echtzeit 2019
Editors	Herwig Unger
Number of pages	10
Publisher	Springer Vieweg, Wiesbaden
Publication date	18.09.2019
Pages	33-42
ISBN (Print)	978-3-658-27807-6
ISBN (Electronic)	978-3-658-27808-3
DOIs	https://doi.org/10.1007/978-3-658-27808-3_4
Publication status	Published - 18.09.2019
Event	Workshop on Autonome Systeme – 50 Jahre PEARL, Echtzeit 2019 - Boppard, Germany Duration: 21.11.2019 → 22.11.2019 Conference number: 235589

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

Access to Document

10.1007/978-3-658-27808-3_4

Cite this

@inproceedings{81eb48985669459786e5ef489434f770,

title = "Test und Fehlersuche in komplexen Autonomen Systemen",

abstract = "In diesem Papier wird ein neuartiger Ansatz f{\"u}r Test und Fehlersuche in komplexen Autonomen Systemen vorgestellt. Basis der L{\"o}sung ist die Analyse von Trace-Daten, die von dem Zielsystem {\"u}ber eine dedizierte, h{\"a}ufig schon vorhandene Prozessoreinheit zur Verf{\"u}gung gestellt werden. Im Vergleich mit dem aktuellen Stand der Technik wird der Ansatz eingeordnet und die besonderen Vorz{\"u}ge hinsichtlich der Nicht-Intrusivit{\"a}t und der unbegrenzten {\"U}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{\"o}glichkeiten des Systems reichen von einfachen Zeitmessungen, {\"u}ber Wirkkettenmessungen (WCRT Absch{\"a}tzung), bis hin zu komplexen funktionalen Tests. Wesentlicher Bestandteil f{\"u}r die dynamische Analyse stellt dabei die Verifikationssprache TeSSLa dar, welche dem Leser anhand von kurzen, pr{\"a}gnanten Beispielen n{\"a}her gebracht wird. Abschlie{\ss}end werden Anforderungen an das zu beobachtende System gegeben, um den Einsatz des vorgestellten Werkzeugs zu erm{\"o}glichen.",

author = "Thomas Preusser and Albert Schulz and Alexander Weiss and Martin Heininger and Martin Leucker and Malte Schmitz and Torben Scheffel and Daniel Thoma",

note = "Funding Information: ★ This work was funded in part by the EU H2020 project 732016 COEMS and by the BMBF project ARAMiS II with funding ID 01 IS 16025. Copyright: Copyright 2020 Elsevier B.V., All rights reserved.; Workshop on Autonome Systeme – 50 Jahre PEARL, Echtzeit 2019<br/> ; Conference date: 21-11-2019 Through 22-11-2019",

year = "2019",

month = sep,

day = "18",

doi = "10.1007/978-3-658-27808-3_4",

language = "Deutsch",

isbn = "978-3-658-27807-6",

series = "Informatik aktuell",

publisher = "Springer Vieweg, Wiesbaden",

pages = "33--42",

editor = "Unger, {Herwig }",

booktitle = "Echtzeit 2019",

}

Preusser, T, Schulz, A, Weiss, A, Heininger, M, Leucker, M, Schmitz, M, Scheffel, T & Thoma, D 2019, Test und Fehlersuche in komplexen Autonomen Systemen. in H Unger (ed.), Echtzeit 2019. Informatik aktuell, Springer Vieweg, Wiesbaden, pp. 33-42, Workshop on Autonome Systeme – 50 Jahre PEARL, Echtzeit 2019
, Boppard, Rhineland-Palatinate, Germany, 21.11.19. https://doi.org/10.1007/978-3-658-27808-3_4

TY - GEN

T1 - Test und Fehlersuche in komplexen Autonomen Systemen

AU - Preusser, Thomas

AU - Schulz, Albert

AU - Weiss, Alexander

AU - Heininger, Martin

AU - Leucker, Martin

AU - Schmitz, Malte

AU - Scheffel, Torben

AU - Thoma, Daniel

N1 - Conference code: 235589

PY - 2019/9/18

Y1 - 2019/9/18

N2 - 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.

AB - 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.

UR - https://www.scopus.com/record/display.uri?eid=2-s2.0-85077724333&origin=inward&txGid=59851d794500b382e51be1ac5320e1be

U2 - 10.1007/978-3-658-27808-3_4

DO - 10.1007/978-3-658-27808-3_4

M3 - Konferenzbeitrag

SN - 978-3-658-27807-6

T3 - Informatik aktuell

SP - 33

EP - 42

BT - Echtzeit 2019

A2 - Unger, Herwig

PB - Springer Vieweg, Wiesbaden

T2 - Workshop on Autonome Systeme – 50 Jahre PEARL, Echtzeit 2019<br/>

Y2 - 21 November 2019 through 22 November 2019

ER -

Test und Fehlersuche in komplexen Autonomen Systemen

Abstract

UN SDGs

Access to Document

Other files and links

Cite this