AdaCore startet neuen Programmierwettbewerb "Make with Ada"

München,
17. October 2018

AdaCore startet neuen Programmierwettbewerb "Make with Ada"

Preise von über 8.000 US-Dollar können Entwickler mit eingebetteter Software gewinnen. Auf der Arm TechCon, Stand #1228, gab AdaCore den Startschuss für den dritten Programmierwettbewerb "Make with Ada". Auch in diesem Jahr sind Entwickler auf der ganzen Welt aufgerufen, sich an der Erstellung innovativer Embedded-Anwendungen mit den Programmiersprachen Ada und SPARK zu versuchen.

Mit dem nun schon zum dritten Mal durchgeführten Wettbewerb demonstriert AdaCore die Leistungsfähigkeit und Zuverlässigkeit von Embedded-Systemen, die mit der Programmiersprache Ada entwickelt wurden. Der diesjährige Wettbewerb beginnt am 16. Oktober 2018 und läuft bis 15. Februar 2019. Adacore hat Preise von insgesamt 8.000 US-Dollar ausgesetzt. Interessenten können sich unter www.makewithada.org ab sofort anmelden.

An "Make with Ada" können Einzelpersonen oder Teams von bis zu vier Personen ab 18 Jahren teilnehmen – Personen oder Projekte mit Business-Unter­stützung sind nicht zugelassen, da sich der Wettbewerb an Enthusiasten und neue Ada-Nutzer richtet.

Im Rahmen des Wettbewerbs müssen die Teilnehmer ein Embedded-Softwareprojekt entwerfen und implementieren, bei dem Ada oder SPARK als primäre Sprachtechnologien dienen. Die Teilnehmer müssen dabei nachweisen, dass ihr System den Anforderungen entspricht und solide Software-Engineering-Ver­fahren anwendet.

Die Projekte werden auf der Grundlage von Projektprotokollen bewertet. 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 US-Dollar
     
  • Zweiter Preis: 2.000 US-Dollar
     
  • Dritter Preis: 1.000 US-Dollar

Außerdem vergibt Adacore einen Student-only-Preis – ein Analog Discovery 2 Pro Bundle – an den bestplatzierten Studenten im Finale. Wer sich für diesen Preis bewerben möchte, muss bei der Anmeldung einen Studentenausweis vorlegen. Entsprechende Projekte können sich sowohl für den Studentenpreis als auch für die Geldpreise bewerben.

Die Preisträger gibt Adacore im März 2019 bekannt.

Die Jury umfasst namhafte Experten für Embedded-Systeme: Jack Ganssle, Principal Consultant bei The Ganssle Group, Richard Nass, Embedded und IoT Franchises Brand Director bei OpenSystems Media, Dr. Patrick Rogers, AdaCore Senior Technical Staff, und Jonas Attertun, Embedded Software Engineer bei Saab und Wettbewerbssieger des Vorjahres.

Der Wettbewerb Make with Ada ist Teil der AdaCore-Initiative zur Förderung des Wachstums von Ada und SPARK bei der Entwicklung eingebetteter Systeme und ganz allgemein bei der Entwicklung von "Software that Matters". Zu dieser Initiative gehören außerdem das kostenlose Online-Training unter learn.adacore.com, verschiedene Ressourcen für Freie-Software-Entwickler und Studenten beziehungsweise Hobby-Entwickler im GitHub-Repository unter github.com/AdaCore und in der GNAT-Community adacore.com/community.

"Bei unserem Wettbewerb können Entwickler lernen, wie einfach es ist, Ada- und SPARK-Technologien in eine Vielzahl von Anwendungen zu integrieren", erklärt Fabien Chouteau, AdaCore Software-Ingenieur und Autor der Blog-Postserie Make with Ada. "Ada und SPARK sind für ihre Erfolgsgeschichte in großen, langlebigen Systemen bekannt, aber man kann diese Sprachen und die Tools von AdaCore für alle Arten von Software verwenden, die in den ressourcenbeschränkten Embedded-Umgebungen wie den BBC micro:bit oder RISC-V Softcores auf einem FPGA laufen muss."

Weitere Informationen über Ada und SPARK, Links zu kostenlosen Ressourcenseiten und Anleitungen zum Einstieg finden sich unter http://makewithada.org/getting-started.

Ü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