The role of static program analysis in functional safety


Roberto Bagnara, Abramo Bagnara and Patricia Hill

Presentation title

The role of static program analysis in functional safety

Authors

Roberto Bagnara, Abramo Bagnara and Patricia Hill

Institution(s)

University of Parma and BUGSENG

Presentation type

Technical presentation

Abstract

The role played by static program analysis in safety-related embedded projects is expanding considerably. This is due to the combined effect of the significant and rapid increase of: system complexity and connectivity, security concerns, time-to-market pressure. As a result, well established verification activities need to be "shifted left" in the development timeline in order to detect and fix issues when it is much cheaper and faster to do so. At the same time, the need to ensure independence and/or absence of unwanted interference among software components has become so important that the contribution of static program analysis to the solution of this problem has become a must have. We will illustrate these points with reference to the ISO 26262 and CENELEC EN 50128 functional safety standards.


Additional material

  • Presentation slides: [pdf]

For more details on this presentation please click the button below: