AdaCore startet Wettbewerb für Programmierer von Embedded-Systemen
ID: 1370871
AdaCore hat den Programmierwettbewerb "Make with Ada" gestartet. Bis 30. September 2016 können Softwareentwickler mit Code, der unter Verwendung von Ada und SPARK erstellt wurde, Preise von insgesamt 8.000 Euro gewinnen.
Der Wettbewerb steht Einzelpersonen und Teams mit bis zu vier Mitgliedern offen. Das Ziel ist, ein Embedded-Software-Projekt für einen ARM-Cortex-M- oder -R-Prozessor zu entwerfen und zu implementieren, bei dem Ada und/oder SPARK als hauptsächliche Programmiersprache verwendet werden. Die Teilnehmer müssen nachweisen, dass ihr System den Anforderungen entspricht und mit fundierten Software-Engineering-Methoden entwickelt wurde. Einsendeschluss ist der 30. September 2016. Die Preisträger werden im November 2016 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
Zusätzlich gibt es zwei Nano-Drohnen als Sonderpreise: eine für das Projekt, das hinsichtlich Zuverlässigkeit am besten bewertet wird; die andere für das Projekt, das sich durch die größte Kreativität auszeichnet.
Die Jury umfasst namhafte Experten für Embedded-Systeme, so Jack Ganssle, Principal Consultant bei The Ganssle Group, Dick Selwood, Europa Editor bei TechfocusMedia, Bill Wong, technischer Redakteur bei Penton Media, und Cyrille Comar, President von AdaCore.
Der Wettbewerb "Make with Ada" ist Teil einer AdaCore-Initiative zur Förderung von Ada und SPARK für Embedded-Systeme und für die Entwicklung von “software that matters”. Zu dieser Initiative gehören auch freies Online-Training bei AdaCore U (http://u.adacore.com) und verschiedene Ressourcen für freie Software-Entwickler, Studenten und Hobby-Programmierer im Github-Repository (github.com/AdaCore) und auf der libre-Website (http://libre.adacore.com).
Weitere Informationen über Ada und SPARK, zusammen mit Links zu kostenlosen Ressourcen und Anleitungen zum Download der GNAT GPL-Edition für Bare Board ARM, stehen auf http://makewithada.org/getting-started zur Verfügung.
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
Romana Redtenbacher
romana.redtenbacher(at)pr-com.de
www.pr-com.de
Tel. +49-89-59997-761
Datum: 20.06.2016 - 15:06 Uhr
Sprache: Deutsch
News-ID 1370871
Anzahl Zeichen: 2669
Kontakt-Informationen:
Ansprechpartner: Romana Redtenbacher
Stadt:
Paris
Telefon: +49-89-59997-761
Kategorie:
Internet
Meldungsart: Unternehmensinformation
Versandart: Veröffentlichung
Freigabedatum: 20.06.2016
Diese Pressemitteilung wurde bisher 1592 mal aufgerufen.
Die Pressemitteilung mit dem Titel:
"AdaCore startet Wettbewerb für Programmierer von Embedded-Systemen"
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
SAP Beratungshaus itelligence AGübernimmt Application Management- und Cloud-Spezialist BIT.Group GmbH (FOTO) ...
Bestens aufgestellt für die "Digitale Transformation": itelligence AG weitet das Angebot für Cloud- und Application Management Services massiv aus Die BIT.Group GmbH, Bautzen, und die itelligence AG geben heute die 100prozentige Übernahme der BIT.Group GmbH durch die itelligen
Höchster Anspruch an Qualität der eigenen Arbeit ...
MDR-Rundfunkrat diskutiert in Klausurtagung über Auftrag, Qualität und Glaubwürdigkeit der Medien Der höchst mögliche Anspruch an die eigene Qualität muss für Journalisten der Leitgedanke ihrer Arbeit sein, wenn sie verlorenes Vertrauen ihrer Leser, Hörer, Zuschauer und Telemediennutz
Neuer Youtube-Kanal: Nützliche Tipps und tools für Schreibtischtäter ...
Dr. Ruth Brökeland betreibt seit einiger Zeit Internet-Marketing im deutschsprachigen Raum und hat sowohl bei sich als auch bei anderen Menschen, die an Schreibtisch und Bildschirm arbeiten, Schwachstellen in der täglichen Arbeit entdeckt, die unnötig Zeit beanspruchen. Viele Dinge und Vorgänge
Neue Website: Landkreis Nordsachsen setzt beim Relaunch weiter auf i-fabrik ...
Leipzig, 20. Juni 2016: Ein ansprechender Internetauftritt ist in der heutigen Zeit weit mehr als eine Visitenkarte im Netz. Neben der Präsentation dient die Website einer Kommune insbesondere als wichtige Informationsquelle für Bürger und Unternehmen. Der Landkreis Nordsachsen hat seine alte Onl
