Скачать с ютуб Verifying your Multi-Core RTOS (DO-178C, AMC 20-193) | SYSGO & Rapita в хорошем качестве

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. More information at https://www.sysgo.com/avionics 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. [email protected] | https://www.sysgo.com ▬ More SYSGO Videos ▬▬▬▬▬▬▬▬▬ Subscribe to the SYSGO Channel: https://www.sysgo.com/youtube-subscribe Watch all SYSGO Videos: https://www.sysgo.com/youtube-videos ▬ Social Media ▬▬▬▬▬▬▬▬▬▬▬▬▬ ► Twitter: https://www.sysgo.com/twitter ► LinkedIn: https://www.sysgo.com/linkedin ► LinkedIn Certified RTOS Group: https://www.sysgo.com/certRTOS ► Xing: https://www.sysgo.com/xing ► SYSGO Blog: https://www.sysgo.com/blog ▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬ #avionics #safety #security #embedded #certification Gemafreie Musik (royalty free): https://www.frametraxx.de