AdaCore startet Programmierwettbewerb "Make with Ada"
ID: 1491097
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 wird. Die Teilnehmer müssen nachweisen, dass ihr System den Anforderungen entspricht und mit fundierten Software-Engineering-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 Studentenpreis 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 OpenSystems Media 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-Systeme 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-Repository (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-Umgebungen laufen muss."
Diese Presseinformation kann auch unter www.pr-com.de/adacore abgerufen werden.
Weitere Infos zu dieser Pressemeldung:
Unternehmensinformation / Kurzprofil:
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
AdaCore
Jamie Ayre
press(at)AdaCore.com
www.AdaCore.com
http://twitter.com/AdaCoreCompany
PR-COM GmbH
Andrea Groß
andrea.gross(at)pr-com.de
www.pr-com.de
Tel. +49-89-59997-803
Datum: 15.05.2017 - 15:04 Uhr
Sprache: Deutsch
News-ID 1491097
Anzahl Zeichen: 3748
Kontakt-Informationen:
Ansprechpartner: Andrea Groß
Stadt:
Paris
Telefon: +49 (0) 89 59997 803
Kategorie:
Internet
Meldungsart: Unternehmensinformation
Versandart: Veröffentlichung
Freigabedatum: 15.05.2017
Diese Pressemitteilung wurde bisher 784 mal aufgerufen.
Die Pressemitteilung mit dem Titel:
"AdaCore startet Programmierwettbewerb "Make with Ada" "
steht unter der journalistisch-redaktionellen Verantwortung von
AdaCore (Nachricht senden)
Beachten Sie bitte die weiteren Informationen zum Haftungsauschluß (gemäß TMG - TeleMedianGesetz) und dem Datenschutz (gemäß der DSGVO).
28. März 2023 – AdaCore, Anbieter von Softwareentwicklungs- und Verifikationswerkzeugen für geschäfts- und sicherheitskritische Systeme, veröffentlicht RecordFlux. Das neue Toolset ermöglicht die Implementierung hochsicherer binärer Kommunikationsprotokolle. RecordFlux (www.adacore.com/re
AdaCore tritt der Rust Foundation bei ...
8. Februar 2023 – AdaCore, Anbieter von Softwareentwicklungs- und Verifikationswerkzeugen für geschäfts- und sicherheitskritische Systeme, gibt seinen Beitritt zur Rust Foundation als Silver Member bekannt. Die unabhängige und gemeinnützige Organisation fördert die Weiterentwicklung der Progr
AdaCore und Synopsys integrieren statische Analyse von Ada-Code in Coverity ...
Paris, 14. Dezember 2022 – AdaCore, Anbieter von Softwareentwicklungs- und Verifikationswerkzeugen für unternehmens- und sicherheitskritische Systeme, gibt die Zusammenarbeit mit der Synopsys Software Integrity Group bekannt, einem führenden Entwickler von Tools für Anwendungssicherheitstests.
Weitere Mitteilungen von AdaCore
Information Builders nennt vier Faktoren für besser fundierte Entscheidungen ...
Eschborn, 15. Mai 2017 – Sehr oft sind die Fachbereiche, den Erfahrungen von Information Builders zufolge, die treibenden Kräfte, wenn es um die Einführung innovativer BI-Lösungen, leistungsstarker Funktionen für die Datenanalyse und den Zugriff auf geschäftsrelevante Daten geht. Eine bes
Günter Weinrauch wird Vice President bei CGI ...
Günter Weinrauch wurde von CGI als neuer Vice President für den Bereich Global Business Engineering verpflichtet. Sulzbach, 15. Mai 2017 – CGI (NYSE: GIB) (TSX: GIB.A) hat Günter Weinrauch als Vice President für den Bereich Global Business Engineering verpflichtet. Er wird mit seiner langjÃ
Cyberattacken und die Unterschiede in der D/A/CH Region ...
- Stellar Datenrettung analysiert Trend zum Vorjahr Back-ups gehören bei den meisten Unternehmen zum guten Ton, unabhängig davon, wie strukturiert die einzelnen Prozesse ablaufen. Verluste gibt es trotzdem. Experten für die Wiederherstellung verlorengegangener Daten wie Stellar Datenr
Infortrend fügt EonStor GSe Pro 3000 Serie zu seinem umfassenden Storage Produkt-Line-up hinzu ...
Infortrend® Technology, Inc. (TWSE: 2495) gab heute die Einführung der EonStor GSe Pro 3000 Serie bekannt, eines leistungsstarken, einheitlichen Storage, Datei-, Block- und Objektspeicher sowie Cloud-Integration unterstützend, als auch umfangreiche Datendienste, eine enorme Kapazitätserweiteru
