Led by multicore experts, the training will focus on practical approaches to satisfying CAST-32A / A(M)C 20-193 objectives for both civil and defense multicore avionics projects.
Through a mix of theory and practical training, attendees will learn how to:
- Leverage industry-best approaches to CAST-32A / AMC 20-193 compliance
- Interpret AC 20-193 / AMC 20-193 and what the objectives mean in practice
- Select the right multicore hardware for your project
- Characterize and quantify multicore interference in your platform
- Estimate worst-case-execution-time for multicore platforms
- Demonstrate robust partitioning in your multicore system
- Integrate CAST-32A / AC 20-193 evidence into your existing DO-178C workflow
Lead presenters:
Dr. Guillem Bernat
Dr. Guillem Bernat is one of the founders of Rapita Systems. He received his PhD in Computer Science from the Universitat de les Illes Balears in Spain in 1998, and then took a lecturing position at the Real-Time Systems Group at the University of York in the UK.
In 2004, he founded Rapita Systems to commercialize technology for measurement-based worst-case execution time analysis technology. Rapita Systems has grown to provide a set of software verification tools for safety-critical systems including timing analysis, WCET analysis and structural code coverage analysis to satisfy DO-178B/C and ISO-26262 objectives. Dr. Bernat has more than 70 published papers in international conferences and journals, has lectured extensively in real-time systems, and is a frequent speaker at international conferences.
Reza Madjidi - CEO of ConsuNova, Inc. (Guest Speaker)
Reza Madjidi is responsible for driving ConsuNova global business strategy and operations. Mr. Madjidi is an active FAA Systems & Equipment DER (Software). With 20+ years of embedded avionics experience including the development of many critical embedded avionics and safety-critical systems, he is considered a leading expert on avionics certification, working with 30+ of the world’s 50 largest aerospace companies. Holding a BSc and MBA, Mr. Madjidi enjoys hands-on work providing training, detailed gap analysis & avionics certification optimization strategies to companies worldwide. Reza Madjidi is the inventor of several software tools and solution services, including traceGEAR, reviewGEAR, and widely adopted Gap Analysis techniques that have led 15+ global companies to a successful & efficient DO-178/DO-254 compliance completion.
Stephan Dupuy
Stephan Dupuy is the director of Rapita Systems' Multicore North Americas projects based in the USA (Michigan). He has been developing safety critical embedded systems for over two decades. During this engineering part of his career, he has worked in both the Automotive and Aerospace, Civil and Defense industries. In addition, Stephan has an Aerospace MBA from Toulouse Business School and has been invested in diverse roles including program management, business development and product strategy.
Daniel Funke - Multicore Software Engineer
Daniel received a Bachelor of Science in Computer Engineering from The College of New Jersey. Based in Novi, MI, Daniel plays a key role in delivering multicore verification projects in the USA.
Training format
2 full day training sessions
Day 1:
- The muticore challenge
- Concepts and terminology
- Identifying and quantifying multicore interference
- Identifying interference channels in a T2080
- Introduction to AC 20-193 and AMC 20-193
- Single core activation
- Selecting hardware and RTOS
- AMP vs SMP
- Integrated Modular Avionics
Day 2:
- Multicore Avionics Certification for high-Integrity DO-178C projects ( MACH 178)
- Rapita's approach to AC 20-193, AMC 20-193 and CAST-32A compliance
- DO-178C Planning for AC 20-193 and AMC 20-193
- Data Coupling and Control Coupling (DC/CC)
- Critical Configuration Settings (CCS)
- Safety Net
- Interference channel testing
- Worst-case execution time (WCET) determination
- Review and conclusions
