Le projet SPORTS travaille sur la conception et la validation de systèmes numériques complexes et les systèmes à événements discrets soumis à des contraintes (sûreté, temps de réponse, coût, cible d'implantation).
Les systèmes sont réactifs c'est-à-dire en permanente interaction avec leur environnement.
Les principales contributions en recherche se font en:

• Modélisation: (expession des contraintes, sémantique, méthodologies),

• Analyse: (expression analytique, évaluation symbolique, simulation),

• et le développement des outils associés.