Conférenciers/Exposants

Liste des conférenciers

  • Dominique Bolignano, fondateur et président de Prove & Run, professeur associé à l’Université Paris Dauphine
  • Christophe Pagezy, Président de Prove & Run
  • Andrew Banks, chairman du groupe de travail Misra-C
  • Adrien Facon, Head of Research & Innovation, Secure-IC
  • Sebastian Manthey Larsen, Strategic Business Development Manager, Security Solutions, Analog Devices Automotive
  • Camille Jalier, directeur du développement Hardware, Kalray
  • Christophe Tremlet, Executive Business Manager, Micros & Security, Maxim Integrated
  • Fabrice Gendreau, responsable EMEA segment sécurité, Microcontrollers and Digital ICs Group, STMicroelectronics
  • Christophe Pagezy, CEO de Prove & Run
  • Julien Zeller, CEO de Cynetis Embedded
  • Adrien Grassein, Tech Expert, Smile
  • Alexis Duque, R&D and Security Leader, RTone
  • Frédéric Maraval, Product Manager Embedded System & SW Quality, ISIT
  • Laurent Hausermann, Co-Fondateur de Sentryo
  • Nga Nguyen, Saoussen Mili et Rachid Chelouah, Laboratoire Quartz, EISTI
  • Emmanuel Gaudin, CEO et fondateur, Pragmadev
  • Aurélien Jacquiot, technical lead, Witekio
  • Yves Meyer, expert avionique, Sysgo

Liste des exposants

  • Implanté à Toulouse, ISIT est un distributeur à valeur ajoutée, spécialisé dans les outils destinés aux systèmes temps réel et embarqués. ISIT est organisé en quatre départements commerciaux : Temps réel embarqué (outils de développement et middleware pour systèmes embarqués), Assurance qualité logiciel (outils de test et de validation pour logiciels), Réseaux industriels et automatismes (solutions pour le développement et le déploiement de réseaux industriels) et Production et test (outils pour le développement et la production de cartes électroniques). Sur le stand présentera les solutions de ses partenaires GrammaTech, LDRA & Siemens PLM

  • ST Microlectronics, Microcontrollers and Digital ICs Group (MDG). La société propose des microcontrôleurs dédiés aux applications polyvalentes et sécurisées, ainsi que des mémoires non volatiles de faible densité. Son portefeuille de comprend une gamme de microcontrôleurs allant des architectures 8 bits aux microcontrôleurs à base de cœurs ARM 32 bits Cortex-M0 et M0 +, Cortex-M3, M4 et M7. Ces microcontrôleurs sécurisés couvrent une gamme d’interfaces pour la communication avec et sans contact.

  • Prove & Run, fondé en 2009, s’est donné pour mission de répondre aux problématiques de cybersécurité liées à l’usage des objets connectés et au déploiement de l’Internet des objets. La société a mis au point une technologie à base de méthodes formelles, permettant de développer des composants logiciels certifiables au plus haut niveau de sécurité. Via son outil ProvenTools, la société met à disposition un ensemble de briques logicielles prêtes à être intégrées qui constituent le socle de sécurité des architectures logicielles des systèmes embarqués et de l’Internet des objets.