The norm ISO-26262 aims at ascertaining the functional safety of Automotive Electric/Electronic Systems. It is not focused on purely functional system properties, but also demands to exclude nonfunctional safety hazards in case they are critical for a correct functioning of the system.
This article gives:
- an overview of static program analysis techniques focusing on non-functional program properties
- investigates the non-functional requirements of the ISO-26262
- discusses the role of static analyzers in the ISO-26262