|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.
|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.|