/

Comme beaucoup de Franciliens vous avez déjà pris sans doute la ligne 14 du métro parisien, cette ligne de métro inaugurée en 1998 est entièrement automatique et dès sa mise en service a fonctionné sans aucun problème informatique. Une large part de cette réussite technique est due à l’utilisation du langage ADA et du système de preuve formelle basé sur le langage B.

Lors de cet atelier animé par des experts ADA nous découvrirons les avantages de ce langage utilisé dans les systèmes temps réel critiques. Au cours de cette journée nous allons vous faire découvrir en quoi Ada est plus qu’un langage ; c’est également une philosophie de programmation mettant en œuvre un certain nombre de paradigmes logiciels

Petite Note historique :

ADA tire son nom de ADA lovelace qui est considérée comme la première programmeuse du monde pour avoir dans les années 1830 programmer la machine analytique de Charles Babbage .

Objectifs :
   1.    Comprendre les caractéristiques du langage et plus particulièrement en quoi il s’avère pertinent pour adresser des problématiques telles que la sûreté et la sécurité.
   2.    Avoir quelques exemples concrets et les pointeurs nécessaires afin d’approfondir le sujet si nécessaire.
Plan :
   – Rappels historiques.
   – Les caractéristiques du langage.
   – Le processus de développement.
   – Mise en pratique : Installation et écriture d’un « hello world » en expliquant la structure du code.
   – Les types composés (contraints et non contraints).
   – Les exceptions + tests run-time.
   – Le modèle de pointeurs & exemple pratique.
   – Les génériques & exemple pratique.
   – Objets et classes.
   – Bindings & exemple pratique.
   – La programmation par contrat (+introduction Ada2012).
   – Preuve formelle SPARK

MODALITÉS : être adhérent(e), 20€/an (10€ demandeurs d’emploi) valable 1 an pour plus de 10 ateliers

ROVER TELECOMMANDE

/   

 ARDUINO est une famille de microcontrôleurs à but pédagogique permettant de se familiariser avec l’électronique et l’informatique, il existe depuis 2007 grâce à nos amis italiens et à linux , ARDUINO signifiant pingouin en italien .

 Arduino est une plateforme open source. Contrairement au Raspberry Pi, Arduino n’est pas conçu pour être un ordinateur de bureau à part entière, plutôt un moyen de s’interfacer facilement avec de l’électronique.

On trouve très facilement sur le net des vidéos ou des tutoriels, les composants étant très bon marché c’est un moyen facile d’entrer dans les technologies du futur pour les enfants , quelques connaissances de maths et de physiques sont les bienvenues mais pas obligatoires, c’est justement l’occasion de les acquérir pour les esprits curieux.

 Disons que l’on peut commencer ARDUINO vers 12 ans , le STARTER KIT étant le meilleur moyen de démarrer, on le trouve à environ 100 Euros sur internet.

STARINUX se  propose de dépasser le stade du STARTER KIT et de la LED qui clignote pour aller vers des projets plus ambitieux telle que la robotique, STARINUX a eu l’opportunité de se procurer trois ROVERS à six roues destinées à l’éducation, mais sans l’électronique de pilotage. Le pojet que vous nous proposons est de rajouter à ces ROVERS des commandes électroniques ARDUINO  pour les piloter d’abord en mode télécommande et si affinité en mode autonome comme un vrai  robot.

  L’idée est que les participants puissent s’organiser en équipe pour réaliser un robot capable de se mouvoir de façon autonome.

  La réalisation pratique n’étant pas possible en une ou deux samedi, l’idée est que les participants s’organisent en binômes ou trinômes,…  en ramenant possiblement  le ROVER chez eux ; et  en laissant un chèque de caution , chaque rover nu coute dans les 300 Euros.

  Il est prévu que les ateliers du samedi soient réservés à la partie théorique et à la résolution des problèmes rencontrés. 

  Au niveau de la réalisation électronique des compétences en bricolage sont souhaitables on fait appel à des composants de la famille ARDUINO des câbles, des  barrettes de connections à trouver en magasin de bricolage , peu ou pas de soudure bien que savoir souder soit  un plus.

Session 1 : Une journée

 Présentation de la famille ARDUINO , ce que l’on peut faire avec : Rappels des notions d’électricité, de programmation en C/C++, découverte de l’IDE ARDUINO , de la chaine de compilation édition de liens , loader. Présentation des autres microcontrôleurs RASPBERRY PI , STM32 ….

     A l’issue de cette journée, les participants sont capables de faire clignoter un chenillard à LED.

  Nous avons quelques ARDUINO de disponibles  mais il est préférable que les participants aient leur propres matériel, ARDUINO, LEDs Résistances ,câbles , plaque d’études…. Ce que l’on trouve dans le STARTER-KIT.

Session 2 : Une journée

    Présentation sommaire  des différents moteurs électriques :  Courant Continu, Universel, asynchrone Pas à Pas, comment les piloter avec les SHIELDS ARDUINO, notion sur le protocole BLUE-TOOTH utilisé pour la télécommande.

     A l’issue de cette journée, les participants savent comment piloter un moteur avec un pont en H basé sur le circuit L298N

Session 3 : Une journée

    Robotique, Présentation du but à atteindre, un ROVER robot autonome capable de suivre une piste tracée au sol. On définira des jalons intermédiaires pour éviter les découragements.

    Premier Jalon : le ROVER est  Télécommandé en Bluetooth depuis un smartphone android.

    Deuxième Jalon : le ROVER est autonome et effectue un parcours préprogrammé.

    Troisiéme Jalon : le ROVER est autonome et suit une piste sans obstacles

Session 4 et suivantes :  A définir

 Nous  ( D.MOREAU & D. BOILEVIN)  aidons à la résolution des problèmes