Lancement du concours annuel Make with Adad’AdaCore
Plus de 8000 $ en espèces et des prix pour récompenser vos projets les plus imaginatifs de systèmes embarqués en Ada ou SPARK
NEW YORK, PARIS et SAN JOSE, Californie, le 16 octobre 2018 – AdaCorevient d’annoncer sur le stand 1228 du salon Arm TechConle lancement de son 3èmeconcours annuel de programmation “Make with Ada”. Après le succès de ses deux premières éditions, le concours de cette année invite les développeurs de solutions embarquées du monde entier à se lancer dans la création d'applications embarquées innovantes utilisant les langages de programmation Ada et SPARK.
Les projets proposés les années précédentes incluent des applications inventives telles qu’une commande de moteur à courant continu sans balai, une montre intelligente « couteau suisse », un planeur autonome, un synthétiseur MIDI, un Moniteur de Trafic Ethernet et un logiciel de contrôle pour voiture autonome.
Le concours est ouvert du 16 octobre 2018 au 15 février 2019 et propose des prix d’une valeur totale de 8000 $. Les participants peuvent s’inscrire sur le site www.makewithada.org.
Règles du concours
Le concours est ouvert à tous participants majeurs postulant seuls ou en équipes de quatre personnes maximum (les personnes ou projets soutenus par des entreprises ne sont pas éligibles ; ce concours s’adresse aux passionnés et aux nouveaux utilisateurs d’Ada).
L’objectif est de concevoir et mettre en œuvre un projet de logiciel embarqué utilisant principalement les langages Ada et/ou SPARK. Les participants devront démontrer que leur système est conforme aux exigences de départ de l’application choisie, et que les travaux ont été menés selon de bonnes pratiques de codage.
Prix et critères de jugement
Les projets seront jugés sur la base des journaux de projets, et des prix en espèces seront remis aux projets répondant au mieux à l’ensemble des critères de fiabilité, d’ouverture, d’approche collaborative et d’inventivité du logiciel. Les prix en espèces sont les suivants:
- Premier prix: 5000$
- Deuxième prix: 2000$
- Troisième prix: 1000 $
De plus, un Prix Etudiant exclusivement destiné aux étudiants (un Bundle Analog Discovery 2 Pro) sera également remis à l’équipe étudiante finaliste la mieux classée. Les participants devront présenter une carte d’étudiant au moment de leur inscription pour être éligibles à ce prix, conformément aux modalités du concours (http://makewithada.org/terms). Les projets présentés par les étudiants sont éligibles au Prix Etudiant ainsi qu’aux prix en espèces.
Les gagnants seront annoncés en mars 2019.
Jury
Le panel de jurys du concours de cette année se compose d’un groupe international d’experts en systèmes embarqués jouissant de nombreuses années d’expérience dans l’industrie logicielle. Il se compose de Jack Ganssle, Consultant principal pour Ganssle Group, du Dr. Patrick Rogers, AdaCore Ingénieur Technique Senior, et de Jonas Attertun, Ingénieur en Logiciels Embarqués chez Saab et vainqueur de l’édition 2017 de notre concours Make with Ada.
“Le concours Make with Adaest très amusant! C'est un concours difficile à juger car l'éventail des projets présentés est incroyablement innovateur et les participants sont extrêmement talentueux", a déclaré Jack Ganssle, juge à deux reprises. "Les professionnels et amateurs découvriront la simplicité d’apprentissage d’Ada et SPARK, et, une fois les langages maîtrisés, ils pourraient ne plus faire appel à d'autres langages en sachant que leurs projets peuvent être réalisés plus rapidement et avec moins de bugs.”
“Ce concours a pour but de montrer aux développeurs combien il est facile d'intégrer les technologies Ada et SPARK dans une grande variété d'applications ", a déclaré Fabien Chouteau, ingénieur logiciel chez AdaCore et auteur de la série d’articles du blog Make with Ada. "Ada et SPARK sont surtout connus pour leurs performances dans les systèmes à grande échelle et de longue durée de vie, mais vous pouvez utiliser ces langages et les outils d'AdaCore pour développer des logiciels devant fonctionner dans des environnements embarqués fortement limités en ressources tels que les BBC micro:bit ou les RISC-V softcores in a FPGA.”
Le concours “Make with Ada” s’intègre dans une initiative d’AdaCore visant à favoriser l’utilisation d’Ada et SPARK dans le développement de systèmes embarqués, et plus généralement dans le développement de « logiciels qui comptent ». Cette initiative propose également une formation gratuite en ligne accessible sur (learn.adacore.com) et de nombreuses ressources destinées aux développeurs et aux étudiants/lobbyistes disponibles dans la bibliothèque GitHub (github.com/AdaCore), ainsi que l’accès à la Communauté GNAT (adacore.com/community).
Plus d’informations sur Ada et SPARK, des liens vers des pages de ressources gratuites et les instructions sur la façon de démarrer sont disponibles sur http://makewithada.org/getting-started.
Á propos d’Ada et SPARK
Ada est un langage de programmation moderne et normalisé sur le plan international, utilisé avec succès dans le développement de systèmes embarqués de haute fiabilité. Son typage fort et ses propriétés de vérification lors de la compilation permettent une détection rapide des erreurs, au moment où leur correction est la plus facile et la moins onéreuse. La version la plus récente de la norme Ada, Ada 2012, supporte une programmation basée sur les contrats (pré- et post-conditions pour les sous-programmes), qui considère les propriétés de base du logiciel comme étant des assertions vérifiables dans le code source.
Dans les systèmes critiques pour lesquels les tests seuls peuvent ne pas fournir de garantie suffisante, le sous-ensemble SPARK d’Ada garantit, en se basant sur les mathématiques, que les propriétés pertinentes du programme sont respectées (par exemple l’absence d’erreurs d’exécution telles que le débordement de la mémoire tampon). SPARK peut être introduit graduellement dans un projet, et les contrats peuvent être vérifiés de manière statique (à l’aide du prouver de SPARK) ou dynamique (par des vérifications à l’exécution).
Á propos d’AdaCore
Fondée en 1994, AdaCore conçoit et fournit des outils de développement et de vérification de logiciels destinés à des applications pour lesquelles la sûreté, la sécurité et la fiabilité sont des éléments critiques. Quatre produits phares composent l’offre de la société :
- GNAT Pro, l’environnement de développement pour Ada, une boîte à outils complète pour concevoir, mettre en œuvre et gérer des applications requérant un niveau élevé de fiabilité et de maintenabilité,
- L’outil d’analyses statistiques avancées CodePeer, un réviseur et validateur automatique de code Ada capable de détecter et d’éliminer les erreurs aussi bien au cours du développement que rétrospectivement sur des logiciels existants,
- L’environnement de développement SPARK Pro, un ensemble d’outils basés sur des méthodes formelles et orientés systèmes à niveau d’assurance élevé, et
- L’outil de développement basé sur les modèles QGen, un générateur et vérificateur de code qualifiable et personnalisable pour les modèles Simulink®and Stateflow®destiné aux systèmes de contrôle critiques.
L'utilisation des produits AdaCore connaît une croissance continue dans des applications critiques telles que les systèmes spatiaux, l’avionique commerciale, les systèmes militaires, le contrôle aérien, les systèmes ferroviaires, les appareils médicaux ou les services financiers. AdaCore jouit d’une base fournie de clients internationaux en croissance constante; visitez le site www.adacore.com/customers/ pour de plus amples informations.
Les produits AdaCore sont libres et accompagnés d’un support expert en ligne fourni par les développeurs eux-mêmes. La société possède un siège nord-américain basé à New York et un siège européen basé à Paris. www.adacore.com
Contacts presse
press-info@adacore.com
http://www.adacore.com
http://twitter.com/AdaCoreCompany
EU:
Emma Adby
Responsable des
Opérations Marketing AdaCore
+33 1 49 70 87 82
US:
Jessie Glockner
Représentante des
Relations Publiques AdaCore
+1-646-532-2723