CoMPSoC: A template for composable and predictable multi-processor system on chips
ACM Transactions on Design Automation of Electronic Systems (TODAES)
A Survey of WCET Analysis of Real-Time Operating Systems
ICESS '09 Proceedings of the 2009 International Conference on Embedded Software and Systems
Resilience analysis: tightening the CRPD bound for set-associative caches
Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems
Hi-index | 0.00 |
State-of-the-art approaches to the development and analysis of real-time embedded systems assume seamless composition of the functional and timing behaviour of the distinct applications that compose the system. Unfortunately, the sharing of complex and stateful hardware resources is a serious threat to time composability: the dependences produced by their history of use cannot always be accurately accounted for by state-of-the-art timing analysis techniques. More recently, the attention paid to the contribution that the Real-Time Operating System (RTOS) can make to achieving -- or breaking -- time composability has grown. In this paper we present and experimentally evaluate a proof-of-concept implementation of a time-composable RTOS design concept in the specific incarnation as an ARINC-compliant partitioned system for avionics applications.