Effective Static Analysis Shift Left for the Development of Safe and Secure Embedded Systems


Roberto Bagnara, Abramo Bagnara
University of Parma, BUGSENG

Presentation title

Effective Static Analysis Shift Left for the Development of Safe and Secure Embedded Systems

Authors

Roberto Bagnara
University of Parma
Abramo Bagnara
BUGSENG

Presentation type

Technical presentation

Abstract

The idea of "shift-left testing", that is, integrating the quality assurance and development parts of a software project is 20 years old. Nonetheless, its widespread adoption is a more recent, and by now explosive trend thanks to the increased availability and sophistication of modern continuous integration system. In this talk, we will present the key factors to be taken into account when embracing static application safety/security testing in an organization, with a particular emphasis on the development and maintenance of critical embedded systems.


Additional material

  • Presentation slides: [pdf]

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