Les partenaires impliqués dans InS³PECT participent par leurs travaux de recherche aux différentes problématiques de la chaîne de valeur des objets connectés.
- Le laboratoire I3S (Informatique Signaux et Systèmes de Sophia Antipolis) porteur du projet avec deux équipes impliquées :
Kairos (Frédéric Mallet, Julien Deantoni, Marie-Agnès Peraldi-Frati) : avec leur expertise sur MARTE [13][14][17], les modèles d’allocation et la vérification de traces d’exécution[15][16][20] pour la validation des modèles, et enfin la définition de DSL (Domain Specific Language) [21][22] grâce à l’expérience dans le projet Gemoc.
SPARKS (Yves Roudier, Jean-Yves Tigli, Nhan Le Thanh) sur la spécification d’exigences liées à la sécurité informatique et à la protection de la vie privée qui a participé au développement du langage graphique SysML-Sec [4][5] et d’une méthodologie associée. Il s’intéresse également à la continuité de service et à leur adaptation au contexte [23] la validation des applications notamment formelle par model-checking notamment la vérification de protocole cryptographique par Proverif [5] ou la simulation de calcul et de communication au sein de la plate-forme TTool.
- Le laboratoire LEAT (Laboratoire d’Electronique et AnTennes) avec l’équipe McSoc  (François Verdier, Michel Auguin, Benoît Miramond, Daniel Gaffé)  avec leur expertise en modélisation et simulation système d’architectures incluant une gestion efficace de la consommation grâce à la librairie PwClkArch [11] le projet Hope[24], avec l’expérience en ce qui concerne les langages synchrones et leur utilisation pour la vérification de certaines propriétés [25] et les nouvelles tendances vers l’apprentissage et les architectures neuromorphiques [26].
- Le LIG Laboratoire Informatique de Grenoble : équipe VASCO (Yves Ledru, Akram Idani, Roland Groz, Lydie du Bousquet, Jean-Luc Richier)  avec leur expertise en test de logiciel, en vérification de propriétés sur des traces, en sécurité informatique[27][29][30], et en intégration de spécifications graphiques (SecureUML) et formelles (B)[28] pour le contrôle d’accès (outil B4MSecure)[31].

- Le Laboratoire Lab-STICC (Laboratoire des Sciences et Techniques de l'Information, de la Communication et de la Connaissance) : (Guy Gogniat, Vianney Lapotre) apporte son expertise dans le domaine de la conception de systèmes embarqués sécurisés[32][33] qui aborde la question de l’implantation et la protection des données dans des applications embarquées : problématique des architectures multi-cœurs à base de bus ou de NoC (Network On Chip) [34][35].


Pour toute demande de  renseignements contacter : Frederic Mallet ou  Marie-Agnès Peraldi-Frati