search

gobo7793 / ssharp

S# is a formal modeling and safety analysis framework for safety-critical systems. It provides a domain specific modeling language and fully automated formal safety analysis tools based on C# and .NET.
http://safetysharp.isse.de/wiki
MIT License
0 stars 0 forks source link

Mehrere Clients zum Starten der Anwendungen #54

Closed gobo7793 closed 6 years ago

gobo7793 commented 6 years ago

Mehrere Clients im Modell starten, damit Anwendungen parallel gestartet werden. Jeder Client hat dabei sein eigenes Transitionssytem, auf dem er zwischen den Anwendungen wechselt, die Wahrscheinlichkeiten sind dabei statisch und bei allen Clients gleich.

gobo7793 commented 6 years ago

Der HiBench-Container muss dazu angepasst werden, dass nicht immer das gleiche HDFS-Verzeichnis genommen wird, sondern das vom Client

gobo7793 commented 6 years ago

Das Modell selbst unterstützt nun mehrere Clients, die Umsetzung auf dem Cluster-PC ist in #53

gobo7793 commented 6 years ago

Spezifisches Verzeichnis kann beim Hibench jetzt mithilfe von --dir DIR angegeben werden