Last modified by Aurélie Hurault on 2020/07/30 12:06
Show last authors
1 (% style="line-height:1.656; 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(%%) ===
3
4 (% style="line-height:1.656; margin-top:16px; margin-bottom:16px" %)
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.
6
7 (% style="line-height:1.656; margin-top:16px; margin-bottom:16px" %)
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.
9
10 (% style="text-align:center" %)
11 [[image:sc_emergents.png]]
12
13 (% style="line-height:1.656; margin-top:16px; margin-bottom:16px" %)
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" %)[[Lien vers le défis.>>https://gdrgpl.myxwiki.org/xwiki/bin/download/Main/WebHome/FM_systemes_emergents.pdf?rev=1.1]]
15
16 (% class="wikigeneratedid" style="line-height: 1.656; margin-top: 21px; margin-bottom: 5px;" %)
17 Mots clés :  Méthodes formelles (model checking, tests, interprétation abstraite, preuve, solveur SMT), Modèles (Event-B, Matlab/Simulink, Scade,...), Systèmes hybrides, Hardware programmable
18
19 (% style="line-height:1.656; margin-top:21px; margin-bottom:5px" %)
20 === (% 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(%%) ===
21
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" %)[[Conchon Sylvain>>https://www.lri.fr/~~conchon/]], LRI - VALS, Université Paris-Saclay
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" %)[[Hurault Aurélie>>http://hurault.perso.enseeiht.fr/]], IRIT - ACADIE, Toulouse
24
25 (% style="line-height:1.656; 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" %)Animations(%%) ===
27
28 * (% 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
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" %)Une réunion annuelle (en plus de la session aux journées du GDR GPL)  en donnant la priorité aux industriels
30 * (% 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,...)
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" %)Favoriser les liens entre les doctorants du domaine : forum de discussion, rencontres en présentiel ou distanciel, ...
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" %)Favoriser les liens entre les équipes du domaine : échange d'étudiants
33
34 (% style="line-height:1.656; margin-top:21px; margin-bottom:5px" %)
35 === (% 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(%%) ===
36
37 (% style="line-height:1.656; margin-top:16px; margin-bottom:16px" %)
38 (% 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 :
39
40 * (% 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
41 * (% 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 futur LMF (Laboratoire de Méthodes Formelles) de l'Université Paris- Saclay
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" %)SVS, LACL, Université Paris-Est Créteil
43 * (% 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" %)DTIS, ONERA, Toulouse
44 * (% 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
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" %)MaREL, LIRMM, Montpellier
46 * (% 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" %)AeLoS, LS2N, Nantes
47 * Samovar, Evry
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" %)Mosel, LORIA, Nancy
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" %)U2IS, ENSTA Paris
50 * (% 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" %)Équipe Parkas, INRIA Paris
51 * (% 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" %)Équipe APR, LIP6, Sorbonne Université
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" %)LAMPS, Université de Perpignan via Domitia
53 * (% style="caret-color:#000000; color:#000000; font-family:Arial; font-size:14.6667px; white-space:pre-wrap" %)Équipe LII, ENAC
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" %)MoVe, LIP6, Paris
55 * Laboratoire I3S / Inria Sophia Antipolis Méditerranée
56 * (% 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
57
58 (% style="line-height:1.656; margin-top:21px; margin-bottom:5px" %)
59 === (% 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(%%) ===
60
61 (% style="line-height:1.656; margin-top:16px; margin-bottom:16px" %)
62 (% 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 le GT AFSEC (Approches Formelles des Systèmes Embarqués Communicants) continueront, si ces groupes sont reconduits.
63
64 (% style="line-height:1.656; margin-top:16px; margin-bottom:16px" %)
65 (% 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 :
66
67 * (% 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)
68 * (% 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 CLAP
69 * (% 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 (IE)
70 * (% 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 Langages et Vérification de Programmes (LVP)
71 * (% 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 Méthodes de test pour la validation et la vérification (MTV2)
72
73 (% style="line-height:1.656; margin-top:16px; margin-bottom:16px" %)
74 (% 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 :
75
76 * (% 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)
77 * (% 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)