Rapita Systems Ltd, leading provider of on-target verification solutions for critical, real-time embedded systems, is pleased to announce the availability of version 3.3 of Rapita Verification Suite (RVS).This release features a range of enhancements including the first multi-core code coverage solution. RVS is Rapita Systems' solution for supporting on-target verification for critical, real-time, embedded systems in industries such as avionics and automotive. It features tools to track structural code coverage (RapiCover), measure timing behavior and to predict worst-case execution time (RapiTime), and to track system behavior within real-time operating systems and/or across multiple processor cores. The latest v3.3 release introduces a range of features with a particular benefit for users performing structural coverage analysis. Multi-core code coverage allows a user to identify which cores executed specific code during testing. RapiCover's extremely low overheads, which already have a big impact in reducing the number of repetitions of tests are reduced to even lower levels with this new version. Effort to certify, which is a major consideration for customers using coverage tools with DO-178C or ISO 26262, is further reduced in RVS 3.3 through several features, such as justifications, which allow non-executed code to be highlighted and explained. Rapita Systems CEO, Dr Guillem Bernat commented "In RVS 3.3 our aim is to provide the best structural coverage analysis tool for critical embedded systems." "Measuring code coverage of tests has always played a major part in the verification of critical systems and we are increasingly seeing a demand for on-target code coverage. This puts a strong emphasis on tools that minimize the impact of measuring coverage. RapiCover's industry-leading low overheads have already resulted in massive reductions in testing effort for our customers. In RVS 3.3, we reduce the overheads of RapiCover still further. " Bernat continued "Looking forward, we see increasing numbers of customers adopting multi-core processors. For some customers it won't be sufficient just to say code ran on one of the cores – instead they will need to know that code ran on a specified sub-set of the cores, but definitely was not executed on others." RVS 3.3 builds on Rapita's successful track record of bringing verification products to engineers working on critical real-time embedded systems in the avionics and automotive electronics industries. For more information visit www.rapitasystems.com, email info@rapitasystems.com or call +44 (0)1904 413945. Rapita Systems Ltd We specialise in providing on-target verification solutions for large critical real-time embedded software systems in the avionics and automotive electronics markets. Founded in 2004 to bring real-time verification products to market, Rapita Systems now have clients and distributors around the world.
 RVS 3.23 Launched
  RVS 3.23 Launched
 Rapita System Announces New Distribution Partnership with COONTEC
  Rapita System Announces New Distribution Partnership with COONTEC 
 Rapita partners with Asterios Technologies to deliver solutions in multicore certification
  Rapita partners with Asterios Technologies to deliver solutions in multicore certification 
 SAIF Autonomy to use RVS to verify their groundbreaking AI platform
  SAIF Autonomy to use RVS to verify their groundbreaking AI platform
 How to measure stack usage through stack painting with RapiTest
  How to measure stack usage through stack painting with RapiTest
 What does AMACC Rev B mean for multicore certification?
  What does AMACC Rev B mean for multicore certification?
 How emulation can reduce avionics verification costs: Sim68020
  How emulation can reduce avionics verification costs: Sim68020 
 Multicore timing analysis: to instrument or not to instrument
  Multicore timing analysis: to instrument or not to instrument
 How to achieve multicore DO-178C certification with Rapita Systems
  How to achieve multicore DO-178C certification with Rapita Systems
 How to achieve DO-178C certification with Rapita Systems
  How to achieve DO-178C certification with Rapita Systems
 Certifying Unmanned Aircraft Systems
  Certifying Unmanned Aircraft Systems
 DO-278A Guidance: Introduction to RTCA DO-278 approval
  DO-278A Guidance: Introduction to RTCA DO-278 approval
 DO-178C Multicore In-person Training (Toulouse)
  DO-178C Multicore In-person Training (Toulouse)
   HISC 2025
  HISC 2025
   
    
    
    
    
    
    
    
    
    
   

