Your browser does not support JavaScript! Skip to main content
Free 30-day trial Customer portal Careers SYSGO MCP Webinar DO-178C Handbook
 
Rapita Systems
 

Industry leading verification tools & services

Rapita Verification Suite (RVS)

  RapiTest - Unit/system testing   RapiCover - Structural coverage analysis   RapiTime - Timing analysis (inc. WCET)   RapiTask - Scheduling visualization   RapiCoverZero - Zero footprint coverage analysis   RapiTimeZero - Zero footprint timing analysis   RapiTaskZero - Zero footprint scheduling analysis

Multicore verification

  MACH178   Multicore Timing Solution   RapiDaemons

Services

  V & V Services   Qualification   Training   Tool Integration  Support

Industries

  Aerospace (DO-178C)   Automotive (ISO 26262)   Space

Other

  RTBx   Mx-Suite   Software licensing   Product life cycle policy  RVS development roadmap

Latest from Rapita HQ

Latest news

RVS 3.16 Launched
Aerospace Tech Week – November 2021
NASA selects Rapita Verification Suite for the Lunar Gateway
York Aerospace and Rocketry Society Update
View News

Latest from the Rapita blog

DO-178C - Stage of Involvement 4
DO-178C - Stage of Involvement 3
AMC 20-193 and what it means to you
DO-178C - Stage of Involvement 2
View Blog

Latest discovery pages

do178c DO-178C Guidance: Introduction to RTCA DO-178 certification
matlab_simulink MATLAB® Simulink® MCDC coverage and WCET analysis
code_coverage_ada Code coverage for Ada, C and C++
amc-20-193 AMC 20-193
View Discovery pages

Upcoming events

SYSGO + Rapita: Verifying your Multicore RTOS
2022-05-31
ERTS Congress
2022-06-01
DO-178C Multicore In-person Training
2022-07-26
Air Force FACE and SOSA TIM and Expo
2022-09-01
View Events

Technical resources for industry professionals

Latest White papers

DO178C Handbook
Efficient Verification Through the DO-178C Life Cycle
A Commercial Solution for Safety-Critical Multicore Timing Analysis
Compliance with the Future Airborne Capability Environment (FACE) standard
View White papers

Latest Videos

A(M)C 20-193 vs. CAST-32A: What the change means for your DO-178C Multicore project
Verifying Multicore Systems supporting the FACE standard - ATW Global 2021
Timing Analysis for Critical Aerospace Embedded Software - ATW Global 2021
Qualification-video-thumbnail
Tool qualification with RVS
Revolutionized testing with RVS 3.16
View Videos

Latest Case studies

Front cover of whitepaper collins
Delivering world-class tool support to Collins Aerospace
Supporting Collins Aerospace with DO-178C Enterprise Tool Qualification (RVS)
Cobham Aerospace Connectivity: RapiCover continues to deliver on the most challenging targets
View Case studies

Other Downloads

 Webinars

 Brochures

 Product briefs

 Technical notes

 Research projects

Discover Rapita

Who we are

The company menu

  • About us
  • Customers
  • Distributors
  • Locations
  • Partners
  • Research projects
  • Contact us

US office

+1 248-957-9801
info@rapitasystems.com
Rapita Systems, Inc.
41131 Vincenti Ct.
Novi
MI 48375
USA

UK office

+44 (0)1904 413945
info@rapitasystems.com
Rapita Systems Ltd.
Atlas House
Osbaldwick Link Road
York, YO10 3JB
UK

Working at Rapita

Careers

Careers menu

  • Current opportunities & application process
  • Working at Rapita
Back to Top

Incremental Assurance of Multicore Integrated Modular Avionics (IMA)

Breadcrumb

  1. Home
  2. Resources
  3. Incremental Assurance of Multicore Integrated Modular Avionics (IMA)
7014O000001uYL9QAM
Webinar
When you contact us, we will process your personal data in accordance with our data protection policy, please see our Customer Privacy Information for more information.

In this webinar, you'll learn:

  • How to apply incremental assurance to multicore systems
  • Multicore IMA verification via interference generators

This presentation was delivered as part of the NXP®-led MultiCore for Avionics (MCFA) group on 2020-11-11.

DO-297/ED-124 gives guidance on DO-178C compliance considerations for Integrated Modular Avionics (IMA). These documents describe an incremental approach to DO-178C acceptance, where different roles produce assurance evidence for a subset of the entire system and this is accumulated to provide an assurance argument for the entire system.

The same approach can be used for incremental assurance of multicore systems.

Incremental Assurance diagram

Benefits of IMA

  • lower SWaP, portability, ease integration, ease certification
  • Basic concept of modularity, federated vs. integrated, isolation/partitioning
  • Relevant standards
  • ARINC 653 partitioning of the IMA computing environment
  • DO-297/ED-124 IMA stakeholder roles
  • CAST-32A, A(M)C 20-193 multicore assurance
  • ARINC 664 partitioning of the IMA communication network
  • Partitioning environment
  • Time, space, bandwidth, resource partitioning
  • Partitioning Platform, hosted Partition Applications

How Can We Apply Incremental Acceptance to Multicore?

  • Baseline product components
  • Desire to measure multicore timing for each hosted partition application, independently of other partitions
  • Future added hosted applications
  • Desire to measure multicore timing for each new hosted partition application, independently of other existing or new partitions

Other webinars

  • Solutions
    • Rapita Verification Suite
    • RapiTest
    • RapiCover
    • RapiTime
    • RapiTask
    • MACH178

    • Verification and Validation Services
    • Qualification
    • Training
    • Integration
  • Latest
  • Latest menu

    • News
    • Blog
    • Events
    • Videos
  • Downloads
  • Downloads menu

    • Brochures
    • Webinars
    • White Papers
    • Case Studies
    • Product briefs
    • Technical notes
    • Software licensing
  • Company
  • Company menu

    • About Rapita
    • Careers
    • Customers
    • Distributors
    • Industries
    • Locations
    • Partners
    • Research projects
    • Contact
  • Discover
    • AMC 20-193
    • What is CAST-32A?
    • Multicore Timing Analysis
    • MC/DC Coverage
    • Code coverage for Ada, C & C++
    • Embedded Software Testing Tools
    • Aerospace Software Testing
    • Automotive Software Testing
    • Certifying eVTOL
    • DO-178C
    • WCET Tools
    • Worst Case Execution Time
    • Timing analysis (WCET) & Code coverage for MATLAB® Simulink®

All materials © Rapita Systems Ltd. 2022 - All rights reserved | Privacy information | Trademark notice Subscribe to our newsletter