IRP SINFIN

IRP : SINFIN

Méthodes formelles pour la modélisation, la spécification, la vérification et le développement de logiciels

Institut de rattachement : INS2I

Pays de coopération : Argentine

1.   Introduction

L’IRP INFINIS a été créé en 2011 afin de renforcer la coopération scientifique entre la France et l’Argentine dans le domaine de l’informatique fondamentale. Il organise notamment un workshop annuel, contribue à la formation des étudiants et jeunes doctorants, et facilite les échanges de chercheurs entre les deux pays, y compris de longs séjours académique.

2.   Missions et thèmes de recherche

L’informatique est omniprésent dans notre société, que ce soit dans le domaine médical, l’industrie aéronautique, automobile ou chimique, les télécommunications, l’électronique, les banques, etc. Plusieurs logiciels utilisés dans ces domaines sont critiques, c’est-à-dire que leur dysfonctionnement peut entraîner des conséquences graves, comme des décès, des dégâts matériels importants, des pertes financières faramineuses, ou des séquelles irréversibles pour l’environnement. La complexité croissante de ces systèmes critiques pose de nombreux problèmes techniques dans tous les cycles de développement des logiciels : de l’expressivité des langages de programmation, aux étapes de test et/ou de certification, en passant par la conception, la spécification, la vérification, la mise en œuvre, etc.

Ce constat est le point de départ de l’activité de recherche de l’IRP INFINIS, qui s’est concentrée sur le développement de nouvelles méthodes formelles pour définir des formalismes rigoureux limitant au maximum les incompréhensions entre développeurs et utilisateurs.

3.   Principaux projets de recherche

A compléter

4.   Les institutions et laboratoires impliqués

Les institutions signataires de la convention sont :

Côté français :  

  • CNRS
  • Université Paris Diderot – Paris 7

Côté argentin :

  • Consejo Nacional de Investigaciones Cientificas y Tecnicas (CONICET)
  • Universidad de Buenos Aires (UBA)

 

Les laboratoires associés sont :

  • Le laboratoire Preuves, Programmes et Systèmes (PPS) – UMR 7126 (CNRS/Univ. Paris 7)
  • Le Laboratoire d’Informatique Algorithmique Fondamentale et Appliquée (LIAFA) – UMR 7089 (CNRS/Univ Paris 7)
  • Departamento de Computación, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires

 

En Bref 
Date de création2011
Directeur FRDelia Kesner, delia.kesner@pps.univ-paris-diderot.fr
Directeur BRSergio Yovine, syovine@dc.uba.ar
Effectif
Nombre de doctorants??
Nombre de laboratoiresFR : 2 / AR : 1
Nombre de co-publications??
Villes impliquéesFrance : Paris / Argentine : Buenos Aires
Site internethttp://infinis.dc.uba.ar/