Resource analysis of automotive/infotainment systems based on domain-specific models: a real-world example

  • Authors:

  • Klaus Birken;Daniel Hünig;Thomas Rustemeyer;Ralph Wittmann

  • Affiliations:

  • Harman Becker Automotive Systems, Filderstadt, Germany;Harman Becker Automotive Systems, Filderstadt, Germany;Harman Becker Automotive Systems, Filderstadt, Germany;Harman Becker Automotive Systems, Karlsbad, Germany

  • Venue:
  • ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

Abstract

High-end infotainment units for the Automotive domain have to provide a huge set of features, implemented in complex software on distributed embedded system hardware. In order to analyse the computational resources necessary for such systems, abstract models can be created which are used as a starting point for simulation and static analysis methods. In this paper, a domain-specific modeling method and derived analysis methods will be presented. A real-world scenario will be shown which could also serve as a challenging example for future tools and formal methods.