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

Constraints aus Evaluationsplan implementieren #97

Closed gobo7793 closed 6 years ago

gobo7793 commented 6 years ago

Prüfen und sofern möglich, Constraints für automatische Evaluierung der Behauptungen aus dem Evaluationsplan implementieren

gobo7793 commented 6 years ago

Bestehende:

  1. Task completed, if not canceled
  2. No workload is sent to inactive, defected, or disconnected server
  3. Parameters of the configuration are updated, if a certain rule applies
  4. Defects or disconnections are recognized

Neu:

  1. Der aktuelle Status des Clusters wird erkannt
  2. Defekte Nodes werden erkannt (in 4 enthalten)
  3. Komponentenfehler werden im Cluster injiziert und repariert
  4. Wenn keine Nodes mehr laufen, wird erkannt, dass sich das Cluster nicht mehr rekonfigurieren kann
  5. Der Test kann vollautomatisch duchgeführt werden
  6. Das Cluster kann auf mehreren Hosts liegen
  7. Es können mehrere Benchmark-Anwendungen gleichzeitig gestartet werden
  8. Ein Testfall kann mehrmals ausgeführt werden
gobo7793 commented 6 years ago

Constraints soweit möglich implementiert 5 Soweit möglich, 9 und 12 nicht möglich