mw::com: add AoU DoNotTrustGetSubscriptionStateReturnValue#640
mw::com: add AoU DoNotTrustGetSubscriptionStateReturnValue#640KrishaDeshkool wants to merge 1 commit into
Conversation
c503f61 to
8026eda
Compare
9814c18 to
4af5c18
Compare
|
|
||
| /* broken_link_c/issue/79416086 */ | ||
| ScoreReq.AoU NoGuaranteeOnSubscriptionStateCorrectness { | ||
| description = "It shall be ensured that a wrong or outdated subscription state returned by GetSubscriptionState() will not harm a safety goal." |
There was a problem hiding this comment.
It shall be ensured that an application must not rely on a SubscriptionState of kSubscribed or kSubscriptionPending returned by GetSubscriptionState() or reported by the SubscriptionStateChangeHandler.
There was a problem hiding this comment.
For safety critical use cases, an application must treat a SubscriptionState of kSubscribed or kSubscriptionPending (returned by GetSubscriptionState() or reported by the SubscriptionStateChangeHandler) as the same.
Note. On a technical level, we cannot reliably differentiate between these 2 states.
There was a problem hiding this comment.
We can link the requirement "SubscriptionState" https://codebeamer.bmwgroup.net/cb/issue/14034769 (actually link to trlc or the requirement name). The requirement needs to be updated on master (i.e. in trlc) to contain the information about the "active subscription" (https://codebeamer.bmwgroup.net/cb/issue/20003388) i.e. when we can be in kSubscribed / kSubscriptionPending.
There was a problem hiding this comment.
Update in code docs for score/mw/com/impl/subscription_state.h (on master).
AOU ->
stable / codebeamer (wait until we have update about next steps from nautilus)
master / trlc
Requirements / in code docs:
master / trlc
4af5c18 to
59ae826
Compare
| * Subscribe() has not been called or the last Subscribe() has been withdrawn with call to Unsubscribe() | ||
| * Subscribe() has not been called or the last successful Subscribe() has been withdrawn with call to Unsubscribe() | ||
|
|
||
| * Last call to Subscribe() has been rejected/negatively acknowledged by the provider side or provider side explicitly cancels an already acknowldged subscription. |
There was a problem hiding this comment.
@crimson11 do you think this line makes sense?
2 participants
No description provided.