This python package contains algorithms to analyze the timing of real-time systems.
https://github.com/ida-tubs/pycpa
latest