Im Rahmen meiner Promotion beschäftige ich mich mit dem Thema Multi-/Many-core Prozessoren, insbesondere im Umfeld sicherheitskritischer, verteilter, eingebetteter Systeme mit harten Echtzeitanforderungen.

In diesem Zusammenhang habe ich mir detailliert die Programmiersprache Scala und die dazugehörige Bibliothek “Actors” angeschaut. Dabei entstand der folgende Überblicksvortrag, der auf den am Ende genannten Referenzen aufbaut.

Natürlich erschlägt man mit diesem zugrunde liegenden Prozessmodell nicht alle Problemklassen der parallelen Programmierung. Dennoch bin ich der Überzeugung, dass es eine hinreichend große Menge an Anwendungsbereichen gibt, in denen diese Art der Modellierung sinnvoll ist.

[Scala-Actors.pdf]

In einem Doktoranden-Seminar wurde ein Buch zur Spezifikation Echtzeitanforderungen in Form verschiedener Vorträge bearbeitet. Ich hatte eines der einführenden Kapitel und habe die “Zeit-Peti-Netze” vorgestellt.

Das zugrunde liegende Buch trägt den etwas sperrigen Titel “Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach” und läßt hier von Amazon beziehen.

Diesen Vortrag als PDF will ich natürlich auch der Allgemeinheit zur Verfügung stellen.

Download