AdaCore lance le concours de programmation “Make with Ada” récompensé par un premier prix de 5000 €
Ce concours de programmation destiné aux programmeurs de systèmes embarqués vise à démontrer les avantages d’Ada lors de la conception de logiciels fiables, sûrs et sécurisés
NEW YORK et PARIS, le 15 mai, 2017 – AdaCore annonce le lancement de son 2ème concours annuel de programmation “Make with Ada”, visant à aider la communauté de l’embarqué à améliorer la qualité de leur code en popularisant l’utilisation des langages de programmation Ada et SPARK. Le concours est ouvert du 15 mai au 15 septembre et offre des prix d’une valeur totale de 8000 €. Les participants peuvent s’inscrire au concours sur le site www.makewithada.org.
Règles du concours
Le concours est ouvert à tous participants individuels ou constitués en équipes de quatre personnes maximum. 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. La date limite de présentation du projet est fixée au 15 septembre 2017, et les vainqueurs seront annoncés au mois d’octobre.
Prix et critères de jugement
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.
- Premier prix: 5000 € (5500 $)
- Deuxième prix: 2000 € (2200 $)
- Troisième prix: 1000 € (1100 $)
Un Prix Etudiant exclusivement destiné aux étudiants sera également remis à l’équipe étudiante finaliste la mieux classée : une imprimante 3D portable Printrbot. Les participants devront fournir 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.
Jury
Le panel du jury se compose des experts en systèmes embarqués Jack Ganssle, Consultant pour Ganssle Group, William Wong, Editeur Technique chez Penton Media, Richard Nass, Directeur des Franchises Embarquées et IoT chez OpenSystemsMedia, Cyrille Comar, Président d’AdaCore, et Stéphane Carrez, Ingénieur Logiciel chez Bouygues Telecom et vainqueur de l’édition 2016 du concours Make with Ada.
“Mon rôle de membre du jury lors de l’édition 2016 du concours Make with Ada m’a montré à quel point il est aisé pour des développeurs novices en Ada et SPARK de s’adapter à ces langages et de produire des applications embarquées ingénieuses,” a commenté le membre du jury William Wong. “J’ai hâte de découvrir la diversité des projets présentés cette année ; je suis convaincu que cette combinaison de talents dans le domaine du développement logiciel, de langages sûrs/sécurisés et d’outils de développement de premier ordre va aboutir à des résultats impressionnants.”
“Il s’agit d’une excellente opportunité pour les développeurs d’essayer les technologies Ada ou SPARK et de faire preuve de leur imagination et leurs compétences en matière de programmation,” a déclaré Fabien Chouteau, développeur logiciel chez AdaCore et auteur d’une série de posts sur le blog Make with Ada. “Ada et SPARK sont surtout connus pour leur utilisation dans des systèmes à grande échelle et longue durée de vie, mais vous pouvez utiliser ces langages et les outils d’AdaCore sur des logiciels destinés à des environnements embarqués de petite taille, y compris des cibles bare metal.”
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 AdaCore U (u.adacore.com), ainsi que de nombreuses ressources destinées aux développeurs et aux étudiants/lobbyistes disponibles dans la bibliothèque GitHub (github.com/AdaCore) et sur le site libre (libre.adacore.com).
L’ensemble des informations sur Ada et SPARK, ainsi que les liens vers les pages de ressources gratuites et les instructions sur comment débuter en téléchargeant l’édition GNAT GPL pour Bare Board ARM, sont disponibles sur le lien 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
Europe
Emma Adby
Responsable des Opérations Marketing
AdaCore
+33 1 49 70 87 82
Etats Unis
Jessie Glockner
Représentante des Relations Publiques AdaCore
+1-646-532-2723