Skip to Main content Skip to Navigation
Theses

Méthodologie pour un processus d’analyse temporelle dirigé par les modèles pour les systèmes automobiles

Abstract : Automotive systems are characterized today by increasing complexity, limited resources and more and more timing and safety requirements. Timing verification is performed too late during the development process. It is addressed by means of measurements and tests rather than through formal and systematic analysis. To meet the challenges of automotive software development, many model-based approaches have been developed. These approaches give modeling languages, concepts and methodologies allowing the description of automotive architecture. However, these approaches give no guidance for the integration of timing analysis (mainly scheduling analysis) during the phases of the model-based development process. This PhD work aims at defining a methodology that describes a model-based timing analysis process. This methodology describes the different phases of the model-based development process and how timing analysis is performed during each phase. This work has been performed in the context of a technical collaboration between Continental Automotive and the CEA laboratory.
Document type :
Theses
Complete list of metadatas

https://tel.archives-ouvertes.fr/tel-00647906
Contributor : Abes Star :  Contact
Submitted on : Saturday, December 3, 2011 - 12:32:18 PM
Last modification on : Friday, October 23, 2020 - 4:54:45 PM
Long-term archiving on: : Sunday, March 4, 2012 - 2:25:14 AM

File

VA2_ANSSI_SAOUSSEN_09112011.pd...
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-00647906, version 1

Collections

STAR | CEA | DRT | LIST

Citation

Saoussen Rekik. Méthodologie pour un processus d’analyse temporelle dirigé par les modèles pour les systèmes automobiles. Autre [cs.OH]. Université Paris Sud - Paris XI, 2011. Français. ⟨NNT : 2011PA112239⟩. ⟨tel-00647906⟩

Share

Metrics

Record views

628

Files downloads

705