View Issue Details

IDProjectCategoryView StatusLast Update
000741410000-015: SafetySpecpublic2022-03-30 07:33
ReporterChristian Eitner Assigned ToChristian Eitner  
PriorityhighSeveritymajorReproducibilityalways
Status closedResolutionopen 
Product Version1.05.00 
Target Version1.05.02 RC1 
Summary0007414: SafetyProvider State Machine: Transition check for changed RequestSPDU leads to deadlock on repeated same request
Description
  • guard condition in transition T2 tests for a new RequestSPDU to have been received
  • in Client/Server communication, if incidentally the same RequestSPDU is sent, the transition never completes and hence never finalizes the method call, leading to a deadlock
  • the transition guard is specific to PubSub communication with possible repeated same RequestSPDUs
  • it should be shifted to the underlying PubSub OPC UA communication mapper layer, and not be prescribed generally in the state machine
Steps To Reproduce
  • using Client/Server communication, send the same RequestSPDU twice
  • on second sending, the SafetyProvider will remain within the method call, never finishing the state transition T2
Additional Information

fixed with draft version 2022-02-22 OPC 10000-15 - UA Specification Part 15 - Safety 1.05.01.docx

TagsNo tags attached.
Commit Version

Activities

There are no notes attached to this issue.

Issue History

Date Modified Username Field Change
2021-11-16 12:55 Christian Eitner New Issue
2021-12-22 08:12 Christian Eitner Assigned To => Christian Eitner
2021-12-22 08:12 Christian Eitner Status new => assigned
2021-12-22 08:15 Christian Eitner Priority normal => high
2022-02-23 08:37 Christian Eitner Status assigned => resolved
2022-02-23 08:37 Christian Eitner Additional Information Updated
2022-02-24 16:48 Christian Eitner Status resolved => closed
2022-03-11 14:19 Christian Eitner Target Version 1.05.01 => ?.??
2022-03-30 07:33 Christian Eitner Target Version ?.?? => 1.05.02 RC1