| Bibliography | Papesch, 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-Schema | C.2.2 (Network Protocols)
I.6.3 (Simulation and Modeling Applications)
|
|---|
| Keywords | HiSPIN; 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 |
|---|
| Contact | E-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 date | April 15, 2002 |
|---|