Ce document est le premier numéro d'une newsletter interne du Département Ingénierie Logiciels et Systèmes (DILS). Il s'adresse aux membres du département et aux partenaires intéressés par les activités de recherche en IA, systèmes embarqués, cybersécurité et jumeau numérique. Le numéro s'ouvre sur l'annonce de la publication de l'ouvrage « Guide to Software Verification with Frama-C », dirigé…
Ce document est le premier numéro de la newsletter du Département Ingénierie Logiciels et Systèmes (DILS). Il s'adresse aux membres du département et aux partenaires académiques et industriels, présentant une sélection d'actualités en IA, systèmes embarqués, cybersécurité et jumeau numérique.
Le numéro s'ouvre sur la publication de l'ouvrage « Guide to Software Verification with Frama-C », dirigé par Nikolai Kosmatov, Virgile Prevosto et Julien Signoles. Ce livre de 726 pages, publié chez Springer en juillet 2024, rassemble 39 auteurs et 16 chapitres sur les techniques d'analyse de programmes C.
Un article détaille les travaux de Rouwaida Abdallah et Tiphaine Henry sur une solution basée sur les DLT (blockchains) pour le passeport numérique des produits (DPP). Leur approche utilise des jetons F-NFT pour modéliser les transformations des produits dans les chaînes d'approvisionnement, dans le cadre des projets européens Maditrace et Cirpass2.
La rubrique « Les news en vrac » rapporte plusieurs actualités : la participation de Julien Signoles au DevSec Day de Marseille, la venue d'un chercheur invité d'Okayama University au LECS, et l'acceptation d'un article sur la vérification formelle dans le journal Science of Computer Programming.
Le cours « Explainable & Trustworthy AI » de Romain Xu-Darme sera intégré au programme de Master de l'ENSIMAG, d'abord en option en 2025 puis obligatoire en 2026. L'équipe AISER interviendra dans ce cours et collabore avec le LSEA sur l'IA de confiance en robotique.
Enfin, la rubrique « La news indus » annonce que le DILS et l'équipe JUMO ont été retenus par le groupe ADP pour développer un simulateur du système de tri bagages de l'aéroport Paris-Charles de Gaulle. Le numéro se termine par l'agenda des événements à venir et un quiz sur les nationalités représentées au département.