Agenda

Given the complexity of our mission and the multiple communities involved we decided to structure our work initially as a series of experiments that both evaluate certification-related problems and how specific technologies help with them. 

In our first experiment (called Experiment Zero) the steering committee evaluated how a certification argument approach (Symbolic Assurance Refinement) can be used to evaluate potential explanations to the Taiwan CI202 flight triple-computer failure incident (CI202 Incident Report). You can find the report of this experiment in the link below.

We held the second workshop in July 2024 where we presented the experiment zero and discussed the follow up steps. You can download the report from the link below.