Conference:Multicore Challenge 2014 (click here to see full programme)
Session Type:Multicore Tools Demonstration
Session Title:On-Target Verification for Multicore Systems
Presenter/s:Dr Andrew Coombes, Head of Marketing and Engineering Services
Overview:Using the Rapita Verification Suite (RVS), we demonstrate a range of on-target verification solutions for multicore platforms. Included in this are WCET (worst-case execution time), constraint checking and code coverage to support verification and optimisation of critical embedded systems as required by DO-178B/C, ISO26262 and other standards.

  • Worst Case Execution Time Analysis for Multicore
  • Constraint Checking in Critical Multicore Systems
  • On-Target Coverage for Multicore Systems


Presenter Bio:Dr Andrew Coombes runs the Marketing and Engineering Services group at Rapita Systems Ltd, a company specialising in tools for on-target verification of high-integrity embedded software. Since 1996 he has been involved in the development and commercialisation of software tools for embedded, real-time applications.
Presentation:Video Presentation