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