Symofros est un logiciel de modélisation robotique créé à l'origine par l'Agence Spatial Canadienne (ASC) pour l'analyse et la validation des systèmes de commande des robots de la station spatiale internationale. Les fonctions de base de Symofros incluent la cinématique et la dynamique (linéaire et non linéaire) de systèmes mécaniques simples et complexes, incluant les systèmes contraints et les systèmes avec des liens flexibles.
Les principales caractéristiques de Symofros sont la génération du modèle de façon symbolique à l'aide de Maple, l'utilisation de Matlab/Simulink pour la simulation et sa capacité à générer du code temps réel en utilisant Simulink RTW. Le code temps réel ainsi produit (code C) peut être distribué et exécuté sur un système multi-processeurs en utilisant le logiciel RT-Lab.
Le laboratoire a réalisé des travaux afin d'ajouter des fonctionnalités de modélisation, d'analyse et de simulation au logiciel. Plus particulièrement, le laboratoire a travaillé sur l'ajout des robots parallèles et sur la distribution du modèle dynamique.
Symofros est distribué selon les termes d'une licence publique certifiée, rendant le code source disponible gratuitement à tous. Symofros est l'acronyme de Symbolic Modeling of Flexible Robots and Simulation.