Architecture Models Refinement for Fine Grain Timing Analysis of Embedded Systems - IMT - Institut Mines-Télécom Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

Architecture Models Refinement for Fine Grain Timing Analysis of Embedded Systems

Résumé

As real-time systems have become more and more complex, architects rely on abstract models of computation in order to design and analyse these systems. In order to ease the production of source code that respects such models of computation, developper can take advantage of code generators and/or middleware. However, when analyzing an abstract model of computation, timing overheads due to generated code or middleware components are not taken into account. Answering this issue is even more problematic in the domain of embedded systems because of the variability of execution platforms. To tackle this problem, we present in this paper a model refinement and timing analysis framework: abstract models of computation are first transformed in more precise models, which include the timing characteristics of the execution platform. These refined models are then used for a more precise timing analysis. The experiment results we present in this paper show that our method can deal with realistic software architecture of real-time systems.
Fichier non déposé

Dates et versions

hal-01121019 , version 1 (27-02-2015)

Identifiants

  • HAL Id : hal-01121019 , version 1

Citer

Etienne Borde, Smail Rahmoun, Fabien Cadoret, Laurent Pautet, Frank Singhoff, et al.. Architecture Models Refinement for Fine Grain Timing Analysis of Embedded Systems. IEEE International Symposium on Rapid System Prototyping, Oct 2014, New Dehli, India. ⟨hal-01121019⟩
225 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More