Last modified by Aurélie Hurault on 2020/07/30 12:06
From version 4.1
edited by Aurélie Hurault
on 2020/06/05 14:57
Change comment: There is no comment for this version
To version 5.1
edited by Aurélie Hurault
on 2020/06/05 14:58
Change comment: There is no comment for this version

Summary

Details

Page properties
Content
... ... @@ -1,55 +1,55 @@
1 -(% style="line-height:1.38; margin-top:21px; margin-bottom:5px" %)
2 -=== (% style="color:#434343; font-family:Arial; font-size:14pt; font-style:normal; font-variant:normal; font-weight:400; text-decoration:none; white-space:pre-wrap" %)Description(%%) ===
1 +(% style="line-height:1.656; margin-top:21px; margin-bottom:5px" %)
2 +=== (% style="font-size: 14pt; font-variant: normal; white-space: pre-wrap; font-family: Arial; color: rgb(67, 67, 67); font-weight: 400; font-style: normal; text-decoration: none" %)Description(%%) ===
3 3  
4 -(% style="line-height:1.38" %)
5 -(% style="color:#000000; font-family:Arial; font-size:11pt; font-style:normal; font-variant:normal; font-weight:400; text-decoration:none; white-space:pre-wrap" %)Les méthodes formelles ont été élaborées depuis de nombreuses années afin d’assurer un niveau aussi élevé que possible en matière de précision et de fiabilité et ont ainsi montré que l’objectif du zéro-faute est réalisable pour des systèmes dits "fermés" (qui fonctionnent dans un environnement complètement maîtrisé). Cependant, les systèmes informatiques qui émergent aujourd’hui sont de plus en plus ouverts sur des environnements plus incertains, à temps continus ou basés sur de l’apprentissage de jeux de données difficilement prédictible. En outre, grâce aux progrès réalisés dans la miniaturisation des circuits intégrés et leur autonomie, de plus en plus de systèmes ouverts sont implémentés par des programmes complexes s’exécutant sur des circuits programmables qui s’apparentent à de véritables mini-ordinateurs (microcontrôleurs, FPGA, System on Chip). On retrouve ainsi ces programmes embarqués un peu partout dans les objets de notre quotidien, dans les smartphones ou l’électroménager, mais également dans les appareils médicaux, les voitures, les avions, etc.
4 +(% style="line-height:1.656; margin-top:16px; margin-bottom:16px" %)
5 +(% style="font-size: 11pt; font-variant: normal; white-space: pre-wrap; font-family: Arial; color: rgb(0, 0, 0); font-weight: 400; font-style: normal; text-decoration: none" %)Les méthodes formelles ont été élaborées depuis de nombreuses années afin d’assurer un niveau aussi élevé que possible en matière de précision et de fiabilité et ont ainsi montré que l’objectif du zéro-faute est réalisable pour des systèmes dits "fermés" (qui fonctionnent dans un environnement complètement maîtrisé). Cependant, les systèmes informatiques qui émergent aujourd’hui sont de plus en plus ouverts sur des environnements plus incertains, à temps continus ou basés sur de l’apprentissage de jeux de données difficilement prédictible. En outre, grâce aux progrès réalisés dans la miniaturisation des circuits intégrés et leur autonomie, de plus en plus de systèmes ouverts sont implémentés par des programmes complexes s’exécutant sur des circuits programmables qui s’apparentent à de véritables mini-ordinateurs (microcontrôleurs, FPGA, System on Chip). On retrouve ainsi ces programmes embarqués un peu partout dans les objets de notre quotidien, dans les smartphones ou l’électroménager, mais également dans les appareils médicaux, les voitures, les avions, etc.
6 6  
7 -(% style="line-height:1.38" %)
8 -(% style="color:#000000; font-family:Arial; font-size:11pt; font-style:normal; font-variant:normal; font-weight:400; text-decoration:none; white-space:pre-wrap" %)La complexité de ces systèmes est évidente et la maîtrise des risques inhérents à leur utilisation est ainsi de plus en plus pressante. Il est clair que pour garantir leur sûreté et leur sécurité, l’adoption de moyens d’investigation indubitables et des techniques sûres et fiables reposant sur des fondements mathématiques s’impose. Aussi, les méthodes formelles ont-elles vocation à jouer un rôle d’envergure dans ce cadre avec des bénéfices indéniables. Ce faisant, pour être efficaces, les méthodes formelles devront inévitablement s’adapter au caractère ouvert, imprécis et intelligent de ces systèmes. Ce groupe vise à faire progresser la science informatique, en particulier les méthodes formelles, pour la conception, la programmation et la vérification de ces systèmes critiques émergents.
7 +(% style="line-height:1.656; margin-top:16px; margin-bottom:16px" %)
8 +(% style="font-size: 11pt; font-variant: normal; white-space: pre-wrap; font-family: Arial; color: rgb(0, 0, 0); font-weight: 400; font-style: normal; text-decoration: none" %)La complexité de ces systèmes est évidente et la maîtrise des risques inhérents à leur utilisation est ainsi de plus en plus pressante. Il est clair que pour garantir leur sûreté et leur sécurité, l’adoption de moyens d’investigation indubitables et des techniques sûres et fiables reposant sur des fondements mathématiques s’impose. Aussi, les méthodes formelles ont-elles vocation à jouer un rôle d’envergure dans ce cadre avec des bénéfices indéniables. Ce faisant, pour être efficaces, les méthodes formelles devront inévitablement s’adapter au caractère ouvert, imprécis et intelligent de ces systèmes. Ce groupe vise à faire progresser la science informatique, en particulier les méthodes formelles, pour la conception, la programmation et la vérification de ces systèmes critiques émergents.
9 9  
10 -(% style="line-height:1.38; margin-top:21px; margin-bottom:5px" %)
11 -=== (% style="color:#434343; font-family:Arial; font-size:14pt; font-style:normal; font-variant:normal; font-weight:400; text-decoration:none; white-space:pre-wrap" %)Porteurs du GT(%%) ===
10 +(% style="line-height:1.656; margin-top:21px; margin-bottom:5px" %)
11 +=== (% style="font-size: 14pt; font-variant: normal; white-space: pre-wrap; font-family: Arial; color: rgb(67, 67, 67); font-weight: 400; font-style: normal; text-decoration: none" %)Porteurs du GT(%%) ===
12 12  
13 -* (% style="color:#000000; font-family:Arial; font-size:11pt; font-style:normal; font-variant:normal; font-weight:400; text-decoration:none; white-space:pre-wrap" %)Conchon Sylvain, LRI - VALS, Université Paris-Saclay
14 -* (% style="color:#000000; font-family:Arial; font-size:11pt; font-style:normal; font-variant:normal; font-weight:400; text-decoration:none; white-space:pre-wrap" %)Hurault Aurélie, IRIT - ACADIE, Toulouse
13 +* (% style="font-size: 11pt; font-variant: normal; white-space: pre-wrap; font-family: Arial; color: rgb(0, 0, 0); font-weight: 400; font-style: normal; text-decoration: none" %)Conchon Sylvain, LRI - VALS, Université Paris-Saclay
14 +* (% style="font-size: 11pt; font-variant: normal; white-space: pre-wrap; font-family: Arial; color: rgb(0, 0, 0); font-weight: 400; font-style: normal; text-decoration: none" %)Hurault Aurélie, IRIT - ACADIE, Toulouse
15 15  
16 -(% style="line-height:1.38; margin-top:21px; margin-bottom:5px" %)
17 -=== (% style="color:#434343; font-family:Arial; font-size:14pt; font-style:normal; font-variant:normal; font-weight:400; text-decoration:none; white-space:pre-wrap" %)Animations(%%) ===
16 +(% style="line-height:1.656; margin-top:21px; margin-bottom:5px" %)
17 +=== (% style="font-size: 14pt; font-variant: normal; white-space: pre-wrap; font-family: Arial; color: rgb(67, 67, 67); font-weight: 400; font-style: normal; text-decoration: none" %)Animations(%%) ===
18 18  
19 -* (% style="color:#000000; font-family:Arial; font-size:11pt; font-style:normal; font-variant:normal; font-weight:400; text-decoration:none; white-space:pre-wrap" %)Réalisation d'une liste de diffusion pour animer le groupe
20 -* (% style="color:#000000; font-family:Arial; font-size:11pt; font-style:normal; font-variant:normal; font-weight:400; text-decoration:none; white-space:pre-wrap" %)Une réunion annuelle (en plus de la session aux journées du GDR GPL)  en donnant la priorité aux industriels
21 -* (% style="color:#000000; font-family:Arial; font-size:11pt; font-style:normal; font-variant:normal; font-weight:400; text-decoration:none; white-space:pre-wrap" %)Présentations régulières en visioconférence (résultats intéressants présentés ou vus en conférence, appris auprès d'un industriel,...)
22 -* (% style="color:#000000; font-family:Arial; font-size:11pt; font-style:normal; font-variant:normal; font-weight:400; text-decoration:none; white-space:pre-wrap" %)Favoriser les liens entre les doctorants du domaine : forum de discussion, rencontres en présentiel ou distanciel, ...
23 -* (% style="color:#000000; font-family:Arial; font-size:11pt; font-style:normal; font-variant:normal; font-weight:400; text-decoration:none; white-space:pre-wrap" %)Favoriser les liens entre les équipes du domaine : échange d'étudiants
19 +* (% style="font-size: 11pt; font-variant: normal; white-space: pre-wrap; font-family: Arial; color: rgb(0, 0, 0); font-weight: 400; font-style: normal; text-decoration: none" %)Réalisation d'une liste de diffusion pour animer le groupe
20 +* (% style="font-size: 11pt; font-variant: normal; white-space: pre-wrap; font-family: Arial; color: rgb(0, 0, 0); font-weight: 400; font-style: normal; text-decoration: none" %)Une réunion annuelle (en plus de la session aux journées du GDR GPL)  en donnant la priorité aux industriels
21 +* (% style="font-size: 11pt; font-variant: normal; white-space: pre-wrap; font-family: Arial; color: rgb(0, 0, 0); font-weight: 400; font-style: normal; text-decoration: none" %)Présentations régulières en visioconférence (résultats intéressants présentés ou vus en conférence, appris auprès d'un industriel,...)
22 +* (% style="font-size: 11pt; font-variant: normal; white-space: pre-wrap; font-family: Arial; color: rgb(0, 0, 0); font-weight: 400; font-style: normal; text-decoration: none" %)Favoriser les liens entre les doctorants du domaine : forum de discussion, rencontres en présentiel ou distanciel, ...
23 +* (% style="font-size: 11pt; font-variant: normal; white-space: pre-wrap; font-family: Arial; color: rgb(0, 0, 0); font-weight: 400; font-style: normal; text-decoration: none" %)Favoriser les liens entre les équipes du domaine : échange d'étudiants
24 24  
25 -(% style="line-height:1.38; margin-top:21px; margin-bottom:5px" %)
26 -=== (% style="color:#434343; font-family:Arial; font-size:14pt; font-style:normal; font-variant:normal; font-weight:400; text-decoration:none; white-space:pre-wrap" %)Equipes(%%) ===
25 +(% style="line-height:1.656; margin-top:21px; margin-bottom:5px" %)
26 +=== (% style="font-size: 14pt; font-variant: normal; white-space: pre-wrap; font-family: Arial; color: rgb(67, 67, 67); font-weight: 400; font-style: normal; text-decoration: none" %)Equipes(%%) ===
27 27  
28 -(% style="line-height:1.38" %)
29 -(% style="color:#000000; font-family:Arial; font-size:11pt; font-style:normal; font-variant:normal; font-weight:400; text-decoration:none; white-space:pre-wrap" %) Les équipes impliquées sont :
28 +(% style="line-height:1.656; margin-top:16px; margin-bottom:16px" %)
29 +(% style="font-size: 11pt; font-variant: normal; white-space: pre-wrap; font-family: Arial; color: rgb(0, 0, 0); font-weight: 400; font-style: normal; text-decoration: none" %) Les équipes impliquées sont :
30 30  
31 -* (% style="color:#000000; font-family:Arial; font-size:11pt; font-style:normal; font-variant:normal; font-weight:400; text-decoration:none; white-space:pre-wrap" %)ACADIE, IRIT, Toulouse
32 -* (% style="color:#000000; font-family:Arial; font-size:11pt; font-style:normal; font-variant:normal; font-weight:400; text-decoration:none; white-space:pre-wrap" %)Les membres du LMF (Laboratoire de Méthodes Formelles, Université Paris- Saclay)
33 -* SVS, LACL, Université Paris-Est Créteil
34 -* VALS, LRI, Université Paris-Saclay
35 -* (% style="color:#000000; font-family:Arial; font-size:11pt; font-style:normal; font-variant:normal; font-weight:400; text-decoration:none; white-space:pre-wrap" %)VASCO, LIG, Grenoble
36 -* (% style="color:#000000; font-family:Arial; font-size:11pt; font-style:normal; font-variant:normal; font-weight:400; text-decoration:none; white-space:pre-wrap" %)**EN COURS DE CONSTRUCTION**
31 +* (% style="font-size: 11pt; font-variant: normal; white-space: pre-wrap; font-family: Arial; color: rgb(0, 0, 0); font-weight: 400; font-style: normal; text-decoration: none" %)ACADIE, IRIT, Toulouse
32 +* (% style="font-size: 11pt; font-variant: normal; white-space: pre-wrap; font-family: Arial; color: rgb(0, 0, 0); font-weight: 400; font-style: normal; text-decoration: none" %)Les membres du LMF (Laboratoire de Méthodes Formelles, Université Paris- Saclay)
33 +* (% style="font-size: 11pt; font-variant: normal; white-space: pre-wrap; font-family: Arial; color: rgb(0, 0, 0); font-weight: 400; font-style: normal; text-decoration: none" %)SVS, LACL, Université Paris-Est Créteil
34 +* (% style="font-size: 11pt; font-variant: normal; white-space: pre-wrap; font-family: Arial; color: rgb(0, 0, 0); font-weight: 400; font-style: normal; text-decoration: none" %)VALS, LRI, Université Paris-Saclay
35 +* (% style="font-size: 11pt; font-variant: normal; white-space: pre-wrap; font-family: Arial; color: rgb(0, 0, 0); font-weight: 400; font-style: normal; text-decoration: none" %)VASCO, LIG, Grenoble
36 +* (% style="font-size: 11pt; font-variant: normal; white-space: pre-wrap; font-family: Arial; color: rgb(0, 0, 0); font-weight: 400; font-style: normal; text-decoration: none" %)EN COURS DE CONSTRUCTION
37 37  
38 -(% style="line-height:1.38; margin-top:21px; margin-bottom:5px" %)
39 -=== (% style="color:#434343; font-family:Arial; font-size:14pt; font-style:normal; font-variant:normal; font-weight:400; text-decoration:none; white-space:pre-wrap" %)Interactions(%%) ===
38 +(% style="line-height:1.656; margin-top:21px; margin-bottom:5px" %)
39 +=== (% style="font-size: 14pt; font-variant: normal; white-space: pre-wrap; font-family: Arial; color: rgb(67, 67, 67); font-weight: 400; font-style: normal; text-decoration: none" %)Interactions(%%) ===
40 40  
41 -(% style="line-height:1.38" %)
42 -(% style="color:#000000; font-family:Arial; font-size:11pt; font-style:normal; font-variant:normal; font-weight:400; text-decoration:none; white-space:pre-wrap" %)Ce GT est, en parti, issu de l'ancien GT MFDL (Méthodes Formelles dans le Développement Logiciel).  Les collaborations existantes entre le GT MFDL et les GT MTV2 (Méthodes de test pour la validation et la vérification) et AFSEC (Approches Formelles des Systèmes Embarqués Communicants) continueront, si ces groupes sont reconduits.
41 +(% style="line-height:1.656; margin-top:16px; margin-bottom:16px" %)
42 +(% style="font-size: 11pt; font-variant: normal; white-space: pre-wrap; font-family: Arial; color: rgb(0, 0, 0); font-weight: 400; font-style: normal; text-decoration: none" %)Ce GT est, en parti, issu de l'ancien GT MFDL (Méthodes Formelles dans le Développement Logiciel).  Les collaborations existantes entre le GT MFDL et les GT MTV2 (Méthodes de test pour la validation et la vérification) et AFSEC (Approches Formelles des Systèmes Embarqués Communicants) continueront, si ces groupes sont reconduits.
43 43  
44 -(% style="line-height:1.38" %)
45 -(% style="color:#000000; font-family:Arial; font-size:11pt; font-style:normal; font-variant:normal; font-weight:400; text-decoration:none; white-space:pre-wrap" %)Les réunions annuelles / visios conférences pourront être communes avec d'autres groupes du GDR GPL notamment :
44 +(% style="line-height:1.656; margin-top:16px; margin-bottom:16px" %)
45 +(% style="font-size: 11pt; font-variant: normal; white-space: pre-wrap; font-family: Arial; color: rgb(0, 0, 0); font-weight: 400; font-style: normal; text-decoration: none" %)Les réunions annuelles / visios conférences pourront être communes avec d'autres groupes du GDR GPL notamment :
46 46  
47 -* (% style="color:#000000; font-family:Arial; font-size:11pt; font-style:normal; font-variant:normal; font-weight:400; text-decoration:none; white-space:pre-wrap" %)GT Génie Logiciel et Intelligence Artificielle (GLIA)
48 -* (% style="color:#000000; font-family:Arial; font-size:11pt; font-style:normal; font-variant:normal; font-weight:400; text-decoration:none; white-space:pre-wrap" %)GT compilation
49 -* (% style="color:#000000; font-family:Arial; font-size:11pt; font-style:normal; font-variant:normal; font-weight:400; text-decoration:none; white-space:pre-wrap" %)GT (%%)(Ingénierie des Exigences) (% style="color:#000000; font-family:Arial; font-size:11pt; font-style:normal; font-variant:normal; font-weight:400; text-decoration:none; white-space:pre-wrap" %)IE
47 +* (% style="font-size: 11pt; font-variant: normal; white-space: pre-wrap; font-family: Arial; color: rgb(0, 0, 0); font-weight: 400; font-style: normal; text-decoration: none" %)GT Génie Logiciel et Intelligence Artificielle (GLIA)
48 +* (% style="font-size: 11pt; font-variant: normal; white-space: pre-wrap; font-family: Arial; color: rgb(0, 0, 0); font-weight: 400; font-style: normal; text-decoration: none" %)GT compilation
49 +* (% style="font-size: 11pt; font-variant: normal; white-space: pre-wrap; font-family: Arial; color: rgb(0, 0, 0); font-weight: 400; font-style: normal; text-decoration: none" %)GT (Ingénierie des Exigences) IE
50 50  
51 -(% style="line-height:1.38" %)
52 -(% style="color:#000000; font-family:Arial; font-size:11pt; font-style:normal; font-variant:normal; font-weight:400; text-decoration:none; white-space:pre-wrap" %)voir avec d'autres GDR :
51 +(% style="line-height:1.656; margin-top:16px; margin-bottom:16px" %)
52 +(% style="font-size: 11pt; font-variant: normal; white-space: pre-wrap; font-family: Arial; color: rgb(0, 0, 0); font-weight: 400; font-style: normal; text-decoration: none" %)voir avec d'autres GDR :
53 53  
54 -* (% style="color:#000000; font-family:Arial; font-size:11pt; font-style:normal; font-variant:normal; font-weight:400; text-decoration:none; white-space:pre-wrap" %)le GDR Aspects Formels et Algorithmiques de l'Intelligence Artificielle (IA)
55 -* (% style="color:#000000; font-family:Arial; font-size:11pt; font-style:normal; font-variant:normal; font-weight:400; text-decoration:none; white-space:pre-wrap" %)le GDR Informatique Mathématique (IM)
54 +* (% style="font-size: 11pt; font-variant: normal; white-space: pre-wrap; font-family: Arial; color: rgb(0, 0, 0); font-weight: 400; font-style: normal; text-decoration: none" %)le GDR Aspects Formels et Algorithmiques de l'Intelligence Artificielle (IA)
55 +* (% style="font-size: 11pt; font-variant: normal; white-space: pre-wrap; font-family: Arial; color: rgb(0, 0, 0); font-weight: 400; font-style: normal; text-decoration: none" %)le GDR Informatique Mathématique (IM)