GNAT Pro Safety-Critical für ARM-Prozessoren

AdaCore, Anbieter von Lösungen für missions- und sicherheitskritische Software, hat GNAT Pro Safety-Critical für ARM Cortex Mikroprozessoren ausgeliefert. Das Produkt für Bare Boards enthält eine vollständige Entwicklungsumgebung für Ada, die auf sicherheitskritischen Systemen, sowie Systemen die mit geringem Speicherbedarf auskommen müssen, läuft. So kommen ARM-Prozessoren auch in Bereichen wie Luft- und Raumfahrt immer öfter zum Einsatz, was vor allem am sehr guten Supportangebot sowie an den geringen Kosten und Energieverbrauch dieser Prozessoren liegt.

Das ARM-Produkt von AdaCore fügt sich in die Reihe der GNAT Pro Safety-Critical Produkte für PowerPC und LEON Boards ein, so dass für eine Portabilität mit minimalem Aufwand nach Anbieterangaben gesorgt ist. Die Safety Critical-Lösung benötigt kein Betriebssystem und kann daher auch auf Boards mit wenig Speicher zum Einsatz kommen.