The code generation framework for PTIDES currently supports three different target platforms: the ARM-based platform Luminary Micro LM3S8962, the Renesas 7216 Demo Kit and an XMOS development board with four cores. The XMOS board provides timing predictability for computations and with the multiple cores allows for parallelization of executions. The Renesas board is equipped with DP83640 Precision PHYTER from National Semiconductor, which enables hardware event timestamping with 8ns precision. For the Luminary Micro and the XMOS board, software clocks were implemented for timestamping. Our comparison of achieving functional and temporal correctness with these platforms is reported in .