Presentation title
The role of static program analysis in functional safetyAuthors
Roberto Bagnara, Abramo Bagnara and Patricia HillInstitution(s)
University of Parma and BUGSENGPresentation type
Technical presentationAbstract
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: