Student Thesis STUD-1826

BibliographyPapesch, Matthias: Generating Implementations from Formal Specifications: A Translator from Promela to Java.
University of Stuttgart, Faculty of Computer Science, Student Thesis No. 1826 (2002).
64 pages, english.
CR-SchemaC.2.2 (Network Protocols)
I.6.3 (Simulation and Modeling Applications)
KeywordsHiSPIN; Simulator
Abstract

HiSPIN stands for Highly interactive SPIN. SPIN itself is an abbreviation for Simple Promela INterpreter. The HiSPIN project aims at supporting the handling of protocols and algorithms. It tries to combine the advantages of the existing tools Promela, SPIN and HiSAP.

The main parts of this work comprise a Java implementation of the SPIN simulator and the development of a communication model which enables the simulation process to control visual elements of the HiSAP visualization toolkit.

Full text and
other links
PDF (576280 Bytes)
HiSPIN
Access to students' publications restricted to the faculty due to current privacy regulations
ContactE-Mail: "Matthias Papesch" mpapesch@gmx.de
Department(s)University of Stuttgart, Institute of Parallel and Distributed High-Performance Systems, Distributed Systems
Project(s)HiSPIN
Entry dateApril 15, 2002
   Publ. Computer Science