Bibliograph.
Daten | Papesch, Matthias: Generating Implementations from Formal Specifications: A Translator from Promela to Java.
Universität Stuttgart, Fakultät Informatik, Studienarbeit Nr. 1826 (2002).
64 Seiten, englisch.
|
|---|
| CR-Klassif. | C.2.2 (Network Protocols)
I.6.3 (Simulation and Modeling Applications)
|
|---|
| Keywords | HiSPIN; Simulator |
|---|
| Kurzfassung | 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.
|
|---|
Volltext und
andere Links | PDF (576280 Bytes)
HiSPIN
Zugriff auf studentische Arbeiten aufgrund vorherrschender Datenschutzbestimmungen nur innerhalb der Fakultät möglich |
|---|
| Kontakt | E-Mail: "Matthias Papesch" mpapesch@gmx.de |
|---|
| Abteilung(en) | Universität Stuttgart, Institut für Parallele und Verteilte Höchstleistungsrechner, Verteilte Systeme
|
|---|
| Projekt(e) | HiSPIN
|
|---|
| Eingabedatum | 15. April 2002 |
|---|