issues
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
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Abbildung 4.5 fixen
#125
gobo7793
closed
6 years ago
1
Probedrucke
#124
gobo7793
closed
6 years ago
0
Vereinfachtes Modell für Wiki
#123
gobo7793
closed
6 years ago
0
Versionen der genutzten Tools im Anhang sammeln
#122
gobo7793
closed
6 years ago
0
Korrekturlesen
#121
gobo7793
closed
6 years ago
2
Ausarbeitung in Reinform bringen
#120
gobo7793
closed
6 years ago
3
Denglisch raus
#119
gobo7793
closed
6 years ago
0
S#-Modellierung neu schreiben
#118
gobo7793
closed
6 years ago
0
Globales Glossar einbauen
#117
gobo7793
closed
6 years ago
0
Bessere Verweise in Evaluation
#116
gobo7793
closed
6 years ago
0
Referenzen überarbeiten
#115
gobo7793
closed
6 years ago
1
Hadoop-Accounts sperren
#114
gobo7793
closed
6 years ago
0
Test 31 mit 8 Submittern in Evaluation einbauen
#113
gobo7793
closed
6 years ago
0
Weitere Mutationstests durchführen
#112
gobo7793
closed
6 years ago
0
Auslesen des MARP-Wertes aus Config
#111
gobo7793
closed
6 years ago
0
Verhältnis zwischen AppMstr und Container in Oracle prüfen
#110
gobo7793
closed
6 years ago
1
Neudefinieren von Testfällen
#109
gobo7793
closed
6 years ago
1
Zu wenig RAM für große Testfälle
#108
gobo7793
closed
6 years ago
1
SSH-Verbindungen werden abgebrochen
#107
gobo7793
closed
6 years ago
1
Genaueres zum SuT erläutern
#106
gobo7793
closed
6 years ago
0
Implementierte Constraints in Ausarbeitung erläutern
#105
gobo7793
closed
6 years ago
2
Reflexion und Ausblick schreiben
#104
gobo7793
closed
6 years ago
2
Einleitung neu schreiben
#103
gobo7793
closed
6 years ago
0
Evaluierung ausformulieren
#102
gobo7793
closed
6 years ago
0
Mutationsszenarien umschreiben
#101
gobo7793
closed
6 years ago
1
Universalmutator ausformulieren
#100
gobo7793
closed
6 years ago
0
Cluster nach Testfall neustarten
#99
gobo7793
closed
6 years ago
1
Anpassen der Ausarbeitung an geänderte Gegebenheiten
#98
gobo7793
closed
6 years ago
0
Constraints aus Evaluationsplan implementieren
#97
gobo7793
closed
6 years ago
2
Testfallgenerierung genauer erläutern
#96
gobo7793
closed
6 years ago
0
Readme für Abgabe
#95
gobo7793
closed
6 years ago
0
Evaluationsplan fixen
#94
gobo7793
closed
6 years ago
1
Analsysieren der adaptiven Komponente
#93
gobo7793
closed
6 years ago
0
Nur Nodes mit Faults neustarten
#92
gobo7793
closed
6 years ago
1
Model.Instance-Nutzung abändern
#91
gobo7793
closed
6 years ago
2
Activation Probability falsch berechnet
#90
gobo7793
closed
6 years ago
1
Berechnung CPU-Auslastung fehlerhaft
#89
gobo7793
closed
6 years ago
1
Eigener Seed für Zufallsgenerator in NodeFaultAttribute
#88
gobo7793
closed
6 years ago
0
Nodeauslastung für Fehleraktivierung speichern
#87
gobo7793
closed
6 years ago
2
Netzwerktreiber neuladen bei net start
#86
gobo7793
closed
6 years ago
1
Nicht-aktivierende Komponentenfehler auf Host 2 fixen
#85
gobo7793
closed
6 years ago
1
HostId rausfinden
#84
gobo7793
closed
6 years ago
0
Aktivierung von Fehler unwahrscheinlicher machen
#83
gobo7793
closed
6 years ago
2
Fehlerbeseitigung
#82
gobo7793
closed
6 years ago
0
Analyse der aufgetretenen Fehler
#81
gobo7793
closed
6 years ago
0
Mutationen in adaptive Komponente implementieren
#80
gobo7793
closed
6 years ago
1
Anforderungen erläutern
#79
gobo7793
closed
6 years ago
0
S#-Fault Activation nutzen
#78
gobo7793
closed
6 years ago
4
Quellcode adaptive Komponente anfragen
#77
gobo7793
closed
6 years ago
4
Fachbegriffe in Ausarbeitung nutzen
#76
gobo7793
closed
6 years ago
2
Next