DREAM Tool

Công cụ DREAM là một khuôn khổ chung đó nhằm cung cấp một miền ngữ nghĩa thông thường mà có thể thể hiện nhiều (thời gian thực, tiêu thụ điện năng, nguồn lực) hạn chế.
Tên miền ngữ nghĩa có một C ++ mô hình thực thi đã được ngữ nghĩa neo vào automata thức lai. Mặc dù mô hình tính toán tương ứng với automata lai, vì thế đến nay chúng tôi đã thành công trong việc phân tích các mô hình bằng cách xấp xỉ bảo thủ bằng cách sử dụng máy tự động hẹn giờ trên hệ thống kích thước vừa phải.
Để đối phó với các ví dụ quy mô lớn những người sử dụng có khả năng sử dụng các giao diện mô phỏng / thử nghiệm trên C ++ mô hình thực thi trước khi triển khai hệ thống. Chúng tôi có kế hoạch mở rộng các thuật toán di truyền để giải quyết một số lượng lớn của các vấn đề.
DREAM là một mô phỏng và kiểm tra khuôn khổ mà cung cấp một mô hình chính thức và phân tích hệ thống của bạn trong vòng chưa đầy một ngày. Hệ thống trong DREAM được độ xác định bằng cách sử dụng XML trong một cách đơn giản. Tôi hy vọng bạn tìm thấy nó hữu ích.
Real-thời gian trung cung cấp các nền tảng đáng tin cậy và hiệu quả hỗ trợ nhu cầu chức năng và chất lượng dịch vụ (QoS) chính của phân phối thời gian thực nhúng (DRE) hệ thống.
Những thách thức quan trọng trong phát triển hệ thống DRE bao gồm cơ cấu an toàn của các thành phần hệ thống và lập bản đồ các thông số kỹ thuật chức năng lên các nền tảng mục tiêu. Các công nghệ dựa trên mô hình giúp giải quyết những vấn đề này bằng cách cho phép phân tích thời gian thiết kế và cung cấp phương tiện cho việc đánh giá nhanh chóng của các phương án thiết kế đối với end-to-end QoS tài sản, khả năng dự báo và các biện pháp thực hiện trước khi cam kết đến một nền tảng cụ thể với.
Các phân phối thời gian thực nhúng Analysis Method DREAM là một công cụ mã nguồn mở và phương pháp để tối ưu hóa nhiều chất lượng dịch vụ (QoS) tính chất của phân phối thời gian thực nhúng (DRE) hệ thống. Dự án tập trung vào các ứng dụng thực tế của các phương pháp phân tích chính thức với thời gian thực middleware để tự động xác minh, phát triển, cấu hình, và tích hợp các hệ thống DRE middleware dựa trên.
Có gì mới trong phiên bản này:
· Phiên bản này thực hiện một số tối ưu để cải thiện hiệu suất mô hình kiểm tra, dẫn đến hiệu quả ấn tượng của ít nhất 2-3 lần.
· Không có rò rỉ bộ nhớ được biết đến hiện nay trong phiên bản hiện tại.
· Cây AVL Balanced nay được sử dụng, dẫn đến sự tăng tốc theo cấp số nhân trong một vài bước của phương pháp mô hình kiểm tra.
· Xác nhận Schema XML đã được thực hiện.
· Báo cáo thời gian xác minh đã được nâng cấp để bao gồm dữ liệu về tốc độ mô phỏng.
· Random thử nghiệm mô phỏng dựa trên hiện nay cung cấp một dấu vết thực hiện khi thời hạn một là bỏ qua.