Le projet SPORTS a été créé en 1993. Il s'intéresse au développement et l'utilisation de méthodes formelles pour la mise en oeuvre de systèmes embarqués.

Ses domaines d'expertise couvrent à la fois :

Le projet SPORTS collabore en recherche avec les industriels de la technopole de Sophia-Antipolis ainsi que des grands centres de recherche publics et privés nationaux.

Les membres de SPORTS participent activement aux enseignements de l'Université de Nice (IUT, Maitrise, DEA ainsi écoles d'ingénieurs).