Formalization of XVSM

Context

XVSM (extensible virtual shared memory), formal specification

Task Description

Beyond the Java and .NET based implementations, there exists also a formal model for XVSM. This model defines the behavior of the XVSM middleware and serves as the basis for any implementation in a programming language. It uses nested meta data structures with algebraic access. A reference implementation in Haskell has already been developed.

 

In the here offered work, the major part of the specification shall be defined with formal methods like temporal logics or specification languages in a more precise way. With help of these, certain properties of the middleware shall be formally verified. Cooperation with other national and international researchers is planned.

Requirements

• Lecture "Verteiltes Programmieren mit Space Based Computing Middleware"
• experiences with formal methods

Student

open topic (please apply under ID = "XVSM-Formalization")

Supervisor

A.o. Univ.-Prof. Dr. Dipl.-Ing. eva Kühn

Related Projects in the Network