DANA – Description and Analysis of Networked Applications

10 pages•Published: December 14, 2017

Abstract

We introduce the DANA platform for specifying and analyzing networked applications. DANA was originally created targeting the automotive domain for the verification and validation of software interface behavior in new infotainment and advanced driver assistant systems that are integrated on a single hardware platform. The messages in these interfaces can contain complex data, e.g., playlists with images. Therefore, valid behavior is described as a layered reference model. The platform can use the model to generate test cases, code for simulation, and to verify a live or recorded trace. Exchangeable resumption algorithms enable DANA to resume runtime verification after a deviation using the original state machine without manual changes. A generic input model allows quick integration of new sources for messages. Therefore, DANA can easily be applied to other domains where interactive behavior can be observed. In this paper, we present the tool, its layered reference model, and show its application for runtime verification.

Keyphrases: layered reference model, networked applications, resumption, runtime verification, software interface behavior

In: Giles Reger and Klaus Havelund (editors). RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools, vol 3, pages 71-80.

Links:	https://easychair.org/publications/paper/pWT7
	https://doi.org/10.29007/zjn1

BibTeX entry

@inproceedings{RV-CuBES2017:DANA_Description_Analysis_Networked,
  author    = {Christian Drabek and Gereon Weiss},
  title     = {DANA – Description and Analysis of Networked Applications},
  booktitle = {RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools},
  editor    = {Giles Reger and Klaus Havelund},
  series    = {Kalpa Publications in Computing},
  volume    = {3},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {/publications/paper/pWT7},
  doi       = {10.29007/zjn1},
  pages     = {71-80},
  year      = {2017}}

Download PDF Open PDF in browser