Changes for page Home

Summary

• Page properties (1 modified, 0 added, 0 removed)

Details

Page properties

Content

...	...	@@ -1,1 +1,83 @@
1		->Domain Specific Languages (DSL)Ingénierie Dirigée par les ModèlesIndustrialisation des modèles, passage à l'échelleModel-Based Software Engineering (MBSE)Génie Logiciel et Intelligence ArtificielleIntelligence Artificielle (IA)  l'énergie, la santé, les transports et la sécurité. science du logiciel bénéfices LMO (Langages et Modèles à Objets)recherches en représentation des connaissances et en programmation, réduction des coûts des temps de développement et de maintenance, amélioration de la qualité, dont la vérification. techniques d'apprentissage automatique (machine learning), Génie Logiciel (GL) a interactions entre GL et IA du GLméthodes formelles; spécifications formelles; vérification de programmes; analyses statiques; analyses dynamiques; génération de test; programmation sûre; raffinement; assistants de preuve; preuve automatique; dissémination des méthodes formellesMéthodes formelles (model checking, tests, interprétation abstraite, preuve, solveur SMT), Modèles (Event-B, Matlab/Simulink, Scade,...), Systèmes hybrides, Hardware programmable
	1	+>Ce site est un espace de travail. Il est complémentaire au site officiel du GDR que vous trouverez [[ici>>http://gdr-gpl.cnrs.fr/]].
	2	+
	3	+
	4	+(% class="box successmessage" %)
	5	+(((
	6	+Merci à tous pour votre travail sur les GTs !
	7	+
	8	+Afin de permettre aux membres du GDR de se positionner sur les différents groupes, nous diffuserons le lien vers ce site (qui reste un outil de travail) **à partir du 11 juillet.**
	9	+
	10	+**Rappel: **Pour participer aux discussions sur les GTs, les actions du GDR, les outils dont nous avons besoin, rendez-vous sur [[Framapad>>https://mensuel.framapad.org/p/j8hdmiut2y-9h9p?lang=fr]]
	11	+)))
	12	+
	13	+= Equipes du GDR GPL =
	14	+
	15	+[[Equipes du GDR>>doc:Maps.Equipes.WebHome]]
	16	+
	17	+
	18	+[[Equipes internationales avec les équipes du GDR collaborent dans le cadre du GDR>>https://gdrgpl.myxwiki.org/xwiki/bin/view/Maps/InternationalTeams/]]
	19	+
	20	+
	21	+[[Equipes en entreprise ou dans les Institut de recherche technologique qui collaborent dans le cadre du GDR>>doc:Maps.TeamsInIndustryAndIRT.WebHome]]
	22	+
	23	+= Groupes de Travail en construction du GDR GPL =
	24	+
	25	+{{documentTree root="document:Main.GTs.WebHome"/}}
	26	+
	27	+= Les grands défis portés par les équipes du GDR GPL =
	28	+
	29	+
	30	+* [[Vers des Logiciels Éco-responsables,  Le génie logiciel au défi de la sobriété écologique>>attach:GDR_GPL_2020___logiciels_verts.pdf]]
	31	+* [[Combinatoire certifiée>>attach:combinatoire_certifiee.pdf]]
	32	+* [[New Generation Debuggers>>attach:New Generation Debuggers.pdf]]
	33	+* [[La sécurité dans le développement logiciel>>attach:La sécurité dans le développement logiciel.pdf]]
	34	+* [[Gestion de la co-évolution des logiciels partiellement générés pendant la phase d’évolution et de maintenance>>attach:co-évolution des logiciels.pdf]]
	35	+* [[Défi en compilation et langages: du parallélisme oui, mais du parallélisme efficace et sûr!>>attach:Défi en compilation et langages.pdf]]
	36	+* [[Safe and optimal component-based dynamic reconfiguration>>attach:Safe and optimal component-based dynamic reconfiguration]]
	37	+* [[Quelle argumentation pour des systèmes de confiance ?>>attach:Quelle argumentation pour des systèmes de confiance.pdf]]
	38	+* [[Génie Logiciel et Intelligence Artificielle>>attach:Génie Logiciel et Intelligence Artificielle.pdf]]
	39	+* [[Chaîne de compilation formellement certifiée>>attach:chaine_compilation_certifiee.pdf]]
	40	+* [[Vers plus de fiabilité sur les résultats de recherche en génie logiciel>>attach:Vers plus de fiabilité sur les résultats de recherche en génie logiciel.pdf]]
	41	+* [[Méthodes formelles pour la conception, la programmation et la vérification de systèmes critiques émergents>>attach:FM_systemes_emergents.pdf]]
	42	+
	43	+**[[Pour avoir tous les défis d'un coup, c'est ici (.zip>>attach:Archive.zip]]**[[(% class="wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink" %)**) **>>attach:Archive.zip]]
	44	+
	45	+
	46	+= (% class="wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink" %)Visualisation sous la forme d'un graphe des interactions entre les groupes(%%) =
	47	+
	48	+
	49	+{{yuml style="scruffy" scale="300" dir="LR"}}
	50	+[GLIA]Learn-Tests[MTV2]
	51	+[GLIA]*-*[Logiciel Eco-Responsable]
	52	+[GLIA]-[IE]
	53	+[GLIA]-GT CAVIAR[GDR IA{bg:wheat}]
	54	+[Debugging]-[CLAP]
	55	+[HIFI]-[GLIA]
	56	+[HIFI]-[GDR IA]
	57	+[HIFI]-[GDR IM{bg:wheat}]
	58	+[HIFI]-[IE]
	59	+[IE]-[GDR RSD{bg:wheat}]
	60	+[IE]-[GDR TAL{bg:wheat}]
	61	+[IE]-[GDR MADICS{bg:wheat}]
	62	+[HIFI]-[LVP]
	63	+[MTV2]combinaison \n d'analyses statiques \n et dynamique-[LVP]
	64	+[MTV2]-[HIFI]
	65	+[CLAP]-[HIFI]
	66	+[CLAP]-CompilationCertifiée[LVP]
	67	+[GLIA]--[Sécurité]
	68	+[Sécurité]-[GDR Sécurité{bg:wheat}]
	69	+[Logiciel Eco-Responsable]-Action Energie[GDR RSD]
	70	+[Logiciel Eco-Responsable]-GT Politiques environnementales du numérique [GDR CIS{bg:wheat}]
	71	+[Logiciel Eco-Responsable]-Thème Systèmes embarqués Durables [GDR SOC2{bg:wheat}]
	72	+[Vélocité Logicielle]-[GLIA]
	73	+[Vélocité Logicielle]-[MTV2]
	74	+[Vélocité Logicielle]-[Sécurité]
	75	+[IDM]-[IE]
	76	+[IDM]-[GLIA]
	77	+[IDM]-[Sécurité]
	78	+[IDM]-[Debugger]
	79	+[IDM]DSL-[CLAP]
	80	+[GLIA]-[LVP]
	81	+[LVP]-SCALP[GDR IM]
	82	+[LVP]-Méthodes formelles pour la sécurité[GDR Sécurité]
	83	+{{/yuml}}