TU Berlin

SoftwaretechnikASPEN

swt in rot

Inhalt des Dokuments

zur Navigation

ASPEN - Fundierung und Sicherheitsanalyse verteilter, asynchroner Objektsystem

Kurzbeschreibung

Durch den Aufschwung des Internets zum Kommunikationsmedium muss sich verteiltes Rechnen den Anforderungen und Betriebsbedingungen eines weitverteilten Computernetzes stellen. Ziel des Projektes ist es, das Programmierparadigma der verteilten aktiven Objekte mit dem interaktiven Theorembeweiser Isabelle/HOL zu untersuchen und Sicherheitseigenschaften zu beweisen. Der Kalkül für verteilte, asynchrone  aktive Objekte, den wir als Basis verwenden, ist ASP mit seiner Java-basierten Programmierumgebung ProActive.

Projektteam

Florian Kammüller • Henry Sudhof • Lilit HakobyanBianca Lutz

Navigation

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe