THE SAFETY-CRITICAL SYSTEMS CLUB, Seminar:
Safe Use of Multi-Core and Manycore ProcessorsThursday 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.
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
SCSC 06-03-2018 [V4e]