☰

Introduction to Astrée

© AbsInt. Astrée is developed and distributed by AbsInt under license from the CNRS/ENS.
Traffic lights image: Raysonho, CC0 1.0, sky photography: S. Eugster, CC BY-SA 3.0. Legal notices. Privacy policy.
URL: https://www.absint.com/astree/slides/index.htm

			Functional safety Background 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
			Astrée The zero alarm goal Types of runtime errors
			Types of runtime errors (cont’d) Astrée domains Analysis process
			Real-world applications Qualification support kits Summary