Introduction to aiT

Functional safety Real-time systems Worst-case execution time (WCET)
Modelling hardware The timing problem Static analysis
Abstract interpretation Aerospace: DO-178B/DO-178C Automotive: ISO-26262
Automotive: ISO-26262 Automotive: ISO-26262 E&E systems: ICE-61508 — Edition 2.0
E&E systems: ICE-61508 — Edition 2.0 Railway: prEN-50128 Industry perspective
aiT WCET Analyzers Qualification Support Kits Summary