The Open Source
Innovation Spring 2018

Qualité logicielle | IoT | Cloud | Big Data | Systèmes d'information

Mai-juin 2018, Paris - Châtillon

Présidence : Roberto Di Cosmo, vice-président du GTLL, directeur de l’Irill, directeur de recherche Inria, Professeur à l’Université Paris-Diderot

Organisé par : logo Systematic & logo IRILL

Retour à l'OSIS

Open Source Innovation Spring - OSIS - Track IoT Critique 2018

24 Mai 2018 — Open Source Innovation Spring - OSIS - Track IoT Critique 2018

13h-18h

Salle 101 15-16 UPMC, Paris 4 place Jussieu, Paris

Résumé

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.

Direction de programme

Pierre Ficheux (Smile ECS), Emmanuel Chailloux (LIP6)

Description détaillée

Programme résumé

  • 13:15: Accueil des participants, café

  • 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)

  • 15:30: PAUSE

  • 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)

  • 18:00: Pot

Lieu

Salle 101 15-16 UPMC

Ville: Paris


Programme détaillé

  • 13:15 - Accueil des participants, café

  • 13:45 - Introduction

    Pierre FICHEUX (Smile ECS), Emmanuel CHAILLOUX (LIP6)

    Une brève présentation de l'événement par les organisateurs

  • 14:00 - RTEMS pour l'IoT professionnel

    Pierre FICHEUX (Smile ECS)

    Nous présenterons le système d'exploitation RTEMS, ses applications passées et actuelles ainsi que les travaux en cours pour son utilisation dans l'IoT professionnel.

  • 14:30 - Sécurisation du réseau des objets connectés

    Nicolas LE SAUZE (Nokia)

    Le principe est d’appliquer des mécanismes de contrôle dynamiques et fins sur les communications des objets (entre eux ou bien vers le cloud) sous le contrôle des utilisateurs.

  • 15:00 - La sécurité des objets connectés à bas coût avec l'open source et RIOT

    Emmanuel BACCELLI (Inria)

    RIOT est un système d'exploitation léger, libre et performant développé par l'INRIA et destiné aux cibles matérielles de faible puissance.

  • 15:30 - PAUSE

  • 16:00 - Solution de mise au point pour les systèmes embarqués

    Julio GUERRA (Farjump)

    La société Farjump propose une solution simple, innovante et bon marché pour la mise au point des systèmes embarqués utilisés dans l'IoT. La solution est basé sur la mise en place d'agents GDB sur la cible.

  • 16:30 - L'approche machine virtuelle pour les microcontrôleurs : le projet OMicroB

    Emmanuel CHAILLOUX (LIP6 - Sorbonne Université)

    Dans cet exposé, on présentera OMicroB, une machine virtuelle OCaml pour microcontrôleurs à faibles ressources, inspirée des travaux précédents sur le projet OCaPIC. Cette machine virtuelle, destinée à être exécutée sur diverses architectures matérielles (AVR, PIC, ARM, ...) permet ainsi de factoriser le développement d’applications, mais aussi de généraliser l’analyse et le débogage du bytecode associé, tout en permettant un usage précautionneux de la mémoire. On cible alors des programmes ludiques ou de domotiques destinés à être exécutés sur des microcontrôleurs à faibles ressources, en insistant sur les particularités inhérentes à la programmation de systèmes embarqués.

  • 17:00 - Ada and SPARK - Defense in Depth for Safe Micro-controller Programming

    Fabien CHOUTEAU & Yannick MOY (Adacore)

    The programming language Ada offers unique features to safely program a micro-controller. From the start, Ada was designed to make it difficult to introduce errors, and to make it easy to discover errors that were introduced. For example, language rules enforced at compile time make it possible to have safe concurrency by design. And run-time checking allows immediate detection of what would be "undefined behavior" in C/C++. In the first part of this presentation, we will present the benefits of using Ada for micro-controller programming, including support for debugging on a board. In the second part of this presentation, we will present how the Ada language and its subset SPARK provide a strong foundation for static analyzers, that make it possible to detect errors and provide guarantees on embedded software in Ada/SPARK.

  • 17:30 - Conclusion

    Pierre FICHEUX (Smile ECS), Emmanuel CHAILLOUX (LIP6)

    Conclusions générales de l'après-midi

  • 18:00 - Pot

Intervenants

  • Adacore

  • FarJump

  • LIP6

  • Nokia

  • RIOT

  • Smile

Organisateurs et/ou sponsors

Organisateurs (2018)

Co-organisateurs et sponsors (2018)

Ils parlent de l'OSIS (2018)