AdaCore startet neuen Programmierwettbewerb
ID: 1661250
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-Unterstü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-Verfahren 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 http://learn.adacore.com, verschiedene Ressourcen für Freie-Software-Entwickler und Studenten beziehungsweise Hobby-Entwickler im GitHub-Repository unter http://github.com/AdaCore und in der GNAT-Community http://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.
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: 17.10.2018 - 14:13 Uhr
Sprache: Deutsch
News-ID 1661250
Anzahl Zeichen: 3908
Kontakt-Informationen:
Ansprechpartner: Andrea Groß
Stadt:
Paris
Telefon: +49-89-59997-803
Kategorie:
Internet
Meldungsart: Unternehmensinformation
Versandart: Veröffentlichung
Freigabedatum: 17.10.2018
Diese Pressemitteilung wurde bisher 517 mal aufgerufen.
Die Pressemitteilung mit dem Titel:
"AdaCore startet neuen Programmierwettbewerb "
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
Die Ära der kostenlosen KI ist vorbei ...
13. Mai 2026 – Die Wirtschaftlichkeit großer Sprachmodelle steht kurz davor, mit der Unternehmensrealität zu kollidieren. Warum? In der ersten Phase der Einführung wurde KI meist in Form subventionierter, häufig nutzerbasierter, Preismodelle angeboten. Die Tokens schienen praktisch kostenlo
CGI modernisiert die Dateninfrastruktur im Columbus-Modul der ISS ...
12. Mai 2026 – CGI (NYSE: GIB) (TSX: GIB.A), eines der weltweit führenden IT- und Business-Consulting-Unternehmen, modernisiert im Auftrag der Europäischen Weltraumorganisation ESA die Dateninfrastruktur im Columbus-Modul der Internationalen Raumstation ISS. Das „Columbus Data Management I
Lokal verwurzelt, das „Herz“ der Lieferkette stärken – Das Berliner Distributionszentrum von AEGOG sichert die deutsche Industrieversorgung ...
In der deutschen Baustoff- und Möbelindustrie entscheiden Reaktionsgeschwindigkeit und Stabilität der Lieferkette oftmals über den Erfolg nachgelagerter Unternehmen. Das in Berlin ansässige „AEGOG PLATTEN FACHMARKT BERLIN“ (AEGOG Platten-Distributionszentrum Berlin) ist genau ein solches zen
Mitteilung zur Neuausrichtung der Geschäftsstruktur der Marke AEGOG in der Asien-Pazifik-Region ...
Sehr geehrte Kunden, Partner und Freunde, Die Robert Family GmbH, Deutschland (im Folgenden „das Unternehmen“) gibt hiermit die formelle Anpassung der Geschäftsstruktur ihrer Marke AEGOG für den globalen Markt bekannt. Um das langfristige Wachstum der Marke AEGOG im asiatischen Markt weite
Revolution im Hörbuchmarkt: KI?Stimmen setzen neue Qualitätsstandards ...
Der innovative Hörbuchverlag Stufenwerk Verlag kündigt seinen offiziellen Start an und setzt dabei auf eine klare Mission: Hochwertige Hörbücher weltweit verfügbar machen - produziert ausschließlich mit modernster KI?Sprachtechnologie. Während der Markt traditionell auf menschliche Spreche
HSMA Deutschland e.V. startet Bewerbungsphase für Social Media Award 2026 ...
Die Hospitality Sales & Marketing Association Deutschland e.V. eröffnet die Bewerbungsphase für den Social Media Award 2026 und richtet sich damit erneut an Hotels oder Hotelgruppen aus Deutschland, Österreich und der Schweiz, die ihre digitalen Kommunikationsstrategien erfolgreich sowie nach
CGI und OpenAI beschleunigen mit dem KI-Coding-Agenten Codex die Software-Entwicklung ...
Eschborn, 7. Mai 2026 – CGI (NYSE: GIB) (TSX: GIB.A), eines der weltweit größten unabhängigen IT- und Business-Consulting-Unternehmen, erweitert strategisch seine globale Partnerschaft mit OpenAI. Im Mittelpunkt steht der KI-Coding-Agent Codex. Die Lösung ermöglicht es Unternehmen, KI-Agenten
Asendia und Singapore Post bündeln Kräfte für grenzüberschreitenden E-Commerce ...
Gemeinsames Angebot positioniert Singapur als zentrales Gateway für ein- und ausgehende E-Commerce-Sendungen in APAC und unterstützt Händler beim Übergang zur neuen EU-Zollregelung 2026. Asendia, einer der weltweit führenden Anbieter im internationalen E-Commerce und Postversand, gibt heute
Jugendliche fordern mehr Schutzräume im Internet ...
Jasmina Hostert, bildungs- und jugendpolitische Sprecherin: Die neue, repräsentative UNICEF-Umfrage unter 14- bis 16-Jährigen zeigt: Eine große Mehrheit an Jugendlichen spricht sich für bessere Inhaltsfilter, sichere Voreinstellungen und mehr Verantwortung der Plattformbetreiber aus - und nicht
DAZN und DFL erzielen bedeutenden Erfolg im Kampf gegen Piraterie: Gericht ordnet Sperrung der Website livetv.sx in Deutschland an ...
- Gemeinsamer Durchbruch: DAZN und die DFL erwirken die Sperrung der größten illegalen Sport-Streaming Webseite livetv.sx - Langjähriger Piraterie-Hotspot: Nach über 13 Jahren massiver Piraterie wird einer der zentralen Akteure illegalen Sportstreamings gestoppt - Die Entscheidung markiert eine
