Comparative Application of Real-Time Verification Methods to an Automotive Architecture

Steffen Kollman (1) , Victor Pollex (1) , Kilian Kempf (1) , Frank Slomka (1) , Matthias Traub (2) , Torsten Bone (2) , Jurgen Becker (3)

1 Universität Ulm - Ulm University [Ulm, Allemagne]
2 DAIMLER AG
3 ITIV - Institut für Technik der Informationsverarbeitung

Designing embedded systems is a challenge. This applies especially to distributed automotive architectures. The high connectivity of different control units forms heterogeneous system architectures that have to handle the many different applications involved in providing the systems' services. This has a direct impact on model based design techniques which must be able to verify that different design constraints are satisfied. One issue is the realtime analysis for checking whether the different applications meet their real-time deadlines or not. In the past 40 years, many techniques have been developed to find an answer to this question. In this paper, different approaches for the verification of real-time behavior of an automotive architecture are compared. Two tools that are available on the market and two from universities, including a new prototype, have been chosen. In order to compare these tools in an appropriate way we have applied them to an automotive industry state of the art architecture model.

Domaines: Systèmes embarqués

Steffen Kollman, Victor Pollex, Kilian Kempf, Frank Slomka, Matthias Traub, et al.. Comparative Application of Real-Time Verification Methods to an Automotive Architecture. 18th International Conference on Real-Time and Network Systems, Nov 2010, Toulouse, France. pp.89-98. ⟨hal-00546903⟩