Year 1 deliverables have now been made available on the project website. These deliverables provide initial results on issues ranging from the KARYON architecture definition, to the definition of safety constraints and safety predicates.

They can be found in the Project Documents – Deliverables section of the website.