Paper Info
Title
Methods, tools and standards for the analysis, evaluation and design of modern automotive architectures
Abstract
Automotive systems are increasingly distributed and complex. Reduced time-to-market, cost and safety concerns require advance validation of the integrated systems and its components, from the functional, timing, and reliability standpoints. In particular, function correctness and performance may depend on communication and computation delays imposed by the selected architecture platform. Hence, the need for methods and tools capable of predicting the system-level timing behaviour (latencies and jitter), resulting from the HW platform selection, the synchronization between tasks and messages, and also from the synchronization and queuing policies of the middleware and RTOS levels. In this paper, we review methods and tools for the evaluation of the function performance and its timing correctness by simulation or by worst case static analysis.
Year
DOI
Venue
2008
10.1145/1403375.1403536
Proceedings of the conference on Design, automation and test in Europe
Keywords
Field
DocType
formal verification,computer architecture,rtos,static analysis,automotive engineering,middleware,integrable system,cost function,synchronisation
Middleware,Synchronization,Computer science,Correctness,Static analysis,Real-time computing,Jitter,Time to market,Reliability engineering,Formal verification,Automotive industry,Embedded system
Conference
ISSN
Citations 
PageRank 
1530-1591
5
0.86
References 
Authors
13
5
Name
Order
Citations
PageRank
E. Frank150.86
Reinhard Wilhelm23640434.27
Rolf Ernst32633252.90
Alberto L. Sangiovanni-Vincentelli4113851881.40
M. Di Natale5345.98