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 !

Ada-France organise une journée gratuite de découverte d’Ada et des technologies associées. Cette journée aura lieu le mercredi 25 juin 2014, à l’école d’ingénieurs ECE, au sein de la conférence Ada-Europe 2014. Les participants pourront également visiter les stands des exposants de la conférence. Inscrivez-vous dès maintenant !

Assemblée générale 2014

L’assemblée générale de l’association Ada-France pour l’année 2013 a eu lieu le jeudi 15 mai 2014 de 18h00 à 19h30 dans les locaux d’AdaLog au: 2 rue du Docteur Lombard 92441 Issy Les Moulineaux Tram : T2 Les Moulineaux Coordonnées GPS : 48.820687N, 2.25079948E

L’ordre du jour formel était le suivant :

• Rapport moral
• Rapport financier
• Renouvellement du conseil d’administration
• Conférences et expositions
• Organisation des activités futures

Ada dev-room aux FOSDEM 2014

L’édition 2014 des FOSDEM (Free and Open Source Software Developers’ European Meeting) a, comme les années précédentes, réservé une salle pour discuter du langage Ada ainsi que de son utilisation dans les logiciels libres. Les différentes présentations qui ont été effectuées à cette occasion sont visibles sur le site de Ada belgium: http://people.cs.kuleuven.be/~dirk.craeynest/ada-belgium/events/14/140201-fosdem.html

Venez rencontrer des gens intéressés par Ada, expliquer toutes vos prestigieuses réalisations, promouvoir la bonne parole…. Le salon Solutions-Linux, c’est du 28 au 29 mai, au CNIT La Défense. Pas besoin d’être là tout le temps, indiquez vos disponibilités en cliquant sur le lien doodle: http://doodle.com/c5n98afassbha5m7

Comme l’année passée, Ada-France tiendra un stand de promotion au salon Solutions-Linux, dans le village associatif au stand B41. Venez nous y rencontrer, et pourquoi pas, nous aider à tenir le stand pendant une heure ou deux? Vous aurez le plaisir de découvrir des tas de gens intéressés par Ada, et de prêcher la bonne parole… Et si vous avez de jolies démos et autres applications qui font bonne effet, n’hésitez pas à nous les faire parvenir!