TAILIEUCHUNG - Validation of Communications Systems with SDL phần 9

bởi vì mô hình có quá nhiều trạng thái toàn cầu. Trong chế độ đầy đủ, khi bạn nhìn thấy là bộ nhớ RAM của máy tính của bạn là đầy đủ, bạn có thể ngăn chặn các mô phỏng, bởi vì nó trở nên rất chậm. Trong trạng thái-bit, bộ nhớ được phân bổ vào đầu (kích thước của mảng bit cộng với một vài MB thêm) và không còn tăng. | 232 Validation of Communications Systems with SDL A. In the Simulator press on the button Verify. B. In the Verifying window press on Limit a queue. C. In the Limit a queue window press on Instance. D. In the Instance window select process atob 1 and press OK. E. In the Limit a queue window press on Apply. F. Repeat the previous steps for instances btoa 1 dlca dispatch 1 and dlcb dispatch 1 . G. Check that the list filter command gives the results below list filter filter is_active dlcb dispatch 1 and length dlcb dispatch 1 queue 1 filter is_active dlca dispatch 1 and length dlca dispatch 1 queue 1 filter is_active btoa 1 and length btoa 1 queue 1 filter is_active atob 1 and length atob 1 queue 1 H. We need filters for process instances DLC 1 and DLC 2 in blocks DLCa and DLCb. Select Edit Filter Conditions and add the following filters is_active dlca dlc 1 and is_active dlcb dlc 1 and is_active dlca dlc 2 and is_active dlcb dlc 2 and length dlca dlc 1 queue 1 length dlcb dlc 1 queue 1 length dlca dlc 2 queue 1 length dlcb dlc 2 queue 1 We must also limit the number of instances that can be created because each new process instance gets its own new Pid therefore each new Pid generates a new global state. For example if you simulate 50 times the sequence establish a DLC release a DLC you get 50 different Pids for process DLC. Remember that the limit indicated in the SDL model such as DLC 0 2 only prevents having more than two instances of process DLC at the same time. I. In the Simulator select Edit Filter Conditions and add the following filters create dlca dlc 3 create dlcb dlc 3 It means that the sequence establish a DLC release a DLC can be simulated two times only because the transition leading to the creation of the third instance of process DLC is filtered. You can try the sequence in interactive mode and see that after the sequence mentioned it is not possible to establish a new DLC signal L_EstabReq . J. Finally to simulate first a configuration where .

TỪ KHÓA LIÊN QUAN
TAILIEUCHUNG - Chia sẻ tài liệu không giới hạn
Địa chỉ : 444 Hoang Hoa Tham, Hanoi, Viet Nam
Website : tailieuchung.com
Email : tailieuchung20@gmail.com
Tailieuchung.com là thư viện tài liệu trực tuyến, nơi chia sẽ trao đổi hàng triệu tài liệu như luận văn đồ án, sách, giáo trình, đề thi.
Chúng tôi không chịu trách nhiệm liên quan đến các vấn đề bản quyền nội dung tài liệu được thành viên tự nguyện đăng tải lên, nếu phát hiện thấy tài liệu xấu hoặc tài liệu có bản quyền xin hãy email cho chúng tôi.
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.