Title: The Future of Coding for Safety-Critical Systems

Author(s): Dewi Daniels

Publication Event: Publication of Newsletter Volume 30 Nos 3 - Oct 2022

Publication Date: 2022-10-01

Resource URL: https://scsc.uk/r3291.pdf

Abstract:

The Future of Coding for Safety-Critical Systems Seminar aimed to provide insights into the future of coding for safety systems: what languages, techniques and methodologies are likely to be used, what coding standards and guidelines may be applicable and how verification and analysis might be integrated with the process of developing code. Dewi Daniels provides the highlights from this fascinating event.