Architecture Models Refinement for Fine Grain Timing Analysis of Embedded Systems - Archive ouverte HAL Access content directly
Conference Papers Year : 2014

Architecture Models Refinement for Fine Grain Timing Analysis of Embedded Systems

(1) , (1, 2) , (1) , (1) , (3) , (4)
1
2
3
4

Abstract

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.
Not file

Dates and versions

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

Identifiers

  • HAL Id : hal-01121019 , version 1

Cite

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⟩
213 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More