Requirements and solutions for timing analysis of automotive systems

  • Authors:
  • Saoussen Anssi;Sébastien Gérard;Arnaud Albinet;François Terrier

  • Affiliations:
  • Continental Automotive France SAS, PowerTrain E IPP, France;CEA LIST, Laboratory of model driven engineering for embedded systems, Gif-sur-Yvette, France;Continental Automotive France SAS, PowerTrain E IPP, France;CEA LIST, Laboratory of model driven engineering for embedded systems, Gif-sur-Yvette, France

  • Venue:
  • SAM'10 Proceedings of the 6th international conference on System analysis and modeling: about models
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

Abstract

Automotive software systems are characterized by increasing complexity, tougher safety requirements and ever-tighter timing constraints. Recent industrial experience has indicated that timing verification and validation can help improving overall system quality and avoid costly design errors. In this paper, we discuss some crucial capabilities that need to be pro-vided by scheduling analysis tools to enable accurate timing analysis for automotive applications. We evaluate the extent to which two open-source analysis tools, MAST and Cheddar, meet these needs.