Software Bugs Seen from an Industrial Perspective or Can Formal Methods Help on Automotive Software Development?

(Invited Talk)
  • Thomas Kropf
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4590)


Developing software for automotive applications is a challenging task. To stay competitive conflicting goals must be met: complex and innovative algorithms with many versions for different car line variants have to be implemented within the tight resource boundaries of embedded systems; high reliability especially for safety critical applications like airbag or braking applications has to be ensured under immense cost pressure. Despite these demanding constraints in recent years automotive software development has made significant progress in terms of productivity and quality. All this has been achieved without direct usage of formal methods.

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Thomas Kropf
    • 1
  1. 1.Robert Bosch GmbH 

Personalised recommendations