Assessment of the certifiability for the relevant safety standards

This document describes the safety impacts due to the introduction of code generation and verification of hydrid controllers. Safety is adressed by standards such as ISO 26262, IEC 61508, EN 50128 or DO-178C, and their objectives/requirements are analyzed with respect to the UnCoVerCPS approach at application level.