Open Source Innovation Spring - OSIS - Track IoT Critique 2018

L'événement suivant est susceptible d'intéresser les membres de ce groupe (qualité logicielle ).

=> inscription et programme sur :
http://www.open-source-innovation-spring.org/2018/iot-2018/

-------------------------------------------------

L'événement a pour but de présenter sur une après-midi les technologies permettant d'assurer la qualité des firmware embarqués dans les équipements IoT. Nous évoquerons les systèmes d'exploitation dédiés (RIOT, RTEMS), les chaînes de compilation et outils de mise au point (Adacore, Farjump) et les outils de virtualisation (OMicroB). La société Nokia évoquera également sa stratégie de sécurisation des réseaux d'objets connectés.

Programme résumé

13:45: Introduction
Pierre FICHEUX (Smile ECS), Emmanuel CHAILLOUX (LIP6)

14:00: RTEMS pour l'IoT professionnel
Pierre FICHEUX (Smile ECS)

14:30: Sécurisation du réseau des objets connectés
Nicolas LE SAUZE (Nokia)

15:00: La sécurité des objets connectés à bas coût avec l'open source et RIOT
Emmanuel BACCELLI (Inria)

16:00: Solution de mise au point pour les systèmes embarqués
Julio GUERRA (Farjump)

16:30: L'approche machine virtuelle pour les microcontrôleurs : le projet OMicroB
Emmanuel CHAILLOUX (LIP6 - Sorbonne Université)

17:00: Ada and SPARK - Defense in Depth for Safe Micro-controller Programming
Fabien CHOUTEAU & Yannick MOY (Adacore)

17:30: Conclusion
Pierre FICHEUX (Smile ECS), Emmanuel CHAILLOUX (LIP6)