Interactive Discussion Session - The next ten years of high integrity software development: the role of the human

Topic:
As engineers we must continue to push the boundaries with innovative approaches to the rapid and efficient development, verification and certification of high integrity software. This draws us towards solutions offering increased automation, 'pipeline' environments, and potentially novel technologies such as generative AI. But where ultimately are the boundaries for human expertise in our future vision of high integrity software? What are the key governance roles that must retain human insight, and how will increased automation impact on our ecosystems including the future supply of suitably-qualified professionals and our ability to remediate issues rapidly when problems arise in the field?

Panelists:
Duncan Attwell, NCSC
Rod Chapman, Amazon Web Services
Shamal Faily, Dstl
Wrenna Robson, Royal Holloway, University of London

Chair:
Paul Butcher, AdaCore