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

Activation Probability falsch berechnet #90

Closed gobo7793 closed 6 years ago

gobo7793 commented 6 years ago

Activation probability wird falsch berechnet, Beispiel 2018-05-17.log:

[17:09:16,257|INFO|doop.OutputUtilities] =================  Step: 2  =====================================
[17:09:19,980|INFO|ysis.SimulationTests] Fault NodeConnectionErrorFault@compute-2
[17:09:19,988|INFO|l.NodeFaultAttribute] Activation probability: 0,92 < 0,370732550216249
[17:09:19,996|INFO|ysis.SimulationTests] Fault NodeDeadFault@compute-2
[17:09:20,010|INFO|l.NodeFaultAttribute] Activation probability: 0,92 < 0,808988504954143
[17:09:36,342|INFO|doop.OutputUtilities] === Node compute-2:45454 ===
[17:09:36,356|INFO|doop.OutputUtilities]     State:         RUNNING
[17:09:36,366|INFO|doop.OutputUtilities]     IsActive:      True
[17:09:36,378|INFO|doop.OutputUtilities]     IsConnected:   True
[17:09:36,389|INFO|doop.OutputUtilities]     Container Cnt: 8
[17:09:36,399|INFO|doop.OutputUtilities]     Mem used/free: 8192/0 (1,000)
[17:09:36,411|INFO|doop.OutputUtilities]     CPU used/free: 8/0 (1,000)

Activation Probability müsste eigentlich bei 0,28 < ... sein.

gobo7793 commented 6 years ago

Hängt mit Erkenntnissen aus #91 zusammen: Serialisierter Node wird vewendet, überall sonst wird Model.Instance genutzt