Kernel-based Architecture for Safety-critical Control D3.5 – Final Report on Middleware and the Evaluation Environment Work Package Wp3 Due Date 37 Submission Date Version Blockinhistory