{"id":2438,"date":"2020-08-10T13:30:15","date_gmt":"2020-08-10T11:30:15","guid":{"rendered":"https:\/\/samovar2022.int-evry.fr\/?page_id=2438"},"modified":"2025-01-08T18:03:04","modified_gmt":"2025-01-08T17:03:04","slug":"acmes-2","status":"publish","type":"page","link":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/acmes-2\/","title":{"rendered":"ACMES"},"content":{"rendered":"\t\t
\n\t\t\t\t\t\t
\n\t\t\t\t\t\t
\n\t\t\t\t\t
\n\t\t\t
\n\t\t\t\t\t\t
\n\t\t\t\t
\n\t\t\t\t\t

ACMES (Algorithmes, Composants, Mod\u00e8les Et Services pour l\u2019informatique r\u00e9partie)<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t
\n\t\t\t\t
\n\t\t\t\t\t\t\t\t\t

<\/p>\n

Responsable de l’\u00e9quipe: Walid Gaaloul<\/i><\/a><\/p>\n

ACMES est une \u00e9quipe qui m\u00e8ne diverses recherches en informatique sur les sujets suivants : les architectures logicielles (middleware, service, Cloud), la gestion et la fouille des processus m\u00e9tiers, la gestion des donn\u00e9es, la mod\u00e9lisation des raisonnements et l\u2019extraction des connaissances (fouille, apprentissage).<\/p>\n

L\u2019\u00e9quipe s\u2019int\u00e9resse principalement \u00e0 trois challenges associ\u00e9s aux caract\u00e9ristiques de ces infrastructures logicielles : (1) la complexit\u00e9 des architectures et des piles logicielles et (2) le caract\u00e8re dynamique des infrastructures et des donn\u00e9es massives et h\u00e9t\u00e9rog\u00e8nes v\u00e9hicul\u00e9es par ces infrastructures (3) la v\u00e9rification, preuve et test de la pile logiciel. Elle est organis\u00e9e en trois grands axes :<\/p>\n

G\u00e9nie logiciel et intergiciel<\/strong> : la complexit\u00e9, l\u2019h\u00e9t\u00e9rog\u00e9n\u00e9it\u00e9 et la dynamicit\u00e9 inh\u00e9rente aux infrastructures mat\u00e9rielles et logicielles rendent les codes difficiles \u00e0 \u00e9crire et \u00e0 maintenir. Il devient donc n\u00e9cessaire de proposer de nouveaux intergiciels et mod\u00e8les pour simplifier la conception des applications.<\/p>\n

Donn\u00e9es et connaissances<\/strong> : automatiser ou effectuer des pr\u00e9dictions efficaces n\u00e9cessite de collecter et de traiter de grands volumes de donn\u00e9es h\u00e9t\u00e9rog\u00e8nes, et il est donc n\u00e9cessaire de proposer et d\u2019\u00e9tudier de nouveaux algorithmes permettant de collecter et traiter efficacement ces donn\u00e9es.<\/p>\n

M\u00e9thodes formelles<\/b> : la v\u00e9rification, la preuve formelle, le test et le monitoring des architectures logicielles et leurs domaines applicatifs (syst\u00e8mes complexes et critiques, d\u00e9tection d\u2019intrusion, lignes de produits logiciels) pour garantir leur correction et fiabilit\u00e9.<\/p>\n

<\/p>\n

<\/p>\n


<\/p>\n

<\/p>\n

<\/p>\n

<\/p>\n

<\/p>\n

<\/p>\n

<\/p>\n

<\/p>\n

<\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t

\n\t\t\t\t\t\t
\n\t\t\t\t\t
\n\t\t\t
\n\t\t\t\t\t\t
\n\t\t\t\t
\n\t\t\t\t\t\t\t\t\t
\n\t\t\t\t\t\n\t\t\t\t\t\t\n\t\t\t\t\t\t\t\t\tLes membres de l'\u00e9quipe<\/span>\n\t\t\t\t\t<\/span>\n\t\t\t\t\t<\/a>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t
\n\t\t\t
\n\t\t\t\t\t\t
\n\t\t\t\t
\n\t\t\t\t\t\t\t\t\t
\n\t\t\t\t\t\n\t\t\t\t\t\t\n\t\t\t\t\t\t\t\t\tLes publications<\/span>\n\t\t\t\t\t<\/span>\n\t\t\t\t\t<\/a>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t
\n\t\t\t
\n\t\t\t\t\t\t
\n\t\t\t\t
\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t\"\"\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t
\n\t\t\t\t
\n\t\t\t\t\t\t\t\t\t

Actualit\u00e9s<\/h4>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t
\n\t\t\t\t
\n\t\t\t\t\t\t\t
\t\t
\r\n\t\t\t
\r\n\t\t\t\t
\r\n\t\r\n\t
\r\n\t\t\t\t