PI06301: wrong simulation and code when using transition priority in Rational Statemate

Rational Statemate Fix Pack 9 (4.6.1.9) for 4.6.1

APAR status

• Closed as program error.

Error description

• Simulation behaves wrong and wrong MicroC code is generated from
  a statechart which uses transition priority and a timer.
  The timer of a higher level transition is reset every time when
  the statechart toggles between inner states and transition
  priority is used in the outgoing transitions.
  Defect in simulation and defect in code generation.
  

Local fix

Problem summary

• ****************************************************************
  * USERS AFFECTED:                                              *
  ****************************************************************
  * PROBLEM DESCRIPTION:                                         *
  ****************************************************************
  * RECOMMENDATION:                                              *
  ****************************************************************
  wrong simulation and code when using transition priority in
  Rational Statemate
  

Problem conclusion

• Transition with Priorities are sorted individually for each
  Source state, i.e. the tool knows to sort the arrows
  explicitly existing each individual state according to their
  priorities.
  Statechart semantics defines that a state is existed also if
  a transition exiting one of it's ancestor states is taken,
  but note that the tool does not support prioritization
  between transitions exiting a state hierarchy, it only
  supports relative prioritization between transitions exiting
  a specific single state.
  

Temporary fix

Comments

APAR Information

• APAR is sysrouted FROM one or more of the following:

• APAR is sysrouted TO one or more of the following:

Fix information

• Fixed component name

  TLOGIC STATEMAT

• Fixed component ID

  5724V76SM

Applicable component levels

• R461 PSN

     UP