Kunden-News

28. Jul 2020

AdaCore startet fünften jährlichen Programmierwettbewerb

In den vergangenen vier Jahren hat der von AdaCore geförderte Wettbewerb überzeugende Software-Engineering-Projekte hervorgebracht, die Teilnehmer aus aller Welt entwickelt haben. Der Wettbewerb richtet sich sowohl an erfahrene als auch an neue Ada- und SPARK-User. Ziel ist, innovative Embedded-Software-Projekte mit Ada oder SPARK als primärer Sprache zu entwickeln und implementieren. Die Teilnehmer müssen nachweisen, dass ihr System alle Anforderungen erfüllt und solide Software-Engineering-Methoden einsetzt. 

Der Wettbewerb beginnt am 31. Juli 2020 und dauert bis zum 31. Januar 2021. Insgesamt vergibt AdaCore Preise im Wert von über 9.000 US-Dollar. Teilnehmer können sich auf der Entwicklerplattform Hackster.io unter https://www.hackster.io/contests/adacore3 registrieren. Zu den ebestplatzierten Projekten der vergangenen Jahren zählen unter anderem ein SmartBase IoT Adjustable Bed, ein Elektrokardiogramm-Erkennungsgerät, ein High Integrity Sumobot, eine Smart Watch der Schweizer Armee und ein automatisierter Pflanzensprinkler.

Teilnahmeberechtigung

Der Wettbewerb steht sowohl Einzelpersonen als auch Teams offen. Die Teilnehmer müssen mindestens 18 Jahre alt sein. Teams können aus bis zu vier Teilnehmern bestehen, von denen jeder teilnahmeberechtigt sein muss. Studentenprojekte können entweder von einem Studenten unter 26 Jahre mit einem gültigen Studentenausweis oder von einem Team aus studentischen Teilnehmern eingereicht werden. Von Unternehmen unterstützte Personen oder Projekte sind nicht teilnahmeberechtigt.

Bewertungskriterien und Preise

Die Projekte werden auf Basis der in den Projektprotokollen enthaltenen Dokumentation bewertet. Ausgezeichnet werden davon die, welche die Gesamtkriterien am genauesten erfüllen:

  • Software-Qualität – Erfüllt die Software ihre Anforderungen?
     
  • Offenheit – Besteht das Projekt aus frei lizenzierter Open-Source-Software (FLOSS)?
     
  • „Buzz-Faktor“ – Begeistert das Projekt die Software-Community?

Die Preise werden folgendermaßen vergeben:

  • Erster Preis: 2.000 US-Dollar
     
  • Zehn Finalistenpreise: in Höhe von je 600 US-Dollar
     
  • Ein Studentenpreis in Höhe von 1.000 US-Dollar geht an den bestplatzierten studentischen Finalisten. Von Studenten eingereichte Projekte können sowohl den Studentenpreis als auch den Gesamtpreis erhalten. 

Die Preisträger gibt AdaCore im März 2021 bekannt.

Jury

Eine Jury bestehend aus Bill Wong, Senior Technology Editor bei Electronic Design, und Fabien Chouteau, Software-Ingenieur bei AdaCore und Autor der Blog-Reihe „Make with Ada“, bewertet die eingereichten Projekte.

„Ich habe den Make-with-Ada-Wettbewerb von Anfang an verfolgt oder die Projekte bewertet. Ich bin beeindruckt, wie die Wettbewerber die Messlatte in Bezug auf Qualität und Komplexität immer höher legen“, erklärt Bill Wong. „Erfreulich finde ich auch, dass die Anzahl der Beiträge, die SPARK einsetzen, gestiegen ist.“

„Dieser Wettbewerb demonstriert eindrücklich die Vorteile und Tools von Ada und SPARK bei der Programmierung eingebetteter Systeme sowohl für neue als auch für bereits erfahrene Ada-Anwender“, erläutert Fabien Chouteau. „Jedes Jahr beeindruckt und inspiriert uns die Innovation der eingereichten Projekte aufs Neue.“ 

Der Wettbewerb „Make with Ada“ ist Teil einer allgemeinen 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“. Für diejenigen, die mit diesen Sprachen noch nicht vertraut sind oder ihre Programmierkenntnisse auffrischen möchten, hat AdaCore eine interaktive E-Learning-Plattform unter learn.adacore.com entwickelt. Zu der Initiative gehören auch Ressourcen für Freie-Software-Entwickler und Studenten beziehungsweise Hobby-Entwickler im GitHub-Repository unter github.com/AdaCore und die freie GNAT-Community-Entwicklungsumgebung, die zum Herunterladen unter adacore.com/community zur Verfügung steht.

Über Ada und SPARK

Ada ist eine moderne, international standardisierte Programmiersprache mit einer langen und erfolgreichen Erfolgsgeschichte in der Entwicklung von hochzuverlässigen Embedded-Systemen. Die starke Typisierung und und Compile-Time-Checks erkennen Fehler frühzeitig und ermöglichen eine rechtzeitige, kostengünstige Korrektur. Die neueste Version des Ada-Standards, Ada 2012, unterstützt die vertragsbasierte Programmierung (Pre- und Postconditions für Subprogramme) betten Low-Level-Anforderungen als überprüfbare Aussagen in den Quellcode als ein. In kritischen Systemen, in denen das Testen allein möglicherweise keine ausreichende Sicherheit bietet, unterstützt das SPARK-Subset von Ada die mathematischbasierte Sicherheit, dass die relevanten Programmeigenschaften erfüllt werden (zum Beispiel das Fehlen von Laufzeitfehlern wie ein Buffer Overflow). SPARK kann schrittweise in ein Projekt eingeführt werden, und Verträge können entweder statisch (durch die SPARK Proof-Engine) oder dynamisch (mit Run-Time Checks) überprüft 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
Pamela Trevino
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