Overview of MSL4 Coverage Issues

[lochel]

This issue consolidates the failures of MSL 4.0.0 models during simulation or before verification, as observed from the FMI coverage report. These failures are categorized based on the error messages, which may not fully capture the underlying problem.

Context:

• Library Version: Modelica Standard Library 4.0.0
• FMI Coverage Report: MSL 4.0.0 Coverage Report
• Simulation Environment:
  • OpenModelica Version: OMCompiler v1.25.0-dev.195+ga3af80962f
  • OMSimulator Version: v3.0.0.post30-gd2465f8-linux-debug

Categories of Failures:

1. Timeouts During Simulation

• Modelica.Blocks.Examples.BooleanNetwork1 (Fixed time handling for model exchange #1383)
• Modelica.Clocked.Examples.Elementary.ClockSignals.RotationalSample (Fixed time handling for model exchange #1383)
• Modelica.Electrical.Digital.Examples.DFFREG (Fixed time handling for model exchange #1383)
• Modelica.Electrical.Digital.Examples.DFFREGL (Fixed time handling for model exchange #1383)
• Modelica.Electrical.Digital.Examples.Multiplexer (Fixed time handling for model exchange #1383)
• Modelica.Electrical.Digital.Examples.VectorDelay (Fixed time handling for model exchange #1383)
• Modelica.Electrical.PowerConverters.Examples.ACAC.SoftStarter (Fixed time handling for model exchange #1383)
• Modelica.Fluid.Examples.TraceSubstances.RoomCO2WithControls
• Modelica.Magnetic.QuasiStatic.FundamentalWave.Examples.BasicMachines.InductionMachines.IMC_Conveyor
• Modelica.Magnetic.QuasiStatic.FundamentalWave.Examples.BasicMachines.InductionMachines.IMC_Initialize (Fixed time handling for model exchange #1383)

2. Simulation Completed, Verification Skipped (for unknown reason)

• Modelica.Electrical.Analog.Examples.HeatingNPN_NORGate
• Modelica.Electrical.Analog.Examples.HeatingPNP_NORGate
• Modelica.Electrical.Digital.Examples.Counter
• Modelica.Electrical.Digital.Examples.FlipFlop
• Modelica.Electrical.Spice3.Examples.Spice3BenchmarkDifferentialPair

3. Terminated by Assertion (fmi2GetBoolean)

• Modelica.Fluid.Examples.AST_BatchPlant.BatchPlant_StandardWater

Debugged the model and compared the analysis with FMPY, found that CVODE with larger stepSize is failing to detect
events at some points which causes the problem, reducing the stepSize solves the problem, see below

>>>  ../../OpenModelica/OMSimulator/install/bin/OMSimulator standardwater.fmu --stopTime=130 --stepSize=0.004 -- logLevel=0 --progressBar=true
info:    maximum step size for 'model.root': 0.004000
info:    Result file: model_res.mat (bufferSize=10)
info:    step SC system [0.000000; 130.000000] with step size [0.000001; 0.000000; 0.004000]
info:    [===============================================================] 100%
info:    Final Statistics for 'model.root':
         NumSteps = 949 NumRhsEvals  = 950 NumLinSolvSetups = 49
         NumNonlinSolvIters = 949 NumNonlinSolvConvFails = 0 NumErrTestFails = 0 

  Running the above model with stepSize=0.4 will fail due to improper event detection.

• Modelica.Fluid.Examples.PumpingSystem (Fixed time handling for model exchange #1383)

4. Ungracefully handled Modelica terminate Termination

• Modelica.Mechanics.MultiBody.Examples.Systems.RobotR3.FullRobot
• Modelica.Mechanics.MultiBody.Examples.Systems.RobotR3.OneAxis

5. Zero Step Size Error

• Modelica.Media.Examples.SolveOneNonlinearEquation.Inverse_sine (do not distribute zero step size OpenModelicaLibraryTesting#185)
  • This example works correctly; however, the coverage test job uses the argument --stepSize=0, which is considered invalid.