Webinar: AMC/AC 20-193: Certification of Avionics Software Running on

Webinar: AMC/AC 20-193: Certification of Avionics Software Running on Multi-Core Processors (MCPs).

TUESDAY NOVEMBER 25TH 2025

11:00AM EDT - 12:00PM EDT MICROSOFT TEAMS

THIS WEBINAR FOCUSES ON TIMING VERIFICATION WITH AN EMPHASIS ON WORST-CASE EXECUTION TIME ANALYSIS. PARTICIPANTS WILL LEARN ABOUT ESTABLISHED AND EMERGING TECHNIQUES FOR TIMING VERIFICATION, INCLUDING MEASUREMENT-BASED AND ANALYSIS-BASED METHODS, AND HOW PROCESSOR CHARACTERISTICS SUCH AS HARDWARE SPECULATION AND SHARED RESOURCE INTERFERENCE AFFECT PREDICTABILITY. SPECIAL ATTENTION WILL BE GIVEN TO TIMING CHALLENGES ON MODERN MULTI-CORE PLATFORMS AND TO THE LATEST CERTIFICATION GUIDANCE FROM FAA AC 20-193 AND EASA AMC 20-193.

NOVEMBER 25TH 2025
MICROSOFT TEAMS

Register

Dr. Daniel Kästner

CTO and Co-Founder of AbsInt.

Dr. Kästner is a co-founder of AbsInt. From 2000 to 2003, he was a research associate at Saarland University and Senior Software Engineer with AbsInt. Since 2003, he is CTO at AbsInt. 2007 and 2012 he was a guest lecturer at Saarland University with advanced courses on the development of safety-critical embedded systems.

Dr. Kästner is a member of the ISO 26262 and IEC 61508 working groups on Software Safety, and a member of the MISRA C and MISRA SQM working groups.

Martin Sicks

Senior Technical Consultant

Martin completed his diploma in computer science (comparable to a master’s degree in computer science today) at the Saarland University in 1997. He graduated with the work “Address Determination for Predicting the Behavior of Data Caches”.

Martin joined AbsInt right after the end of his studies and now holds the position of a Senior Technical Consultant. He also conducts trainings and evaluations of AbsInt’s binary analyzers.

ORGANIZERS

EMBEDDED IS EVERYWHERE