Requirements

MessagePassing.SystemMessagingProtocol

The system shall provide a mechanism for inter-process communication via a client-server messaging protocol.

MessagePassing.SafeState

The Safe State of the system shall be safe-silent