Webtagr - Technologienummer

Animierte Rosetten in Ada: Ein kurzes Tutorial

2025-09-02

Dieses Tutorial demonstriert die Fähigkeiten von Ada durch die Erstellung eines Programms, das animierte Rosetten (Hypotrochoiden) als SVG-Dateien generiert. Es verwendet Ada 2022-Features und nutzt Alire, den Ada-Paketmanager, für das Projektmanagement. Das Tutorial hebt die Lesbarkeit, die starke Typisierung und die Sicherheit von Ada hervor und zeigt deren Anwendung in der geometrischen Berechnung und SVG-Rendering. Der Autor betont die Eignung von Ada als moderne, universelle Programmiersprache, trotz ihres Rufs für sicherheitskritische Anwendungen.

(blog.adacore.com)

Entwicklung

NVIDIA setzt auf formale Verifikation mit SPARK: verbesserte Sicherheit, ohne Performance-Einbußen

2025-02-13

Angesichts zunehmender Cyberbedrohungen hat das Sicherheitsteam von NVIDIA traditionelle Tests aufgegeben und die formale Verifikation mit SPARK eingeführt. Ein Proof-of-Concept-Projekt hat in nur drei Monaten erfolgreich sicherheitskritischen C-Code in SPARK umgewandelt und eine verbesserte Sicherheit ohne Performance-Einbußen gezeigt. Mittlerweile sind über fünfzig NVIDIA-Entwickler in SPARK geschult, und zahlreiche Produkte werden mit SPARK-Komponenten ausgeliefert. Diese Fallstudie unterstreicht die erfolgreiche Einführung der formalen Verifikation und bietet wertvolle Lehren für andere Organisationen, die ihre Sicherheit verbessern möchten.

(blog.adacore.com)

Technologie

Ada/SPARK Crate of the Year Awards bekanntgegeben!

2025-02-09

Die Ergebnisse der Ada/SPARK Crate of the Year Awards 2024 stehen fest! Lionel Draghi gewinnt den Ada Crate of the Year Award für BBT, ein Kommandozeilen-Tool, das leicht verständliche Markdown-Spezifikationen für automatisierte Tests verwendet. Kevin Chadwick erhält den SPARK Crate of the Year Award für elogs, eine speichergesicherte Logging-Bibliothek (SPARK Silber-zertifiziert), die es Benutzern ermöglicht, die maximale Nachrichtenlänge anzugeben. Schließlich gewinnt Brent Seidels integrierbarer Lisp-Interpreter, bbs_lisp, den Embedded Crate of the Year Award und zeigt die Stärken von Ada in eingebetteten Systemen.

(blog.adacore.com)

Entwicklung