• English
  • Deutsch
  • Log In
    Password Login
    Research Outputs
    Fundings & Projects
    Researchers
    Institutes
    Statistics
Repository logo
Fraunhofer-Gesellschaft
  1. Home
  2. Fraunhofer-Gesellschaft
  3. Konferenzschrift
  4. DANA - behavioral verification of automotive infotainment software-interfaces
 
  • Details
  • Full
Options
2015
Presentation
Title

DANA - behavioral verification of automotive infotainment software-interfaces

Title Supplement
Presentation held at Automotive HMI Cosmos (IQPC), 28 September - 01 October, 2015, Mainz, Germany
Abstract
The presentation focuses on how the DANA platform can be utilized to efficiently verify the behavioral compliance with Automotive Infotainment Software-Interfaces. Therefore, a short overview of the challenges in the verification of automotive infotainment software interfaces is given. Further, the DANA platform and its underlying methodology are introduced.
Author(s)
Drabek, Christian  
Fraunhofer-Institut für Eingebettete Systeme und Kommunikationstechnik ESK  
Conference
International Conference "Automotive HMI Cosmos" 2015  
File(s)
Download (1.33 MB)
Rights
Use according to copyright law
DOI
10.24406/publica-fhg-389440
Language
English
ESK  
Keyword(s)
  • automotive

  • Infotainment

  • interface verification

  • model execution

  • monitor

  • resumption

  • runtime verification

  • state machine

  • layered reference model

  • UML

  • UML profile

  • software engineering

  • Model-based Software Design and Validation

  • model-based test

  • Modellbasierter Softwareentwurf und Absicherung

  • reliable software

  • automotive software

  • Cookie settings
  • Imprint
  • Privacy policy
  • Api
  • Contact
© 2024