In cooperation with Siemens AG we pursue the goal to adapt runtime verification units for safety critical systems. To that end we will automatically generate runtime verification hardware out of the already existing designs. These verification units will be implemented next to the functional application and supervise critical parameters at runtime. In this way the verification framework shall support and improve existing safety critical application design flows.

                                                © Siemens AG Österreich

The objectives of this modules are:

  • Approach to transform code annotations to hardware descriptions
  • Develop a test- and fault-injection tool
  • Develop safety, reasoning and steering units
  • Engineer an industrial-strength demonstrator system for evaluation purposes