Verifying your Multi-Core RTOS (DO-178C, AMC 20-193) | SYSGO & Rapita

Combining the latest technologies in real-time operating systems and verification tooling is the most efficient way to achieve DO-178C multi-core certification, as per the new A(M)C 20-193 guidance. In this technical webcast, you will learn how to optimize your RTOS configuration to prevent multi-core interference and verify the effectiveness of resource partitioning using Rapita’s unique timing/interference analysis methodology, to build a robust certification case.

In the webcast, you will learn:

- The interference mitigation technologies offered by SYSGO’s PikeOS RTOS
- How to optimize your PikeOS integration to prevent interference between cores
- How to analyze and quantify the effects of interference on your multi-core software behaviour using the Rapita Verification Suite
- How to build your certification argument for DO-178C multi-core hosted applications following A(M)C 20-193 using Rapita’s MACH178 solution
- How this technology works and what it looks like by way of a technical demonstration.

Video Chapters:

00:00 Introduction, SYSGO & Markets
06:44 PikeOS RTOS & Hypervisor
10:05 Certification & Avionics DO-178C
15:13 PikeOS and Multi-Core
25:39 Rapita Introduction
26:24 MACH178: Complete DO-178 Solution & Challenges
31:25 Robust RTOS Mitigation & Latest Guidance
34:16 Rapita Approach: MACH178, RapiTest, RapiDeamon and RapiTime
37:58 Verifying RTOS Interference Mitigation using MACH178
40:30 Live Demo: PikeOS Interference Prevention
47:39 Outro

▬ About SYSGO ▬▬▬▬▬▬▬▬▬▬▬▬

SYSGO is the leading European manufacturer of embedded operating systems, supporting Safety and Security-critical applications in the aerospace, automotive, railway and IIoT industries.

PikeOS, the world's first SIL 4 certified real-time operating system with multi-core support. The hypervisor (Type 1), which runs directly on the hardware, is certified according to the strictest Safety standards such as IEC 61508, EN 50128 and ISO 26262. In terms of Security, PikeOS is currently the only separation kernel certified to Common Criteria (EAL5+). In addition, PikeOS offers a fully certified programming interface and thus enables application development according to the "Safe & Secure by Design" principle. For less critical systems, ELinOS is an industrial grade Linux distribution with real-time extensions for embedded systems.

▬ More SYSGO Videos ▬▬▬▬▬▬▬▬▬

▬ Social Media ▬▬▬▬▬▬▬▬▬▬▬▬▬

▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬
#avionics #safety #security #embedded #certification