Seminar: Safe Use of Multi-Core and Manycore Processors


Safe Use of Multi-Core and Manycore Processors

Thursday 30 April, 2020 - London, UK

This seminar will consider how to use processors with multiple cores in a way that safety can be assured, and such that the resulting system can be certified against industry standards and guidelines.

(A multi-core processor is typically made of several independent processor cores on the same chip, connected through an on-chip bus. Manycore processors are specialist multi-core processors designed for a high degree of parallel processing, containing a large number of simpler, independent cores (from a few tens of cores to thousands or more). Manycore processors are used extensively in embedded and high-performance computing.)

This seminar will be held in central London.

Speakers include:

Iain Bate, University of York - "Multi-core architectures and timing analysis: Their influence on the scheduling of certifiable real-time systems"

TBC, Lynx Software Technologies - TBC

Guillem Bernat, Rapita Systems - “Independently Verifying the effectiveness of RTOS Hypervisors at reducing Multicore Interference”

Olivier Charrier, Wind River - TBC

Mark Hadley and Mike Standish, Dstl - "A Practical Assurance Approach for Multi-Cores (MCs) Within Safety-Critical Software Applications"

Further details TBA.

Scan to your smartphone calendar QRcode for this event.
Scan this 2d barcode using a smart-phone to add the event to your calendar.

Add event to your calendar

SCSC.UK uses anonymous session cookies please see Privacy policy

SCSC 06-03-2018 [V4e]