N/AModern computer architectures use features which often com-plicate the WCET analysis of real-time software. Alterna-tive time-predictable designs, and in particular caches, thus are gaining more and more interest. A recently proposed stack cache, for instance, avoids the need for the analysis of complex cache states. Instead, only the occupancy level of the cache has to be determined. The memory transfers generated by the standard stack cache are not generally aligned. These unaligned accesses risk to introduce complexity to the otherwise simple WCET analysis. In this work, we investigate three different ap-proaches to handle the alignment problem in the stack cache: (1) unaligned transfers, (2) alignment through compiler-gen-erated padd...
. We address the problem of improving the data cache performance of numerical applications -- specif...
A new cache memory organization called “Shared-Way Set Associative” (SWSA) is described in this pape...
Truly incremental development is a holy grail of verification-intensive software industry. All facto...
Abstract—Real-time systems need time-predictable architec-tures to support static worst-case executi...
International audience<p>The growing complexity of modern computer architectures increasingly compli...
The growing complexity of modern computer architectures increasingly complicates the prediction of t...
Abstract—Multi-core architectures are shaking the fundamen-tal assumption that in real-time systems ...
Multi-core architectures are shaking the fundamental assumption that in real-time systems the WCET, ...
Abstract. Future embedded systems are expected to use chip-multiprocessors to provide the execution ...
Cache memories have been extensively used to bridge the gap between high speed processors and relati...
Abstract — Caches in Embedded Systems improve average case performance, but they are a source of unp...
International audienceThe use of multi-core architectures in real-time systems raises new issues reg...
International audienceUtilizing a stack cache in a real-time system can aid predictability by avoidi...
While caches have become invaluable for higher-end architectures due to their ability to hide, in pa...
Worst-case execution time (WCET) analysis of systems with data caches is one of the key challenges i...
. We address the problem of improving the data cache performance of numerical applications -- specif...
A new cache memory organization called “Shared-Way Set Associative” (SWSA) is described in this pape...
Truly incremental development is a holy grail of verification-intensive software industry. All facto...
Abstract—Real-time systems need time-predictable architec-tures to support static worst-case executi...
International audience<p>The growing complexity of modern computer architectures increasingly compli...
The growing complexity of modern computer architectures increasingly complicates the prediction of t...
Abstract—Multi-core architectures are shaking the fundamen-tal assumption that in real-time systems ...
Multi-core architectures are shaking the fundamental assumption that in real-time systems the WCET, ...
Abstract. Future embedded systems are expected to use chip-multiprocessors to provide the execution ...
Cache memories have been extensively used to bridge the gap between high speed processors and relati...
Abstract — Caches in Embedded Systems improve average case performance, but they are a source of unp...
International audienceThe use of multi-core architectures in real-time systems raises new issues reg...
International audienceUtilizing a stack cache in a real-time system can aid predictability by avoidi...
While caches have become invaluable for higher-end architectures due to their ability to hide, in pa...
Worst-case execution time (WCET) analysis of systems with data caches is one of the key challenges i...
. We address the problem of improving the data cache performance of numerical applications -- specif...
A new cache memory organization called “Shared-Way Set Associative” (SWSA) is described in this pape...
Truly incremental development is a holy grail of verification-intensive software industry. All facto...