AdaCore gibt Gewinner des Programmierwettbewerbs "Make with Ada" bekannt
ID: 1431460
AdaCore hat auf dem ESE-Kongress in Sindelfingen die Gewinner seines Programmierwettbewerbs für Projekte, die auf den Prozessoren ARM Cortex M oder R implementiert wurden, bekannt gegeben. "Make with Ada" soll künftig jedes Jahr stattfinden und zeigen, dass die Programmiersprachen Ada und SPARK die Code-Qualität für moderne Embedded-Systeme deutlich verbessern können, ohne dass für Entwickler, die mit diesen Sprachen nicht vertraut sind, ein hoher Lernaufwand entsteht. Die Preise werden an Projekte vergeben, die den Kriterien der Software-Zuverlässigkeit, Offenheit, Kollaboration und Erfindungsreichtum am besten entsprechen.
• In diesem Jahr ging der erste Preis mit 5.000 Euro an Stephane Carrez für sein Monitoring-Tool EtherScope (http://www.makewithada.org/log/etherscope) zur Analyse des Ethernet-Verkehrs. Das Programm liest Ethernet-Pakete, führt eine Echtzeitanalyse durch und zeigt die Ergebnisse auf einem Touchpanel an.
• Den zweiten Preis mit 2.000 Euro erhielt German Rivera für sein Framework zur Entwicklung von Steuerungs-Software für den Rennwagen NXP Cup. Das Entwicklungssystem ist ein Miniatur-Rennwagen-Chassis mit einer FRDM-KL25Z-Platine und einem TFC-Shield-Board.
• Den dritten Preis mit 1.000 Euro erhielt Shawn Nock für sein Bluetooth-Beacons-Projekt iBeacon.
Für den Wettbewerb "Make with Ada", der vom 20. Juni bis 30. September 2016 lief, wurden 38 Beiträge eingereicht. Jeder Teilnehmer sollte ein Embedded-Software-Projekt für die Prozessoren ARM Cortex M oder R entwerfen und implementieren, mit Ada oder SPARK als wichtigste Sprachen. Die Teilnehmer mussten nachweisen, dass ihr System professionellen Anforderungen genügt und mit Hilfe von fundierten Softwaretechniken entwickelt wurde.
Eines der Ziele des Wettbewerbs war es, Entwickler zu motivieren, die vorher keine Erfahrung mit Ada hatten. Damit konnte gezeigt werden, dass auch Nicht-Ada-Programmierer mit dieser Sprache schnell und produktiv arbeiten können. So berichtet Preisträger Shawn Nock in einem Blogeintrag, dass er ohne vorherige Erfahrung mit Ada bereits nach etwa acht Stunden damit produktiv arbeiten konnte.
Der Wettbewerb "Make with Ada" ist Teil einer umfassenden AdaCore-Initiative zur Förderung von Ada und SPARK für die Entwicklung von Embedded-Systemen und für die Entwicklung von kritischer Software. Weitere Elemente dieser Initiative sind die kostenlose Online-Schulung bei AdaCore U (u.adacore.com) sowie diverse Ressourcen für freie Software-Entwickler, Studenten und Hobbyprogrammierer im github-Repository (github.com/AdaCore) sowie die Libre Website (libre.adacore.com).
Informationen über den nächsten "Make with Ada"-Wettbewerb werden ab dem zweiten Quartal 2017 verfügbar sein unter: http://www.makewithada.org/
Diese Presseinformation sowie Bildmaterial können 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: 01.12.2016 - 12:28 Uhr
Sprache: Deutsch
News-ID 1431460
Anzahl Zeichen: 3322
Kontakt-Informationen:
Ansprechpartner: Andrea Groß
Stadt:
Paris
Telefon: +49 (0) 89 59997 803
Kategorie:
3D-Druck
Meldungsart: Unternehmensinformation
Versandart: Veröffentlichung
Freigabedatum: 28.11.2016
Diese Pressemitteilung wurde bisher 1275 mal aufgerufen.
Die Pressemitteilung mit dem Titel:
"AdaCore gibt Gewinner des Programmierwettbewerbs "Make with Ada" bekannt "
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
Tipps für die IT-Wartung: Mehr Effizienz bei weniger Kosten ...
Tipp 1: Gezielt in die IT-Infrastruktur investieren Gezieltes Investieren in die IT-Infrastruktur kann sich allemal auszahlen. Es spart nachhaltig Wartungs- und reduziert Folgekosten. Prominente Schlagwörter sind hier Skalierbarkeit, Ausfallsicherheit und Security-Management. Denn monatliche IT-
Vollendung des Shopping-Erlebnisses: WLAN-Hotspots bringen die nötige Frequenz in die Läden ...
Allein das WLAN-Schild an der Eingangstür zeigt, wie der Hinweis auf EC- und Kreditkartenzahlung: Wir möchten unseren Kunden zusätzlichen Service bieten und möchten, dass sie sich bei uns wohlfühlen. Pohl: „Da heutzutage jeder sein stets knappes Datenvolumen für das mobile Internet im Hinter
Bromiums Sicherheitslösung raubt Ransomware das Gefahrenpotential ...
Heilbronn, 15. September 2016 – Cyber-Kriminalität wächst dermaßen schnell an, dass Bundesländer ihre Polizei mit Spezialeinheiten ausrüsten, um sie zu bekämpfen. Auch für Unternehmen wird es höchste Zeit, ihre Abwehr zu verbessern. IT-Sicherheitsspezialist Bromium empfiehlt einen revoluti
Messen & Veranstaltungen: Print Cocktail in Krefeld und Darmstadt ...
Der RGF – Die Multiplikatoren, eine Verbundgemeinschaft mit 38 Handels- und über zwanzig Industriepartnern, lädt gemeinsam mit seinen Mitgliedern zu den Print Cocktails in Krefeld (Hochschule Niederrhein, 30. August bis 01. September) und Darmstadt (Wirtschafts- und Kongresszentrum Darmstadtiu
