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
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


Files produced by the author(s)


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


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⟩



Record views


Files downloads