Artikel mit dem Tag „Hohe Zuverlässigkeit“
5 Artikel mit dem Tag „Hohe Zuverlässigkeit“, vom neuesten zum ältesten.
-
Generische Programmierung in Ada ── Verträge in Typen schreiben und Wiederverwendung ohne Laufzeitkosten
Eine systematische Einführung in die generische Programmierung in Ada - von generischen Unterprogrammen und Paketen über formale Unterprogrammparameter und T...
-
Echtzeitsystemprogrammierung mit Ada — Priorität, Periodizität und Ausführungszeitsteuerung in der Praxis
Ein praxisnaher Einstieg in Adas Annex D (Echtzeitsysteme) anhand von acht praktischen Codebeispielen: Task-Prioritäten, Ceiling_Locking, periodische Ausführ...
-
Sichere Nebenläufigkeit mit Ada — Ein praktischer Leitfaden zu Tasks und geschützten Objekten
Ein Einführungsartikel zu Adas sprachintegrierter Nebenläufigkeit mit Tasks und geschützten Objekten. Er behandelt Rendezvous (entry/accept), selektiven Acce...
-
Einführung in die formale Verifikation mit SPARK ── Von Ada-Verträgen zum mathematischen Beweis
Eine praxisorientierte Einführung in die formale Verifikation mit SPARK, der Ada-Teilsprache. Der Artikel zeigt den Weg von Verträgen (Pre/Post) zum Beweis, ...
-
Der Reiz der Sprache Ada — Design in Typen ausdrücken und Software, die jahrzehntelang läuft
Eine Einführung in den Reiz der Sprache Ada: starke Typisierung, Bereichsbeschränkungen, die Trennung von Spezifikation und Implementierung durch Pakete, Des...