Incremental Assurance of Multicore Integrated Modular Avionics (IMA)

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.

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