Skip to end of metadata
Go to start of metadata

Meeting Details

  • Moderator: als
  • Protocol: nre
  • Attendees:
    • als
    • lgr
    • nre
    • rvh
    • ssm
  • Start: 9:49
  • End: 10:10

Agenda

Debugging (Potentially) Instantaneous loops (als)

  • Users may want to debug SCCharts in source model, as that is what the moddeller really modeled
  • Instantaneous aborts from a state cycling with another state may cause this problem in the compilation
  • Caused by abort transformation
  • "Salami-Fork" to express abort from previous FDL paper taken as an idea for an alternative transformation in SCCharts
  • New sequential preemptive fork in SCG that executes its threads sequentially until the first one reaches its exit state
  • Guards for basic blocks got adapted to conform with the strong/weak abortion semantics
  • Still problems with thread reincarnation (for example already in ABRO), solved again with some als guard magic
  • Problem: Parts of control flow are not modeled in CFG anymore but in the guards of these threads, may not be what we really want from this new approach
  • New approach also only helps in some cases, as problems with shizophrenic in some cases is still present
  • No labels