TÜV Certification for Diab Compiler