Logging, Monitoring & Protocol Verification

In cooperation with Kapsch TrafficCom we investigate, improve, and adapt solutions for real time logging, monitoring and protocol verification, employing various state-of-the-art methods. These solutions provide essential parts of our verification framework and will be adapted for the communication units and the respective protocol stacks employed by Kapsch TrafficCom for on-bord and road-side solutions.

                                                © Kapsch TrafficCom AG

The objectives of the modules are:

  • Improve existing and develop new real time logging solutions
  • Analyze, adapt and develop real time monitoring solutions for multi-threaded programs
  • Model and verify the communication stack using formal methods like model checking