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

Möglichkeiten für reales Cluster ermitteln #11

Closed gobo7793 closed 6 years ago

gobo7793 commented 6 years ago

Experimentieren und austesten von weiteren Möglichkeiten, wie das reale Cluster aussehen kann.

Beispiele: Slaves auf mehrere PCs verteilen, Master auf eigenem PC laufen lassen, mehr Slaves...

gobo7793 commented 6 years ago

Auch ist zu prüfen, inwieweit die REST API genutzt werden kann, zum Teil überlappend mit Issue #36

gobo7793 commented 6 years ago

REST-API sollte zum Monitoring genutzt werden, ist deutlich schneller, Faulthandling geht nur über CMD

gobo7793 commented 6 years ago

Angefragt ist Nutzung von SSD für Cluster-PC und Update vom VM-PC auf aktuelles Ubuntu (ist: 16.10)

gobo7793 commented 6 years ago

Neue SSDs sollen im Laufe der KW 6 kommen, PCs sollen beide Dual-Boot Windows/OpenSuSE (RZ-Image) bekommen

gobo7793 commented 6 years ago

VM-PC wurde aktualisiert, Cluster-PC stehen Benutzerkonto und -rechte noch aus

gobo7793 commented 6 years ago

Cluster-PC-Rechte vorhanden