併發系統的有限狀態機

我設計了一種新的算法來使用流分析技術來檢測併發系統中的不可達性故障。我需要找到一些大型併發系統（可能有數百個狀態）的有限狀態機，例如網絡協議來做實驗。但是，我無法在網絡上找到它。任何人都可以給我一些線索嗎？併發系統的有限狀態機

我需要狀態機之間的轉換應該同步。

在此先感謝。

來源

2010-11-01 user486011

TCP狀態：

http://en.wikipedia.org/wiki/File:Tcp_state_diagram_fixed.svg

這不是很大，但好一個。

來源

2010-11-01 13:33:12 Andrey

任何非平凡的Erlang程序。 Erlang程序通常由數百個（潛在併發）進程交換消息組成。

來源

2010-11-01 13:46:31 liori

感謝您的回覆。我不熟悉Erlang。你能給我一些例子，以及如何將程序轉換爲FSM。 – user486011 2010-11-04 02:52:06

我想你可能會在Erlang中看到一個很好的例子：電影視頻：http://video.google.com/videoplay?docid=-5830318882717959520#和他們的歷史文章：http://www.labouseur.com /courses/erlang/history-of-erlang-armstrong.pdf。然而，這是一件困難的事情 - Erlang FSM通常非常複雜，需要對其進行理解。 – liori 2010-11-04 11:42:48

我聽說SIP狀態機與Reliable Provisional Responses和ICE一起使用變得非常大。但是從這些標準重構狀態圖將耗費大量時間（世界各地的SIP開發人員會對這樣的圖表感到滿意，如果它是正確和完整的）。

Q.931（ISDN UNI協議）有很好的SDL狀態圖。儘管只有25個州。

來源

2010-11-01 14:04:54 bew

感謝您的回答。我看了Q.931的SDL狀態圖，但我不知道SDL圖和FSM的關係。此外，還有相當多的圖表（在pdf中），我有點困惑，因爲沒有提供轉換名稱，它們是如何同步的。你能給我一些提示嗎？再次感謝。 – user486011 2010-11-04 02:48:00

Q.931中的圖A.1給出了符號的簡短概述。圖形頂部的圓角矩形表示某個事件發生之前的狀態，「標誌」符號表示事件（在ITU中稱爲「原始」），底部的圓角矩形表示某個事件發生後的狀態。 – bew 2010-11-04 08:24:39

併發系統的有限狀態機

回答

相關問題