Mutationen in adaptive Komponente implementieren

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

Mutationen in adaptive Komponente implementieren #80

Closed gobo7793 closed 6 years ago

gobo7793 commented 6 years ago

Implementieren von einigen Mutationen in die adaptive Komponente Am besten in den Quellcode, siehe #77 Inkl. Einbinden in Docker-Container!

gobo7793 commented 6 years ago

Image-Management im Rahmen der Implmentierung überarbeitet, sodass alle Images auf dem Default-Selfbalancing-Image aufbauen, das Mutation-Image auf dem Masterthesis-Image

Eingearbeitete Mutationen: Auskommentierung von einigen Zeilen in den zugehörigen Bash-Scripten, sodass die ermittelte Anzahl der Idle-Jobs nicht mehr gespeichert wird, gleiches bei UsedMemory