학술논문
Compatibility models
Document Type
Conference
Author
Source
Proceedings of the 2006 international workshop on Software engineering for automotive systems. :5-12
Subject
Language
English
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.