Bonjour,

En cette période pré-Ada-Europe, nous rappelons à nos membres qu'il est temps de renouveler leur cotisation à Ada-France et Ada-Europe.

En adhérant à Ada-France, vous aidez l'association dans ses activités de promotion du langage (Stand à OSS, présentation à Starinux, Meetup Ada France) et à maintenir notre serveur qui héberge notamment le site Ada/Debian.

En adhérant de plus à Ada-Europe, vous recevez une copie du Ada User Journal publié tous les trimestres, et vous augmentez le nombre de voix d'Ada-France au sein d'Ada-Europe.

• Le montant de la cotisation pour Ada-France et Ada-Europe est de 65 euros,
• Le montant de la cotisation pour Ada-France seul est de 30 euros.

Pour acquitter votre cotisation, merci de remplir le formulaire d'adhésion (Adhesion.pdf) et de le renvoyer signé avec votre règlement par chèque à notre trésorière (adresse indiquée dans le PDF).

Vous pouvez aussi payer par virement bancaire. Dans ce cas, vous pouvez nous envoyer le formulaire par mail à: bureau at ada-france.org.

Nous vous remercions de votre soutien,

Le bureau

Voici le programme du Meetup Ada-France prévu le 26 Mars prochain avec les sociétés AdaCore, AdaLog et Systerel:

9h – Introduction : présentation du langage

9h15 – Focus sur quelques atouts du langage Ada

• La maintenabilité & portabilité, Robert CHOLAY (Systerel)
• La Programmation Orientée Objet (POO), Jean-Pierre ROSEN (Adalog)
• La Programmation Par Contrat (PPC) & approche formelle (SPARK), Yannick MOY (AdaCore)
• La programmation temps réel & concurrente, Fabien CHOUTEAU (AdaCore)

10h – Présentations d'utilisateurs ou d'industriels

• Conclusion sur 25 ans de retour d’expérience, Frédéric PINOT (Hitachi)
• Le Fuzzing en Ada, Lionel MATIAS (Thales)
• Projets embarqués et connectés sur STM32, Stéphane CARREZ (Twinlife)

11h – Discussion informelle

Inscrivez-vous sur Meetup Ada France.

Ada France organise un Meetup le 26 Mars à 9h00 avec les sociétés AdaCore, AdaLog et Systerel.

Le Meetup aura lieu à l'université Pierre et Marie Curie le Jeudi 26 Mars de 9h00 à 12h00. Le programme est en cours de finalisation. Nous avons prévu plusieurs présentations autour de la fiabilité, la sûreté et la sécurité, la maintenabilité & portabilité,... Des utilisateurs d'Ada viendront aussi présenter certains de leur projets. L'événement se terminera par des discussions autour d'un apéro.

Inscrivez-vous sur Meetup Ada France.

La société Adalog donne des formations sur Ada, plusieurs cours et sessions sont planifiés sur le premier semestre 2020:

• Un cours complet sur Ada est prévu du 17 au 19 et du 22 au 24 juin 2020
• Un cours Ada 2005 et 2012 (pour ceux qui connaissent Ada 95) est prévu du 16 au 18 mars 2020,
• Un cours sur le développement d'outils avec ASIS est prévu du 06 au 07 avril 2020.

D'autres cours sont possibles sur AADL, les développements autour d'AWS ou la méthode HOOD. Pour vous inscrire et pour plus d'information consultez le Calendrier des formations Adalog, premier semestre 2020.

Ada France sera présent au Paris Open Source Summit les 10 et 11 décembre 2019.

Venez nombreux pour découvrir le language Ada si vous ne le connaissez pas, voir comment il a évolué et comment il peut résoudre beaucoup de vos problèmes efficacement.

Plusieurs démonstrations sont prévues...

Pas encore convaincu par Ada, venez voir la présentation d'AKT dans la session Sécurité le mardi 10, cet outil pour sécuriser vos données et documents sensibles est écrit entièrement en Ada.

La saison 4 de la compétition Make with Ada vient de débuter. Organisé par la société AdaCore depuis 2016, cette compétition fait la promotion du language Ada ou SPARK dans des environnements embarqués.

Cette année, AdaCore a changé un peu les règles afin de récompenser plus de projets. Cette fois, les 10 projets finalistes recevront 600$ et le premier recevra en plus 2000$. Vous êtes débutant en Ada, pas de problème, vous avez toutes vos chances mais voici quelques conseils pour vous aider:

• Apprenez Ada en ligne avec Learn.adacore.com
• Jetez un œil aux exemples du projet Ada_Drivers_Library. Étudiez les, ils vous donneront des idées pour réaliser votre projet.
• Commencez petit, faites évoluer votre projet tout en adoptant les bonnes pratiques de développement. Vérifiez et corrigez les warnings du compilateur!
• Votre projet fonctionne, très bien! Mais documentez et donnez des explications sur votre projet.
• Amusez-vous et montrez cela dans votre code et sur hackster.io!

Enregistrez vous sur hackster.io

La version 2019 du compilateur Ada d'AdaCore est disponible.

Vous pouvez le télécharger gratuitement en allant sur la page: https://www.adacore.com/download

Parmi les nouveautés, on notera:

• Comme pour la version 2018, le compilateur SPARK est inclu et cette version supporte les pointeurs (si vous ne connaissez pas, jetez un oeil sur l'article de Claire Dross Using Pointers in SPARK),
• Le compilateur Ada est maintenant basé sur gcc 8.3.1 et gdb 8.3,
• La librairie libadalang est disponible. Cette librairie permet d'analyser des programmes Ada, n'étant pas évidente à construire, son intégration dans GNAT 2019 va faciliter énormément son utilisation.

Disponibles en natif pour Linux x86-64, Windows 64 bits, MacOS x86-64, le nouveau compilateur est aussi disponible en croisé pour ARM-ELF et RISC-V. Ce compilateur comporte de plus en plus d'outils, prévoyez 2.7 Go pour l'installation.

L'annonce officielle: GNAT Community 2019

Bonjour,

En cette période printanière et pré-Ada-Europe, nous rappelons à nos membres qu'il est temps de renouveler leur cotisation à Ada-France et Ada-Europe.

En adhérant à Ada-France, vous aidez l'association dans ses activités de promotion du langage (Stand à OSS, présentation à Starinux cette année) et à maintenir notre serveur qui héberge notamment le site Ada/Debian.

En adhérant de plus à Ada-Europe, vous recevez une copie du Ada User Journal publié tous les trimestres, et vous augmentez le nombre de voix d'Ada-France au sein d'Ada-Europe.

• Le montant de la cotisation pour Ada-France et Ada-Europe est de 65 euros,
• Le montant de la cotisation pour Ada-France seul est de 30 euros.

Pour acquitter votre cotisation, merci de remplir le formulaire d'adhésion (Adhesion.pdf) et de le renvoyer signé avec votre règlement par chèque à notre trésorière (adresse indiquée dans le PDF).

Nous vous remercions de votre soutien,

Le bureau

SOPRA Steria recherche des compétences Ada pour le secteur de l'aéronautique. Tous les détails (en anglais) ici:

https://www.ada-france.org/adafr/wikis/view/1/Offre%20SOPRA%20Steria

FOSDEM, le rendez-vous européen des développeurs de logiciels libres, est un week-end de deux jours, gratuit et non commercial, organisé au début de chaque année à Bruxelles, en Belgique. Il est fortement axé sur les développeurs et regroupe plus de 8 000 participants du monde entier. L’objectif est de fournir aux développeurs et aux communautés open source un lieu de rencontre avec d’autres développeurs et projets, de se tenir informé des derniers développements du monde de l’open source, d’assister à des débats et présentations intéressants sur divers sujets par des chefs de projets et des responsables, et de promouvoir le développement et les avantages des solutions open source. L'édition 2019 aura lieu les samedi 2 et dimanche 3 février. La participation est gratuite et aucune inscription n'est nécessaire.

Dans cette édition, Ada-Belgique organise une nouvelle fois une série de présentations sur le langage de programmation Ada et les logiciels libres ou ouverts. Le "Ada DevRoom" au FOSDEM a lieu le premier jour de l'événement, le samedi 2 février 2019.

Eurocontrol est une organisation intergouvernementale européenne pour la sécurité de la navigation aérienne. Sa mission est d'harmoniser et d'unifier la gestion de la navigation aérienne en Europe, en promouvant un système uniforme pour les usagers civils et militaires, dans des conditions de sécurité maximale tout en minimisant les coûts et les impacts environnementaux.

Ada est le langage de programmation idéal pour développer les systèmes de navigation aérienne, où la sécurité, la rigueur et la fiabilité doivent être respectés. Ada est donc le langage de programmation parfait pour les systèmes d’Eurocontrol.

Eurocontrol recherche des ingénieurs software qui seraient intéressés de travailler avec Ada ou qui auraient déjà travaillé avec ce langage dans le passé, pour le siège d’Eurocontrol à Bruxelles.

Le durée de ce contrat serait long terme, nous parlons ici d’un contrat de 5 ans + 2 ans d’extension.

Pour plus d'information, contactez Emma Claus société Eurocity (emma.claus at eurocity.be).

Comme l'année précédente, Ada France sera présent au Paris Open Source Summit les 5 et 6 décembre 2018.

Venez nombreux pour découvrir le language Ada si vous ne le connaissez pas, voir comment il a évolué et comment il peut résoudre beaucoup de vos problèmes efficacement.

Plusieurs démonstrations sont prévues...

Cette année la société AdaCore sera aussi présente. Ne manquez pas la présentation de Yannick Moy sur Ada et SPARK.

Le jeudi 4 Octobre 2018, AdaCore présente les évolutions à venir sur ses différents produits: GNAT Pro, CodePeer, SPARK Pro, et QGen.

Sur l'agenda d'une journée bien remplie, on notera que l'on obtiendra des informations sur:

• L'avancée dans l'utilisation des GPUs pour les programmes classiques,
• Une découverte de l'offre C/C++ d'AdaCore,
• Les évolutions de libadalang dans l'analyse sémantique des programmes Ada,
• Des informations sur l'intégration de Python dans GPS,
• Des présentations de clients.

Cet événnement est libre, plus d'informations sur: https://www.adacore.com/tech-days-eu

Voila, le cru 2018 du compilateur Ada d'AdaCore est disponible.

Vous pouvez le télécharger gratuitement en allant sur la page: https://www.adacore.com/download

Parmi les nouveautés, on notera:

• Le support des cartes BBC micro:bit (ARM Cortex-M0),
• Le support du RISC-V,
• Le compilateur SPARK est désormais inclu pas défaut,
• Le compilateur Ada est maintenant basé sur gcc 7.3.1,
• Longtemps attendue, une version Windows 64 bits est disponible,
• Les utilisateurs de MacOS pourront aussi profiter du compilateur croisé Ada pour ARM.

Disponibles en natif pour Linux x86-64, Windows 64 bits, MacOS x86-64, le nouveau compilateur est aussi disponible en croisé pour ARM-ELF et RISC-V.

Il ne vous reste plus qu'à télécharger cette nouvelle version, et ensuite de vous excercer avant de vous inscrire à la prochaine compétition de développement Ada sur makewithada.org

L'annonce officielle: GNAT Community 2018

Bonjour,

En cette période printanière et pré-Ada-Europe, nous rappelons à nos membres qu'il est temps de renouveler leur cotisation à Ada-France et Ada-Europe.

En adhérant à Ada-France, vous aidez l'association dans ses activités de promotion du langage (Stand à OSS, présentation à Starinux cette année) et à maintenir notre serveur qui héberge notamment le site Ada/Debian.

En adhérant de plus à Ada-Europe, vous recevez une copie du Ada User Journal publié tous les trimestres, et vous augmentez le nombre de voix d'Ada-France au sein d'Ada-Europe.

• Le montant de la cotisation pour Ada-France et Ada-Europe est de 65 euros,
• Le montant de la cotisation pour Ada-France seul est de 30 euros.

Pour acquitter votre cotisation, merci de remplir le formulaire d'adhésion (Adhesion.pdf) et de le renvoyer signé avec votre règlement par chèque à notre trésorière (adresse indiquée dans le PDF).

Nous vous remercions de votre soutien,

Le bureau

Ada France peut désormais gérer un groupe de projets Open Source dans GitHub. L'objectif est de pouvoir partager des exemples, promouvoir des projets.

Cette organisation héberge déjà trois projets:

• Les sources du site Web d'Ada France sont disponibles dans le projet ada-france,
• Ayacc est un parseur de grammaire et générateur de code Ada écrit par David Taback et Deepak Tolani de l'université Irvine en Californie. Ce parseur a ensuite été amélioré par plusieurs personnes et les derniers sources sont disponibles dans le projet ayacc,
• Aflex est un analyseur lexical et générateur de code Ada écrit par John Self du projet Arcadia de l'université Irvine en Californie. Tout comme Ayacc, il a évolué depuis et les sources sont disponibles dans le projet aflex

Bien sur nous esperons que cette liste s'agrandira et que d'autres projets Ada viendront la compléter!

Cette année le FOSDEM 2018 aura une salle dédiée à Ada le samedi 3 Février.

Le programme est disponible sur Ada devroom, on notera:

• Une présentation sur le langage Ada par Jean-Pierre Rosen,
• Une présentation d'Ada dans l'embarqué avec Ada_Drivers_Library par Fabien Chouteau,
• Des présentations sur les bénéfices d'Ada dans la sureté de fonctionnement,
• Des présentations de l'utilisation d'Ada dans des contextes Web (Gnoga) et REST (Swagger),
• Comment utiliser libadalang plutot qu'ASIS dans les analyses de programmes Ada.

Venez nombreux, c'est aussi l'occasion de discuter d'Ada autour d'une bonne bière à Bruxelles!

Petit retour sur le Paris Open Source Summit 2017 où nous étions quatre à animer le stand.

AdaCore nous a généreusement donné plusieurs livres à distribuer sur le stand.

Natacha Porté et Stéphane Rivière étaient présent les deux jours de l'événement (les courageux!), Stéphane Carrez et Frédéric Praca se sont partagés entre le mercredi et le jeudi.

Pas mal de visites d'Adaïstes des débuts, de quelques développeurs curieux connaissant ou pas le langage Ada généralement pour de l'embarqué, le tout dans une ambiance sympa au "village". Les plus intéressés sont repartis avec un livre et une ferme intention de re-essayer ce langage en téléchargeant une version libre du compilateur GNAT.

Ce fut aussi l'occasion pour nous de partager sur plusieurs manières de faire découvrir Ada, soit sur des cartes AVR à travers le nouveau guide embedded AVR-Ada - Setup, ou bien sur des cartes ARM STM32F diverses.

Ada France sera présent au Paris Open Source Summit les 6 et 7 décembre 2017.

Venez nombreux pour découvrir le language Ada si vous ne le connaissez pas, voir comment il a évolué et comment il peut résoudre beaucoup de vos problèmes efficacement.

Plusieurs démonstrations sont prévues...

Ada-France organise la conférence Ada-Europe 2014

Ada-France est fière d’organiser la dix-neuvième conférence Ada Europe, International Conference on Reliable Software Technologies, aura lieu du 23 au 27 juin 2014 à Paris, dans les locaux de l’école d’ingénieurs ECE. Inscrivez-vous dès maintenant !