Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

DANA - Description and Analysis of Networked Applications

 
: Drabek, Christian; Weiß, Gereon

:
Postprint urn:nbn:de:0011-n-4772155 (1.5 MByte PDF)
MD5 Fingerprint: 1c663a65e8c8fc289601fbd1c4f924ea
Erstellt am: 5.1.2018


Reger, G.:
RV-CuBES 2017, An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools. Online resource : Held in conjunction with the 17th International Conference on Runtime Verification, RV 2017, September 13 - 16, 2017, Seattle, USA
Seattle, 2017 (Kalpa Publications in Computing 3)
https://easychair.org/publications/volume/RV-CuBES_2017
S.71-80
International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools (RV-CuBES) <2017, Seattle/Wash.>
International Conference on Runtime Verification (RV) <17, 2017, Seattle/Wash.>
Englisch
Konferenzbeitrag, Elektronische Publikation
Fraunhofer ESK
layered reference model; networked application; resumption; runtime verification; RV; software interface behavior

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.

: http://publica.fraunhofer.de/dokumente/N-477215.html