Static Verification of Non-Functional Requirements in the ISO-26262


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 

PDF-Download

Title

Firstname*

Surname*

Position

Email*

Phone*

Company*

Street*

Zip code*

City*

Country*


I have read and understand the Privacy statement of EUROFORUM Deutschland SE.
I agree that my personal data will be collected, processed and used.


 

*Required Fields