Comparative application of realtime verification methods to an automotive architecture
Steffen Kollmann, Victor Pollex, Kilian Kempf, Frank Slomka, Matthias Traub, Torsten T. Bone · 2010
Designing embedded systems is a challenge. This ap-plies especially to distributed automotive architectures. The high connectivity of different control units forms het-erogeneous system architectures that have to handle the many different applications involved in providing the sys-tems ’ services. This has a direct impact on model based design techniques which must be able to verify that differ-ent design constraints are satisfied. One issue is the real-time analysis for checking whether the different applica-tions meet their real-time deadlines or not. In the past 40 years, many techniques have been developed to find an an-swer 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. 1.