direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

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

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Projektleitung

Florian Kammüller

Webseite

Projektdauer

2008 - 2011 (36 Mon.)