Compatibility models

Authors:
M. Bechter;M. Blum;H. Dettmering;B. Stützel
Affiliations:
Technical University of Munich, Garching, Germany;Technical University of Munich, Garching, Germany;Technical University of Munich, Garching, Germany;Technical University of Munich, Garching, Germany
Venue:
Proceedings of the 2006 international workshop on Software engineering for automotive systems
Year:
2006

Citing 2
Cited 1

Interface automata

Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Introduction to Automata Theory, Languages and Computability

Introduction to Automata Theory, Languages and Computability

Software Engineering for Automotive Systems: A Roadmap

FOSE '07 2007 Future of Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

With the possibility to configure new cars completely individual almost no premium-class vehicle with the same configuration exists twice. As a consequence the cars differ not only in design but also have different functional features as well, which usually are provided by the interplay between a huge number of software and hardware components. Consequently the compatibility of all of these subsystems becomes a more and more pressing topic within the automotive industry.The main contribution of this paper is to provide a precise definition of the term compatibility and to show how to furnish proof of compatibility of concerning software functions in a model based development process.