Vous êtes ici

Petits-Déjeuners Persyval-Minalogic

Petits-Déjeuners Persyval-Minalogic

06
Fév
Innovation

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

 

Inscription            Pour plus d'infos

 

Date

De 06/02/2018 - 08:15 au 06/02/2018 - 10:30

Lieu

IMAG, 700 avenue centrale, Domaine universitaire, 38401 Saint-Martin d’Hères

Événements associés

Nos prochains évènements "Innovation"

17
jan

Une heure pour présenter, votre idée de projet et échanger avec les experts Easytech et les laboratoires partenaires

Innovation
24
jan

Une heure pour présenter, votre idée de projet et échanger avec les experts Easytech et les laboratoires partenaires

Innovation
07
fév

Une heure pour présenter, votre idée de projet et échanger avec les experts Easytech et les laboratoires partenaires

Innovation