INTERACTIVE SIMULATOR FOR MODEST (ABGESCHLOSSEN)
 | ||
|
Verteilte Java Anwendungen: Kann das gut gehen?
Reflexive und transitive Abschluss eines gerichtetes azyklisches Graphes
Implementierung eines Preflow-Algorithmus für Markovketten
Eine Implementierung mit PEPP
Interactive Simulator for MoDeST (abgeschlossen)
Die richtige Ordnung in "Compositional Aggregation" (laufend)
Präzision von MANET-Simulatoren
Diskrete Ereignissimulation (laufend)
Abbildung von StoCharts nach MoDeST (abgeschlossen)
Energieverbrauch in Ad-Hoc und Sensor-Netzwerken (abgeschlossen)
Axiomatisierung von "Branching Bisimulation" mit Divergenz (abgeschlossen)
Value Passing MoDeST (abgeschlossen)
Automatische Abbildung von MoDeST Spezifikationen auf UPPAAL (abgeschlossen)
Thesis Title
Interactive Simulator for MoDeST (abgeschlossen)
Content
MoDeST is a modeling language for describing the behavior of discrete event systems. It combines conventional programming constructs such as iteration, alternatives, atomic statements, and exception handling with means to describe complex systems in a compositional manner. MoDeST also incorporates means to describe important phenomena such as non-determinism, probabilistic branching, and hard real-time as well as soft real-time aspects.
In this thesis, an interactive simulator for MoDeST language wil be developed. The core engine of the simulator will be written in C++ and it will be accompanied by a GUI front-end written in Java.
Pre-requisites
Programming skills in C++/Java.
Status
Running
Contact
Reza Pulungan, M.Sc