fsm - 并发系统的有限状态机

Question

我设计了一种新算法来使用流分析技术来检测并发系统中的不可达性故障。我需要找一些大型并发系统（可能有数百个状态）的有限状态机，比如网络协议来做实验。但是，我在网上找不到它。谁能给我一些线索？

我需要状态机，它们之间的转换应该是同步的。

提前致谢。

Answer 1

任何重要的 Erlang 程序。Erlang 程序通常由数百个（可能并发的）进程交换消息组成。

Answer 2

TCP 状态：

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

这不是很大，但很好。

Answer 3

我听说SIP状态机与可靠临时响应一起使用时，ICE变得非常大。但是从这些标准重建状态图将是耗时的（如果它是正确且完整的，全世界的 SIP 开发人员都会很感激拥有这样的图）。

Q.931（ISDN UNI 协议）有很好的 SDL 状态图。不过只有25个州。