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).