Rapita Systems

PikeOS, Rapita Verification Suite (RVS) and MACH178

By integrating SYSGO’s PikeOS RTOS & hypervisor with Rapita’s RVS and MACH178 tool suites, our customers meet stringent certification requirements such as DO-178C, ISO 26262, and A(M)C 20-193 with reduced risk and time-to-market.

Back to the Overview

PDF

Partner Solution Flyer

Download

Developing certifiable Safety-critical Software

Rapita Systems and SYSGO deliver a seamless path for developing and certifying Safety-critical software across Aerospace, Automotive, and other domains requiring the highest levels of assurance. 

Logo Rapita Systems
Please accept functional cookies to watch this video.

Certification Support

Together, SYSGO and Rapita enable developers to meet a wide range of certification objectives:


Efficient Verification with RVS

Rapita's RVS suite supports:

  • Requirements-based functional testing
  • Structural coverage analysis (up to and including MC/DC)
  • Worst-case execution time (WCET) analysis
  • Data coupling and control coupling analysis

RVS is widely adopted across Safety-critical industries and is a key verification tool used in PikeOS DO-178C certification kits.

Certifying Multi-Core Avionics Systems

The joint solution from SYSGO and Rapita supports multi-core Avionics certification in compliance with AC 20-193 and AMC 20-193:


Your Path to Multi-Core Compliance

  1. Plan your multi-core certification and identify interference channels using MACH178 Foundations
  2. Mitigate interference using PikeOS's advanced interference mitigation techniques
  3. Verify multi-core software WCET using MACH178, RapiDaemons, and RVS tools

This integrated approach simplifies compliance with modern multi-core guidance while maintaining robust performance and certification integrity.

Customer Added Values

Check

Full Multi-Core Compliance

Easily meet A(M)C 20-193 objectives for multi-core platforms using PikeOS and Rapita’s dedicated toolchain

Check

Faster Time to Certification

Accelerate development cycles with integrated tooling and pre-qualified certification artifacts

Check

Streamlined Development and Verification

Combine the power of PikeOS with RVS and MACH178 to cover both the development and verification life cycle efficiently

Check

Proven in Real-World Projects

Trusted by leading Aerospace and Automotive organizations globally for certifiable software on single-core and multi-core systems

Check

Reduced Risk

Minimize certification and verification risks with proven solutions used in Safety-critical industries worldwide

Shadow

Technology Partners Overview

Need more Information?

Do you want to know more or have a specific request?
 

Contact us

Logo Rapita Systems

About Rapita Systems

Rapita Systems provides on-target software verification tools and services globally to the embedded aerospace and automotive electronics industries. Our solutions help to increase software quality, deliver evidence to meet safety and certification objectives and reduce costs

www.rapitasystems.com