Entwicklung sicherer, hardwarenaher Anwendungen

Modulnummer
II2012
Modulverantwortliche
Diethelm Bienhaus
Dozenten
Florian von Zabiensky
Kurzbeschreibung

Das Modul behandelt die Entwicklung sicherer, hardwarenaher Anwendungen. Dazu notwendige Sprachkonstrukte, wie strikte Typisierung, Nebenläufigkeitskonzepte und formale Verifikation, werden am Beispiel der Sprache Ada vorgestellt. Anhand eines Projekts wird eine sichere, hardwarenahe Anwendung mit den erlernten Mitteln erarbeitet und dokumentiert.

Qualifikations- und Lernziele

Die Teilnehmenden

  • können große Systeme strukturieren
  • beherrschen einen disziplinierten Programmierstil
  • kennen Grundtechniken der Verifikation und können diese in Ada umsetzen
  • können hardwarenah in Ada programmieren
  • beherrschen Konzepte der Echtzeitprogrammierung und deren Umsetzung in Ada
  • kennen verschiedene Nebenläufigkeitskonzepte
  • sind in der Lage im Team zusammen zu arbeiten und gemeinsam eine Fragestellung zu bearbeiten, sowie sich Teamübergreifend Unterstützung zu geben
  • können ihre Arbeit eigenständig dokumentieren und ihre Organisation und Umsetzung reflektieren
Lerninhalte
  • Grundlegende Sprachkonstrukte im Vergleich zu Java
  • Das strenge Typsystem von Ada
  • Modularisierung in Ada durch Pakete
  • Objektorientierte Programmierung in Ada
  • Parallelverarbeitung mit geschützten Objekten, Tasks
  • Hardwarenahe Sprachelemente
  • Echtzeitsysteme mit Ada
  • SPARK/Ada zur formalen Verifikation
Moduldauer (Semester)
1
Unterrichtssprache
Deutsch
Gesamtaufwand
6 CrP; 180 Stunden, davon etwa 60 Stunden Präsenzzeit.
Semesterwochenstunden
4
Lernformen

Seminaristischer Unterricht 2 SWS, Praktikum 2 SWS

Geprüfte Leistung

Prüfungsleistung: Präsentation und Dokumentation der Projektergebnisse

Bewertungsstandard

Bewertung der Prüfungsleistung nach § 9 der Allgemeinen Bestimmungen (Teil I der PO)

Häufigkeit des Angebots
Nach Bedarf
Literatur
  • Programming in Ada, John Barnes, Cambridge University Press
  • Building Parallel, Embedded, and Real-Time Applications with Ada, John W. McCormick, Cambridge University Press
  • Building High Integrity Applications with Spark, John W.Mccormick, Cambridge University Press
  • AdaCore University (http://university.adacore.com/)
  • http://www.adacore.com