{"id":4966,"date":"2025-09-24T11:03:16","date_gmt":"2025-09-24T09:03:16","guid":{"rendered":"https:\/\/pepr-cloud.fr\/fr\/?p=4966"},"modified":"2025-10-21T16:07:43","modified_gmt":"2025-10-21T14:07:43","slug":"livrable-archi-cesam","status":"publish","type":"post","link":"https:\/\/pepr-cloud.fr\/fr\/livrable-archi-cesam\/","title":{"rendered":"Un livrable cl\u00e9 : langages de mod\u00e9lisation"},"content":{"rendered":"

Mod\u00e9lisation formelle : un livrable cl\u00e9 pour des mod\u00e8les plus fiables et innovants<\/h1>\n\n\n\n
\n\n\n\n

Le projet Archi-CESAM, soutenu par le PEPR Cloud, vient de livrer un document intitul\u00e9 : \u00ab Description of the Targeted Formal Modeling Languages and their Semantics \u00bb. R\u00e9dig\u00e9 par Zachary Assoumani, doctorant dans l\u2019\u00e9quipe CONVECS, ce document pr\u00e9sente un panorama des langages utilis\u00e9s pour la description et la v\u00e9rification des architectures mat\u00e9rielles.<\/em><\/strong><\/p>\n\n\n\n

\n\n\n\n

Pourquoi c\u2019est important ?<\/em><\/strong><\/h2>\n\n\n\n

Les langages de mod\u00e9lisation servent \u00e0 cr\u00e9er des repr\u00e9sentations simplifi\u00e9es de syst\u00e8mes complexes (un r\u00e9seau \u00e9lectrique, un trafic a\u00e9rien, etc.). Mais pour que ces mod\u00e8les soient utiles, il faut leur donner une \u00ab s\u00e9mantique \u00bb<\/em> claire : en gros, d\u00e9finir pr\u00e9cis\u00e9ment ce qu\u2019ils repr\u00e9sentent et comment les interpr\u00e9ter.<\/p>\n\n\n\n

Le livrable L4.1, pr\u00e9par\u00e9 par Zachary Assoumani, pr\u00e9sente un ensemble des m\u00e9thodes rigoureuses pour y parvenir, en citant les travaux de recherche correspondants. L\u2019objectif ? Faciliter aux ing\u00e9nieurs et chercheurs d\u2019adopter les bonnes pratiques dans la conception de circuits optimis\u00e9s pour les applications cloud en faisant des choix \u00e9clair\u00e9s.<\/p>\n\n\n\n

\n
\n
<\/div>\n\n\n
\n
\"\"<\/a><\/figure><\/div>\n\n\n
<\/div>\n<\/div>\n\n\n\n
\n

Zachary Assoumani, auteur de ce livrable, a r\u00e9cemment pass\u00e9 avec succ\u00e8s son premier comit\u00e9 de suivi de th\u00e8se, en pr\u00e9sence d\u2019Alexandre Duret-Lutz, expert renomm\u00e9 en v\u00e9rification formelle. Zachary a \u00e9galement pr\u00e9sent\u00e9 les r\u00e9sultats de son analyse formelle de la sp\u00e9cification d\u2019un cache haute performance lors du RISC-V summit Europe \u00e0 Paris.<\/p>\n<\/div>\n<\/div>\n\n\n\n

\n\n\n\n

Et si demain, gr\u00e2ce \u00e0 ces avanc\u00e9es, nos syst\u00e8mes devenaient plus s\u00fbrs et plus intelligents ?<\/em><\/em><\/strong><\/p>","protected":false},"excerpt":{"rendered":"

Mod\u00e9lisation formelle : un livrable cl\u00e9 pour des mod\u00e8les plus fiables et innovants Le projet Archi-CESAM, soutenu par le PEPR Cloud, vient de livrer un document intitul\u00e9 : \u00ab Description of the Targeted Formal Modeling Languages and their Semantics \u00bb. R\u00e9dig\u00e9 par Zachary Assoumani, doctorant dans l\u2019\u00e9quipe CONVECS, ce document\u2026<\/p>\n

Continuer la lecture<\/span><\/i><\/a> <\/p>\n","protected":false},"author":2502,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[17],"tags":[],"class_list":["post-4966","post","type-post","status-publish","format-standard","hentry","category-interview"],"_links":{"self":[{"href":"https:\/\/pepr-cloud.fr\/fr\/wp-json\/wp\/v2\/posts\/4966","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/pepr-cloud.fr\/fr\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/pepr-cloud.fr\/fr\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/pepr-cloud.fr\/fr\/wp-json\/wp\/v2\/users\/2502"}],"replies":[{"embeddable":true,"href":"https:\/\/pepr-cloud.fr\/fr\/wp-json\/wp\/v2\/comments?post=4966"}],"version-history":[{"count":7,"href":"https:\/\/pepr-cloud.fr\/fr\/wp-json\/wp\/v2\/posts\/4966\/revisions"}],"predecessor-version":[{"id":5689,"href":"https:\/\/pepr-cloud.fr\/fr\/wp-json\/wp\/v2\/posts\/4966\/revisions\/5689"}],"wp:attachment":[{"href":"https:\/\/pepr-cloud.fr\/fr\/wp-json\/wp\/v2\/media?parent=4966"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/pepr-cloud.fr\/fr\/wp-json\/wp\/v2\/categories?post=4966"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/pepr-cloud.fr\/fr\/wp-json\/wp\/v2\/tags?post=4966"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}