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.
Für die Evaluation wird hier schon festgelegt, wie die Ausführung der Testfälle ablaufen soll. Darunter zählt auch, wie Komponentenfehler aktiviert werden (nur DCCA oder evtl. auch irgendwie manuell)
Für die Evaluation wird hier schon festgelegt, wie die Ausführung der Testfälle ablaufen soll. Darunter zählt auch, wie Komponentenfehler aktiviert werden (nur DCCA oder evtl. auch irgendwie manuell)