Compatibility models

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.

REFERENCES

• 1: Object Management Group (OMG), UML 2.0 Specification, OMG Document formal/05-07-04, Version 2.0, August 2005
• 2: John E. Hopcroft , Rajeev Motwani , Rotwani , Jeffrey D. Ullman, Introduction to Automata Theory, Languages and Computability, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 2000
• 3: Luca de Alfaro , Thomas A. Henzinger, Interface automata, Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering, September 10-14, 2001, Vienna, Austria
• 4: Presse- und öffentlichkeitsarbeit, BMW Werk Dingolfing, Faszination Produktion, p 15, February 2005

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.4 Software/Program Verification
          Subjects: Programming by contract

Additional Classification:
  F. Theory of Computation
  F.3 LOGICS AND MEANINGS OF PROGRAMS
      F.3.1 Specifying and Verifying and Reasoning about Programs
          Subjects: Specification techniques

General Terms:
Design, Languages, Theory, Verification

Keywords:
automotive software, compatibility, specification