☰

Introduction to aiT

© AbsInt. Image of the zFAS sensor motherboard: R. Basic, CC BY-SA 2.0. Legal notices. Privacy policy.
URL: https://www.absint.com/ait/slides/index.htm

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