Starting with April 2015 Oregano Systems - Design & Consulting GesmbH joined the Josef Ressel Center for Verification of Embedded Computing Systems. The aim of the cooperation is on verification support for tightly synchronized distributed embedded systems.
In particular, the objectives of our cooperation are:
- Investigate hardware assisted time transfer for Parallel Redundancy Protocol (PRP) and High-Availability Seamless Redundancy (HSR) network topologies
- Multilevel architecture optimization for hardware packet processing modules for PRP and HSR
- Efficient verification strategies for nodes attached to redundant networks