Governance Node Seminar - Colin O'Halloran, D-RisQ

In this presentation I shall discuss the development of safety critical software with a focus on the evidence that needs to be generated and its cost as part of the certification process. Model based development usually focuses on the needs of the developer, but the needs of the certifier are even more important and not appreciating this leads to cost escalation and time overruns. D-RisQ is developing tools to reduce the risk of budget and time overruns, but an appreciation of the disciple needed to use these tools is important for their adoption and success. The verification objectives addressed are specified by DO-178C and the formal methods supplement DO-333, but these objectives can be mapped to other standards like ISO26262, IEC61508 etc. A conclusion of this work is that there are limitations to the certification of Machine Learning approaches due to the obligation of verifying implementations against high level requirements.

Sep 21 2022 -

Governance Node Seminar - Colin O'Halloran, D-RisQ

Overview of verification objectives for safety critical aerospace software

Online via Teams