Safety-Critical Software Verification with AbsInt: MIL-STD-882E, DO-17

Safety-Critical Software Verification with AbsInt: MIL-STD-882E, DO-178C & ISO 26262.

JOIN JORAL TECHNOLOGIES IN OTTAWA, CANADA FOR AN IN-PERSON TECHNICAL WORKSHOP FOCUSED ON MIL-STD-882E, DO-178C, AND ISO 26262, AND HOW STATIC ANALYSIS AND VERIFICATION TOOLS CAN SUPPORT SOFTWARE SAFETY, ASSURANCE, AND COMPLIANCE ACTIVITIES ACROSS DEFENSE, AEROSPACE, AND AUTOMOTIVE APPLICATIONS LED BY THE ABSINT TEAM.

DISCOVER HOW ABSINT TOOLS INCLUDING ASTRÉE, STACKANALYZER, AND AIT CAN HELP DETECT POTENTIAL RUNTIME ERRORS, VERIFY CODING RULES, ANALYZE WORST-CASE STACK USAGE, AND DETERMINE WORST-CASE EXECUTION TIME (WCET). LEARN HOW THESE CAPABILITIES CAN REDUCE MANUAL VERIFICATION EFFORT AND PROVIDE OBJECTIVE EVIDENCE TO SUPPORT SAFETY AND VERIFICATION ACTIVITIES ASSOCIATED WITH MIL-STD-882E, DO-178C, AND ISO 26262.

THE SESSION WILL ALSO EXPLORE HOW STATIC ANALYSIS FITS INTO THE BROADER SAFETY-CRITICAL SOFTWARE DEVELOPMENT LIFECYCLE HELPING ENGINEERING TEAMS IDENTIFY RISKS EARLIER, IMPROVE SOFTWARE QUALITY, STRENGTHEN VERIFICATION, AND BUILD SUPPORTING EVIDENCE FOR SAFETY ASSESSMENT, CERTIFICATION, AND COMPLIANCE.

WEDNESDAY OCTOBER 21ST 2026 AT 9:00AM TO 12:00PM EDT
OTTAWA ONTARIO

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.

Register

Ready to join the course? Fill out the form!

First Name

Last Name

Company

Job Title

Email

Phone

Country / Region

State / Province

EMBEDDED IS EVERYWHERE