Control Measures#

Coverage: 50.0% (2 of 4 items OK)

[MISSING] TRLC Controlmeasure MessagePassing.BE_MessageTooBig

The component shall enforce the configured max_send_size, max_reply_size, and max_notify_size limits on every client send path and every server Reply and Notify path.

Traces to:

  • missing reference to Root Causes

Source: score/message_passing/dependability/safety_analysis/control_measures.trlc:43:25

[MISSING] TRLC Controlmeasure MessagePassing.BE_SendQueueExhausted

The component shall use a pre-allocated, bounded pool for asynchronous client send messages and return an error when the pool is exhausted without blocking or silently dropping the message.

Traces to:

  • missing reference to Root Causes

Source: score/message_passing/dependability/safety_analysis/control_measures.trlc:52:25

[OK] TRLC Controlmeasure MessagePassing.OsIpcFaultHandling

The component shall detect OS IPC transport failures by checking the return value of every OS call.

Traces to:

Source: score/message_passing/dependability/safety_analysis/control_measures.trlc:25:25

[OK] TRLC Controlmeasure MessagePassing.SendBufferArgumentValidation

The component shall validate all arguments of Send, SendWaitReply, and SendWithCallback before any IPC operation is initiated.

Traces to:

Source: score/message_passing/dependability/safety_analysis/control_measures.trlc:34:25