Benny Åkesson

Towards Certifiable Resource Sharing in Safety-Critical Multi-Core Real-Time Systems
26, Jun, 2018 12:00-13:00 (1 hour)
CISTER, Porto, Portugal

ABSTRACT:
The proliferation of multi-core platforms has had great impact on embedded computing. Multiple cores exploiting task-level parallelism offer performance far beyond what is possible with a single core, while staying within an acceptable power envelope. Since resources, such as interconnect and memories, are often shared between cores, the platforms have also become increasingly cost efficient. However, resource sharing results in interference between concurrently executing applications, which causes problems in real-time systems where such interference must be either bounded or completely eliminated. As a result, safety-critical systems, for example in the avionics domain, have not yet been able to capitalize on the benefits of multi-core platforms due to stringent certification requirements.

This presentation discusses the state-of-the-art in resource sharing in multi-core systems and its application to safety-critical real-time systems. First, a survey of efforts to build time-predictable resources, such as interconnects and memory controllers, is provided. Then, software-based interference mitigation mechanisms and analyses for these resources in commercial-of-the-shelf platforms are discussed.

EVENT PHOTOS:
At CISTER's Facebook page / At CISTER's Instagram page



CISTER's main roles:
,
Benny Åkesson
Speaker

S101 Auditorium/Seminar Room
1st Floor