Seminar highlights coding standards and verification techniques for safety-critical systems, suggesting future trends in software development.
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.
No takes yet. Share an insight, caveat, or question.
Dewi Daniels (2022) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: