In the development of safety- and security-relevant systems the V-model is established providing verification possibilities at each development stage. Usually, methods and tools of Model-based Systems ...

The research work is focused on the development of a bidirectional translation tool between $\\mathrm{C}++$ and block diagrams focused on PLC programming, maintaining a semantic equivalence between ...