Verifying the Hierarchical Structure and Freedom from Interference of Software Components

Tuesday, November 17th, 2020

11:00-12:00 CET (UTC+1)

In the development of high-integrity software, all interactions between components must satisfy design constraints. Hierarchical levels must not be bypassed: if the design prescribes that software layer A cannot interact directly with layer C without the intermediation of layer B, this is something that must be verified. If components with different criticalities have to coexist on the same ECU, huge savings are possible if we can prove that lower-criticality components cannot interfere with higher-criticality ones. In this webinar, we will introduce these concepts and show how ECLAIR greatly simplifies the detection of all interactions between software components and the flagging of those that are unwanted. The webinar will focus on the requirements of ISO 26262, but the same basic concepts are directly applicable to other functional safety standards.

View recording