Safety-Critical Software Verification with AbsInt: MIL-STD-882E, DO-178C & ISO 26262.
JOIN JORAL TECHNOLOGIES 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.
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
OTTAWA ONTARIO
Ready to join the course? Fill out the form!
EMBEDDED IS EVERYWHERE
PRODUCTS
Manufacturers
Resource center