Symtavision, dont les produits sont distribués en France par Antycip, est réputé pour son outil SymTA/S de modélisation temporelle des systèmes temps réel complexes. Utilisé par les secteurs de l'automobile et de l'aérospatial, SymTA/S combine des fonctionnalités telles que l'analyse des temps de réponse au pire cas, l'analyse statistique de timing et l'analyse des temps basées sur des données d'entrées spécifiques combinées à des mesures réelles. Symtavision a été racheté en 2016 par la société suisse Luxoft.