research-article

Methods, tools and standards for the analysis, evaluation and design of modern automotive architectures

Authors:

A. Sangiovanni-Vincentelli,

M. Di NataleAuthors Info & Claims

DATE '08: Proceedings of the conference on Design, automation and test in Europe

Pages 659 - 663

https://doi.org/10.1145/1403375.1403536

Published: 10 March 2008 Publication History

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.

References

[1]

Interest ist-2005-2.5.3 project. website, http://www.ist-world.org/, 2006.

[2]

AbsInt. Absint enhances the safety of the a380. In available at http://www.absint.com/releases/050427.htm.

[3]

M. Baleani, A. Ferrari, L. Mangeruca, and A. Sangiovanni-Vincentelli. Efficient embedded software design with synchronous models. In EMSOFT '05: Proceedings of the 5th ACM international conference on Embedded software, pages 187--190, New York, NY, USA, 2005. ACM Press.

Digital Library

[4]

A. Benveniste, P. Caspi, S. Edwards, N. Halbwachs, P. L. Guernic, and R. de Simone. The synchronous languages 12 years later. Proceedings of the IEEE, 91, January 2003.

[5]

E. Bini, M. D. Natale, and G. Buttazzo. Sensitivity analysis for fixed-priority real-time systems. In Euromicro Conference on Real-Time Systems, Dresden, Germany, June 2006.

Digital Library

[6]

R. Bosch. Can specification, version 2.0. Stuttgart, 1991.

[7]

P. Caspi and A. Benveniste. Toward an approximation theory for computerised control. In Proceedings of the EMSOFT 2002 conference, pages 294--304, 2002.

Digital Library

[8]

C. Ferdinand et al. Reliable and precise WCET determination for a real-life processor. In EMSOFT, pages 469--485, 2001.

Digital Library

[9]

M. G. Harbour, M. Klein, and J. Lehoczky. Timing analysis for fixed-priority scheduling of hard real-time systems. IEEE Transactions on Software Engineering, 20(1), January 1994.

Digital Library

[10]

J. Reineke, D. Grund, C. Berg and R. Wilhelm. Timing predictability of cache replacement policiess. In Real-Time Systems, 37(2):99--122, November 2007.

Digital Library

[11]

OSEK. OSEK/VDX Steering Committee: Time-Triggered Operating System. vailable online at http://www.osek-vdx.org.

[12]

OSEK. Osek os version 2.2.3 specification. available at http://www.osek-vdx.org, 2006.

[13]

R. Racu and R. Ernst. Scheduling anomaly detection and optimization for distributed systems with preemptive task-sets. In 12th IEEE Real-Time and Embedded Technology and Applications Symposium, San Jose, April 2006.

Digital Library

[14]

L. Sha, R. Rajkumar, and J. P. Lehoczky. Priority inheritance protocols: An approach to real-time synchronization. IEEE transaction on computers, 39(9):1175--1185, September 1990.

Digital Library

[15]

L. Thiele and R. Wilhelm. Design for timing predictability. In Real-Time Systems, 28:157--177, 2004.

Digital Library

[16]

Y. Wang and M. Saksena. Scheduling fixed priority tasks with preemption threshold. In Proceedings, IEEE International Conference on Real-Time Computing Systems and Applications, December 1999.

Digital Library

[17]

R. Wilhelm, J. Engblom, A. Ermedahl, N. Holsti, S. Thesing, D. Whalley, G. Bernat, C. Ferdinand, R. Heckmann, F. Mueller, I. Puuat, P. Puschner, J. Staschulat, and P. Stenström. The determination of worst-case execution times-overview of the methods and survey of tools. In ACM Transactions on Embedded Computing Systems (TECS), 2008.

Digital Library

[18]

G. Gebhard and S. Altmeyer Optimal task placement to improve cache performance EMSOFT 2007, Pages: 259--268

Digital Library

Cited By

Majdoub TLe Nours SPasquier ONouvel F(2014)Performance evaluation of an automotive distributed architecture based on a high speed power line communication protocol using a transaction level modeling approachJournal of Real-Time Image Processing10.1007/s11554-013-0323-89:1(281-295)Online publication date: 1-Mar-2014
https://dl.acm.org/doi/10.1007/s11554-013-0323-8
Majdoub TLe Nours SPasquier ONouvel F(2011)Performance evaluation of an automotive distributed architecture based on HPAV communication protocol using a transaction level modeling approachProceedings of the 2011 Conference on Design & Architectures for Signal & Image Processing (DASIP)10.1109/DASIP.2011.6136848(1-8)Online publication date: Nov-2011
https://doi.org/10.1109/DASIP.2011.6136848
Burgio PRuggiero MEsposito FMarinoni MButtazzo GBenini L(2010)Adaptive TDMA bus allocation and elastic scheduling: A unified approach for enhancing robustness in multi-core RT systems2010 IEEE International Conference on Computer Design10.1109/ICCD.2010.5647792(187-194)Online publication date: Oct-2010
https://doi.org/10.1109/ICCD.2010.5647792

Index Terms

Methods, tools and standards for the analysis, evaluation and design of modern automotive architectures

Recommendations

Modern development methods and tools for embedded reconfigurable systems: A survey

Heterogeneous reconfigurable systems provide drastically higher performance and lower power consumption than traditional CPU-centric systems. Moreover, they do it at much lower costs and shorter times to market than non-reconfigurable hardware ...
Unambiguous semantics in automotive timing modeling
CARS '10: Proceedings of the 1st Workshop on Critical Automotive applications: Robustness & Safety

This paper shows how the ITEA2 research project TIMMO has chosen to model timing constraints for delays and for synchronization in an unambiguous way. The shown timing model is valid even in systems where jitter and over- and under-sampling appears. ...
On the Evaluation of Clock Synchronization Methods for Networked Control Systems
ECBS-EERC '13: Proceedings of the 2013 3rd Eastern European Regional Conference on the Engineering of Computer Based Systems

A distribute control requires to maintain time synchronization to the degree of precision depending on a particular application domain. Many large distributed systems employ Ethernet or even full TCP/IP stack for communication. Two prevalent protocols ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

DATE '08: Proceedings of the conference on Design, automation and test in Europe

March 2008

1575 pages

ISBN:9783981080131

DOI:10.1145/1403375

General Chair:
Donatella Sciuto
Politecnico di Milano, Italy

Copyright © 2008 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

The EDA Consortium
EDAA: European Design Automation Association
ECSI
SIGDA: ACM Special Interest Group on Design Automation
The IEEE Computer Society TTTC
IEEE Council on Electronic Design Automation (CEDA)
The Russian Academy of Sciences: The Russian Academy of Sciences

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 10 March 2008

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Research-article

Conference

DATE '08

Sponsor:

EDAA
SIGDA
The Russian Academy of Sciences

DATE '08: Design, Automation and Test in Europe

March 10 - 14, 2008

Munich, Germany

Acceptance Rates

Overall Acceptance Rate 518 of 1,794 submissions, 29%

Upcoming Conference

DATE '25

Sponsor:
sigda

Design, Automation and Test in Europe

March 31 - April 2, 2025

Lyon , France

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
277
Total Downloads

Downloads (Last 12 months)4
Downloads (Last 6 weeks)0

Reflects downloads up to 10 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Majdoub TLe Nours SPasquier ONouvel F(2014)Performance evaluation of an automotive distributed architecture based on a high speed power line communication protocol using a transaction level modeling approachJournal of Real-Time Image Processing10.1007/s11554-013-0323-89:1(281-295)Online publication date: 1-Mar-2014
https://dl.acm.org/doi/10.1007/s11554-013-0323-8
Majdoub TLe Nours SPasquier ONouvel F(2011)Performance evaluation of an automotive distributed architecture based on HPAV communication protocol using a transaction level modeling approachProceedings of the 2011 Conference on Design & Architectures for Signal & Image Processing (DASIP)10.1109/DASIP.2011.6136848(1-8)Online publication date: Nov-2011
https://doi.org/10.1109/DASIP.2011.6136848
Burgio PRuggiero MEsposito FMarinoni MButtazzo GBenini L(2010)Adaptive TDMA bus allocation and elastic scheduling: A unified approach for enhancing robustness in multi-core RT systems2010 IEEE International Conference on Computer Design10.1109/ICCD.2010.5647792(187-194)Online publication date: Oct-2010
https://doi.org/10.1109/ICCD.2010.5647792

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents