Introduction to StackAnalyzer

			Functional safety Stack usage 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
			Stack usage analysis Testing is difficult StackAnalyzer
			Analyses overview Annotated call graph Global stack usage analysis
			One stack Maximum stack usage ISRs + OSEK tasks + frames
			Result combination Qualification Support Kits Final overview