From 5d8bff6ba05a45627b2af43447b5832165fc0eac Mon Sep 17 00:00:00 2001
From: Neels Hofmeyr <nhofmeyr@sysmocom.de>
Date: Wed, 12 Jan 2022 02:35:01 +0100
Subject: add initial FSM design charts

Related: SYS#5599
Change-Id: I55474daa6bb204a0fe7da0a3bf888bb7d1c46677
---
 doc/charts/pfcp_heartbeat_fsm.dot | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)
 create mode 100644 doc/charts/pfcp_heartbeat_fsm.dot

(limited to 'doc/charts/pfcp_heartbeat_fsm.dot')

diff --git a/doc/charts/pfcp_heartbeat_fsm.dot b/doc/charts/pfcp_heartbeat_fsm.dot
new file mode 100644
index 0000000..b5b4584
--- /dev/null
+++ b/doc/charts/pfcp_heartbeat_fsm.dot
@@ -0,0 +1,21 @@
+digraph G {
+rankdir=TB
+labelloc=t; label="PFCP heartbeat FSM"
+
+peer [label="PFCP CP/UP peer FSM",shape=box3d]
+txrx [label="PFCP socket",shape=box]
+
+peer -> IDLE [label="alloc()"]
+IDLE -> WAIT_HEARTBEAT_RESP -> IDLE
+WAIT_HEARTBEAT_RESP -> term
+term [shape="octagon"]
+
+WAIT_HEARTBEAT_RESP -> txrx [label="tx_heartbeat_req()",style=dotted]
+txrx -> WAIT_HEARTBEAT_RESP [label="HEARTBEAT_EV_RX_RESP",style=dotted]
+
+term -> peer [label="PEER_EV_HEARTBEAT_FAILURE",style=dotted]
+
+txrx2 [label="PFCP socket",shape=box]
+txrx2 -> txrx2 [label="rx Heartbeat Req\ntx Heartbeat Resp",style=dotted]
+
+}
-- 
cgit v1.2.3