Select Language

AdaCore Launches “Make with Ada” Programming Competition, with €5000 Top Prize

Programming competition aimed at embedded systems programmers, to demonstrate Ada’s benefits for reliable, safe and secure software

NEW YORK and PARIS, MAY 15, 2017 - AdaCore today announced the launch of its 2nd annual “Make with Ada” programming competition, a contest that aims to help the embedded software community improve the quality of their code by encouraging the use of the Ada and SPARK programming languages. The competition runs from May 15 to September 15, 2017, and offers over €8000 in total prizes. Participants can register for the competition at www.makewithada.org.

Competition Rules

The competition is open to individuals and to teams with up to four members. The goal is to design and implement an embedded software project where Ada and/or SPARK are the principal language technologies. Entrants will need to demonstrate that their system meets its requirements and has been developed using sound software engineering practices. The submission deadline is September 15, 2017, and the award winners will be announced in October 2017.

Prizes and Judging Criteria

Cash prizes will be awarded to the projects that best meet the overall criteria of software dependability, openness, collaborativeness and inventiveness.

  • Top Prize:       €5000 ($5500)
  • Second Prize: €2000 ($2200)
  • Third Prize:     €1000 ($1100)

A Student-only Prize will also be awarded to the best-ranking Student Finalist: one Printrbot Portable 3D Printer. Entrants must provide a student ID when registering to qualify for this prize, as defined in the competition terms and conditions at http://makewithada.org/terms. A project submitted by a student is eligible for both the Student-Only Prize and the cash prizes.

Judges

The panel of judges comprises embedded systems experts Jack Ganssle, Principal Consultant at The Ganssle Group; William Wong, Technical Editor at Penton Media; Richard Nass, Embedded and IoT Franchises Brand Director at OpenSystemsMedia; Cyrille Comar, AdaCore President; and Stephane Carrez, Software Engineer at Bouygues Telecom and Make with Ada 2016 competition winner.

“Judging last year’s Make with Ada competition showed me how developers new to Ada and SPARK could quickly come up to speed with these languages and produce some ingenious embedded applications,” said competition judge William Wong. “I look forward to seeing the range of projects that are submitted this year; I’m sure that the combination of software engineering talent, safe / secure languages and top-notch development tools will produce some impressive results.”

“This is an exciting opportunity for developers to try the Ada or SPARK technologies and demonstrate their imagination and programming skills,” said Fabien Chouteau, AdaCore software engineer and author of the Make with Ada blog post series. “Ada and SPARK are most known for their track record in large-scale long-lived systems, but you can use these languages and AdaCore’s tools for software that has to run in the most resource-limited embedded environments including bare metal targets.”

The “Make with Ada” competition is part of an overall AdaCore initiative to foster the growth of Ada and SPARK for developing embedded systems and more generally for developing “software that matters”. Other elements of this initiative are the free on-line training available at AdaCore U (u.adacore.com), and the various resources for free software developers and students/hobbyists at the GitHub repository (github.com/AdaCore) and the libre site (libre.adacore.com).

Further information about Ada and SPARK, along with links to free resource pages and instructions on how to get started by downloading the GNAT GPL edition for Bare Board ARM, are available at http://makewithada.org/getting-started.

About Ada and SPARK

Ada is a modern, internationally standardized programming language with a long and successful track record in the development of high-reliability embedded systems. Its strong typing and compile-time checking help catch errors early, when they are easiest and least expensive to correct. The most recent version of the Ada standard, Ada 2012, supports contract-based programming (pre- and postconditions for subprograms), which in effect embeds the software’s low-level requirements as checkable assertions in the source code. In critical systems where testing alone might not provide sufficient confidence, the SPARK subset of Ada supports mathematics-based assurance that relevant program properties are met (for example, the absence of run-time errors such as buffer overflow). SPARK can be introduced incrementally into a project, and contracts can be verified either statically (by the SPARK proof engine) or dynamically (with run-time checks).

About AdaCore

Founded in 1994, AdaCore supplies software development and verification tools for mission-critical, safety-critical, and security-critical systems. Four flagship products highlight the company’s offerings:

  • The GNAT Pro development environment for Ada, a complete toolset for designing, implementing, and managing applications that demand high reliability and maintainability,
  • The CodePeer advanced static analysis tool, an automatic Ada code reviewer and validator that can detect and eliminate errors both during development and retrospectively on existing software,
  • The SPARK Pro verification environment, a toolset based on formal methods and oriented towards high-assurance systems, and
  • The QGen model-based development tool, a qualifiable and customizable code generator and verifier for Simulink® and Stateflow® models, intended for safety-critical control systems.

Over the years customers have used AdaCore products to field and maintain a wide range of critical applications in domains such as railway systems, space systems, commercial avionics, military systems, air traffic management/control, medical devices, and financial services.  AdaCore has an extensive and growing world-wide customer base; see www.adacore.com/customers/ for further information.

AdaCore products are open source and come with expert on-line support provided by the developers themselves. The company has North American headquarters in New York and European headquarters in Paris. www.adacore.com

Press Contacts

press-info@adacore.com
http://www.adacore.com
http://twitter.com/AdaCoreCompany

EU:
  Emma Adby
  AdaCore Marketing Operations Manager
  +33 1 49 70 87 82

US:
  Jessie Glockner
  AdaCore Public Relations Representative
  +1-646-532-2723

 

AdaCore startet Programmierwettbewerb "Make with Ada"

Paris, 15. Mai 2017 – Bis zu 5.000 Euro können Entwickler mit eingebetteter Software im Programmierwettbewerb "Make with Ada" gewinnen. Mit dem zum zweiten Mal durchgeführten Wettbewerb demonstriert Adacore die Leistungsfähigkeit und Zuverlässigkeit von Embedded-Systemen, die mit der Programmiersprache Ada entwickelt wurden.

AdaCore hat zum zweiten Mal seinen Programmierwettbewerb "Make with Ada" gestartet. Das Unternehmen will die Embedded Software Community damit zum verstärkten Einsatz der Programmiersprachen Ada und SPARK motivieren. Bis zum 15. September 2017 können Softwareentwickler mit Code, der mit diesen Sprachen erstellt wurde, Preise von insgesamt 8.000 Euro gewinnen. Interessenten können sich für den Wettbewerb unter www.makewithada.org anmelden.

Der Wettbewerb steht Einzelpersonen und Teams mit bis zu vier Mitgliedern offen. Das Ziel ist, ein Embedded-Software-Projekt zu entwerfen und zu implementieren, bei dem Ada beziehungsweise SPARK als hauptsächliche Programmiersprache verwendet werden. Die Teilnehmer müssen nachweisen, dass ihr System den Anforderungen entspricht und mit fundierten Software-Engi­neering-Methoden entwickelt wurde. Die Preisträger werden im Oktober 2017 bekannt gegeben.

Die Preise werden an Projekte vergeben, die den allgemeinen Kriterien der Software-Zuverlässigkeit, Offenheit, Zusammenarbeit und Kreativität am besten gerecht werden.

  • Erster Preis: 5.000 Euro
  • Zweiter Preis: 2.000 Euro
  • Dritter Preis: 1.000 Euro

Außerdem erhält der im Finale bestplatzierte Student einen Printrbot Portable 3D Printer. Die Teilnehmer müssen bei der Anmeldung einen Studentenausweis vorlegen, um sich für diesen Preis zu qualifizieren, entsprechend den Wettbewerbsbedingungen unter http://makewithada.org/terms. Ein von einem Studierenden eingereichtes Projekt kann natürlich sowohl den Studenten-Preis als auch einen der Geldpreise erhalten.

Die Jury umfasst namhafte Experten für Embedded-Systeme: Jack Ganssle, Principal Consultant bei The Ganssle Group, William Wong, Technical Editor bei Penton Media; Richard Nass, Embedded and IoT Franchise Brand Director bei OpenSystemsMedia und Cyrille Comar, President von AdaCore. Der Jury gehört außerdem Stephane Carrez an, Software Engineer bei Bouygues Telecom und Preisträger im "Make with Ada"-Wettbewerb des Vorjahres.

Der Wettbewerb ist Bestandteil einer AdaCore-Initiative zur Förderung des Einsatzes von Ada und SPARK für Embedded-Sys­teme und ganz grundsätzlich für die Entwicklung von "Software that Matters". Zu dieser Initiative gehören auch freies Online-Training bei AdaCore U (u.adacore.com) sowie verschiedene Ressourcen für freie Software-Entwickler, Studenten und Hobby-Programmierer im Github-Re­po­sitory (github.com/AdaCore) und auf der libre-Website (libre.adacore.com).

Weitere Informationen über Ada und SPARK, sowie Links zu kostenlosen Ressourcen und Anleitungen zum Download der GNAT GPL-Edition für Bare Board ARM, stehen zur Verfügung unter http://makewithada.org/getting-started.

"Der Wettbewerb ist eine spannende Gelegenheit für Entwickler, die Ada- oder SPARK-Technologien auszuprobieren und ihre Programmierkenntnisse aber auch ihre Phantasie zu demonstrieren", erklärt Fabien Chouteau, Software Engineer bei AdaCore. "Ada und SPARK sind bekannt für ihren erfolgreichen Einsatz in großen, langlebigen Systemen, aber man kann diese Sprachen und die AdaCore-Tools für jede Software verwenden, die in Ressourcen-beschränkten Embedded-Umge­bungen laufen muss."

 

Diese Presseinformation kann unter www.pr-com.de/adacore abgerufen werden.

Über AdaCore

AdaCore wurde 1994 gegründet und bietet Tools für Software-Entwicklung und Verifikation für kritische und sicherheitskritische Systeme. Zu den wichtigsten Produkten von AdaCore gehören die GNAT-Pro-Entwicklungsumgebung für Ada, das statische Analyse-Tool CodePeer, die Verifikationsumgebung SPARK Pro und das modellbasierte Entwicklungswerkzeug QGen. Zahlreiche Anwender haben die AdaCore-Produkte im Einsatz und unterhalten damit eine Vielzahl von kritischen Anwendungen in Bereichen wie Raumfahrtsysteme, kommerzielle Luftfahrt, militärische Systeme, im Flugverkehrsmanagement, bei Schienensystemen, bei Geräten der Medizintechnik und bei Finanzdienstleistungen. AdaCore verfügt über eine umfangreiche und wachsende weltweite Kundenbasis; nähere Informationen dazu unter www.adacore.com/customers

 

AdaCore-Produkte sind Open-Source und werden mit Online-Support durch die Entwickler zur Verfügung gestellt. Das Unternehmen hat seinen nordamerikanischen Hauptsitz in New York, der europäische Hauptsitz ist in Paris. Weitere Informationen unter www.adacore.com

Pressekontakte:

AdaCore
Jamie Ayre
press@AdaCore.com
www.AdaCore.com
http://twitter.com/AdaCoreCompany

PR-COM GmbH

Andrea Groß

andrea.gross@pr-com.de

www.pr-com.de
Tel. +49-89-59997-803

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