Các công cụ để mô phỏng giao thức

Question

Nhóm phát triển phần mềm của tôi gần đây đã tự thực hiện một số giao thức truyền thông khác nhau cho sản phẩm của chúng tôi để đạt được tích hợp với các sản phẩm bên ngoài khác nhau.

Mặc dù mỗi giao thức khác nhau, quá trình triển khai rất giống nhau. Dưới đây là một số thông thường mà tôi đã thấy:

1. Giao thức truyền thông cụ thể luôn được xác định trên một số giao thức chuẩn (UDP, TCP/IP, Serial, CAN) và bao gồm một tập hợp các thông điệp đi qua một bên khác. Cấu trúc của các thông điệp đề tài được xác định trước và được mô tả bởi giao thức.
2. Việc triển khai giao thức này trong sản phẩm của chúng tôi luôn bắt đầu bằng cách viết các tệp tiêu đề C++ dựa trên thông tin do giao thức cung cấp.
3. Để cho phép các chu trình tích hợp sớm và kiểm tra mã của chúng tôi một cách chính xác, chúng tôi luôn thấy mình đang phát triển các trình mô phỏng thực hiện/bên của giao thức.

Đây là câu hỏi: bạn có biết bất kỳ công cụ nào có thể giúp chúng tôi tự động hóa/đơn giản hóa các quy trình được mô tả ở trên không?

Lý tưởng nhất là tôi muốn có một khuôn khổ cho phép tôi làm như sau:

1. Xác định giao thức trong một số biên tập viên/ngôn ngữ chính thức
2. Xuất định nghĩa giao thức để Doc/PDF trong một con người Định dạng có thể đọc được
3. Xuất định nghĩa giao thức sang các tệp tiêu đề C++ (và có thể sang các ngôn ngữ khác)
4. Dựa trên định nghĩa giao thức tự động (hoặc bán tự động) tạo mô phỏng cả hai mặt trong giao tiếp

Tôi rất biết ơn về mọi trợ giúp và/hoặc đề xuất.

Answer 1

Kiểm tra Lưới màu Petri; dễ dàng mô hình hóa các giao thức phức tạp và có rất nhiều công cụ mô phỏng.