Petits-Déjeuner Persyval – MINALOGIC : Mieux comprendre les problématiques de R&D

Petits-Déjeuners Persyval-Minalogic : Mieux comprendre les problématiques de R&D

Stimuler la conception des systèmes embarqués : modélisation, virtualisation, méthodes formelles

Mardi 6 février 2018 (8h15-10h30) – Campus de Saint Martin d’Hères

Le LabEx PERSYVAL-Lab et Minalogic lancent des rencontres régulières entre académiques et industriels sur des thématiques à fort impact sociétal dans le champ de compétences de PERSYVAL-Lab. Le format choisi est celui de petits-déjeuners sur le campus de Saint-Martin d’Hères, programmés des mardis matin, avec des exposés de vulgarisation par des spécialistes de la thématique choisie suivis d’un moment d’échange et discussions.

Ces rencontres ont pour but de :

• découvrir les problématiques et les avancées de la recherche dans un secteur à la pointe de l’actualité
• appréhender le potentiel pour le développement innovant d’applications
• échanger sur des projets R&D avec des spécialistes du domaine

Seconde rencontre prévue : Stimuler la conception des systèmes embarqués : modélisation, virtualisation, méthodes formelles

Dans tous les domaines d’application, la conception des systèmes embarqués fait face à la pression croissante de nombreux enjeux et contraintes : complexité, hétérogénéité, évolutivité, temps réel, fiabilité…, et bien sûr time to market. Ce contexte rend indispensable la possibilité de modéliser rigoureusement le système matériel/logiciel dès les plus hauts niveaux du flot de conception et de procéder à des vérifications de bonne conception tout au long de ce flot. Deux grandes familles de méthodes participent à ce challenge : la vérification en exécution via la simulation, et le raisonnement symbolique au moyen de méthodes formelles. Ces deux domaines, en constante évolution, offrent une panoplie de solutions riches et complémentaires.

L’objectif de cette rencontre est de dresser un panorama de leurs apports respectifs : d’une part sur les dernières avancées quant à l’efficacité de la simulation de systèmes à base de processeurs grâce aux techniques de virtualisation, et d’autre part sur la variété des vérifications et analyses pouvant être réalisées au moyen d’outils basés sur du raisonnement formel.

Programme
8h15-8h30 : Accueil
8h30-8h45 : Exposé introductif “Positionnement Simulation/Méthodes formelles en bref”
Laurence Pierre, Université Grenoble Alpes, Laboratoire TIMA et UFR IM2AG

8h45-9h45 : Exposés spécialisés :
Plateformes virtuelles : simulation matériel/logiciel efficace et nouvelles techniques de virtualisation
Frédéric Pétrot, Grenoble INP, Laboratoire TIMA

Apport des méthodes formelles
David Monniaux, CNRS, Laboratoire VERIMAG

9h45-10h : Conclusion
Résumé des moyens de collaboration, des équipes LabEx et des masters concernés par ce thème

10h00-10h30 : temps d’échanges

L’inscription en ligne est gratuite mais obligatoire, avant le 30/01. Je m’inscris.