☰
Products
Support
News
About us
de
Astrée
RuleChecker
Compliance
Integration
New in 24.10
Try now
Introduction to Astrée
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
Download all slides (PDF, 3.1MB)
©
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