Skip to Main content Skip to Navigation
Conference papers

Formal Architecture Specification for Time Analysis

Abstract : WCET calculus is nowadays a must for safety critical systems. As a matter of fact, basic real-time properties rely on accurate timings. Although over the last years, substantial progress has been made in order to get a more precise WCET, we believe that the design of the underlying frameworks deserve more attention. In this paper, we are concerned mainly with two aspects which deal with the modularity of these frameworks. First, we enhance the existing language Sim-nML for describing processors at the instruction level in order to capture modern architecture aspects. Second, we propose a light DSL in order to describe, in a formal prose, architectural aspects related to both the structural aspects as well as to the behavioral aspects.
Complete list of metadata

Cited literature [16 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01141443
Contributor : Open Archive Toulouse Archive Ouverte (oatao) <>
Submitted on : Monday, April 13, 2015 - 9:09:13 AM
Last modification on : Thursday, March 18, 2021 - 2:34:40 PM
Long-term archiving on: : Monday, September 14, 2015 - 7:21:18 AM

File

Herbegue_12944.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01141443, version 1
  • OATAO : 12944

Citation

Hajer Herbegue, M Filali, Hugues Cassé. Formal Architecture Specification for Time Analysis. International Conference on Architecture of Computing Systems - ARCS 2014, Feb 2014, Lubeck, Germany. pp. 98-110. ⟨hal-01141443⟩

Share

Metrics

Record views

235

Files downloads

317