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.
Erstellen einer reinen Simulation der Ausführung ohne Aktivierung von Komponentenfehlern. Die Simulation dient auch als Vergleich für die spätere Evaluation.
Erstellen einer reinen Simulation der Ausführung ohne Aktivierung von Komponentenfehlern. Die Simulation dient auch als Vergleich für die spätere Evaluation.