☰

Einführung in Astrée

© AbsInt. Astrée wird entwickelt und vertrieben von AbsInt unter Lizenz von CNRS/ENS.
Ampelfoto: Raysonho, CC0 1.0, Himmelfoto: S. Eugster, CC BY-SA 3.0. Impressum/Datenschutz. URL: http://www.absint.com/astree/slides/index_de.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