Logo
24.09.2019

Artikel

ESA wählt Adacores Multitasking-Lösung für die Raumschiff-Softwareentwicklung

Die European Space Agency (ESA) hat Adacore ausgewählt, um eine hochwertige Multitasking-Lösung für die Raumschiff-Softwarentwicklung zur Verfügung zu stellen. Laufende und künftige ESA-Projekte werden damit unterstützt.

lesen
Logo
31.01.2019

Artikel

Formale Testmethoden: Reif für den Mainstream

Gerade in kritischen Systemen ist es essentiell, dass deren Software alle Funktionalitäten korrekt implementiert und keine Fehler enthält. Formelle Methoden lösen dabei traditionelle Tests mehr und mehr ab.

lesen
Logo
30.01.2019

Artikel

AdaCore wird Mitglied der RISC-V Foundation

AdaCore ist der RISC-V Foundation beigertreten. Durch diese Zusammenarbeit stehen die GNAT Pro und GNAT Community Toolchains sowohl für professionelle als auch für Hobby-Entwickler der Prozessorarchitektur zur Verfügung.

lesen
Logo
14.11.2018

Artikel

Verifikation von Embedded Software durch Integration von Test und Beweis

Mit formalen Methoden lässt sich mathematisch die Sicherheit eines Systems nachweisen. Klassisches Testing überprüft, ob geschriebener Code den Anforderungen genügt. Warum nicht beides anwenden?

lesen
Logo
17.10.2018

Artikel

Programmierwettbewerb „Make with Ada“ geht in eine neue Runde

Der Programmierwettbewerb „Make with Ada“ ist gestartet: Zum dritten Mal ruft AdaCore Entwickler auf der ganzen Welt dazu auf, sich an der Erstellung innovativer Embedded-Anwendungen mit den Programmiersprachen Ada und SPARK zu versuchen. Dem besten Design winken bis zu 5.000 Eur...

lesen
Logo
31.08.2018

Artikel

Formal korrekten C-Code durch Benutzung von SPARK programmieren

Ein einfacher Weg zu sicherer Software: Durch den Einsatz der Ada-Variante SPARK ist es möglich, schnell und unkompliziert in C geschriebene Programme automatisch auf Korrektheit zu überprüfen.

lesen
Logo
20.06.2018

Artikel

AdaCore erweitert Support für das VxWorks-Portfolio von Wind River

Die Entwicklungsumgebung GNAT Pro Ada und das Echtzeitbetriebssystem VxWorks bieten jetzt 32-Bit- und 64-Bit-Unterstützung auf den neuesten Arm-, Intel- und Power-Multicore-Prozessoren.

lesen
Logo
20.06.2018

Artikel

AdaCore erweitert Support für das VxWorks-Portfolio von Wind River

Die Entwicklungsumgebung GNAT Pro Ada und das Echtzeitbetriebssystem VxWorks bieten jetzt 32-Bit- und 64-Bit-Unterstützung auf den neuesten Arm-, Intel- und Power-Multicore-Prozessoren.

lesen
Logo
07.02.2018

Artikel

GNAT Pro 18.1 und weitere AdaCore-Tools

Im Zuge der Aktualisierung der Ada-Entwicklungsumgebung GNAT Pro hebt AdaCore auch die Development-Tools CodePeer, SPARK Pro und QGen auf Version 18.1.

lesen
Logo
25.10.2017

Artikel

Embedded Software „Ada Motorcontrol“ als Siegerbeitrag

Als Programmiersprachen für Embedded Systems sollen Ada und SPARK die Codequalität verbessern. Bei der zweiten Auflage des Programmierwettbewerbs „Make with Ada“ konnten Entwickler die Möglichkeiten ausloten, nun hat AdaCore die Gewinner bekanntgegeben.

lesen
Logo
22.05.2017

Artikel

Zweiter „Make with Ada“-Programmierwettbewerb

Embedded-Software-Entwickler können ihre mit Ada und SPARK realisierten Projekte bis Mitte September beim Wettbewerb „Make with Ada“ vorstellen. Bis zu 5000 Euro winken dem besten Entwickler oder Development-Team mit bis zu vier Mitgliedern.

lesen
Logo
15.05.2017

Artikel

Programmierwettbewerb „Make with Ada“ ist gestartet

Bis zu 5.000 Euro können Entwickler von eingebetteter Software im Programmierwettbewerb „Make with Ada“ gewinnen. Mit dem zum zweiten Mal ausgelobten Wettbewerb demonstriert AdaCore die Leistungsfähigkeit und Zuverlässigkeit von Systemen, die mit der Programmiersprache Ada entwic...

lesen
Logo
23.03.2017

Artikel

Ada Toolbox für Development- und Testing-Profis

Der auf die Programmiersprache Ada spezialisierte Software-Hersteller AdaCore aktualisiert seine wichtigsten Produkte GNAT Pro, CodePeer, QGen und SPARK Pro auf die Version 17.1.

lesen
Logo
19.09.2014

Artikel

E-Bikes im Fokus der Intermot

Bereits im Jahr 2012 zählte die Schwerpunkthalle „e-Motion“ auf der Intermot 100.000 Besucher. Auch in diesem Jahr kommt den batteriebetriebenen Bikes eine große Rolle zu. Wir stellen euch zusammen mit ADAC die neuen Modelle vor und geben einen kleinen Ausblick.

lesen
Logo
21.02.2013

Artikel

Sicherheit in medizinischen Geräten ohne Kompromisse mit Ada

Software im medizinischen Umfeld ist mehr als das Verwalten von Patientendaten oder aussagekräftige Visualisierungssoftware. Gerade sicherheitskritische medizinische Geräte müssen ohne Fehler laufen. Wir zeigen Ihnen, was die Programmiersprache Ada hier leisten kann.

lesen