Tải xuống REDLIB cho Linux

Đây là ứng dụng Linux có tên REDLIB có bản phát hành mới nhất có thể được tải xuống dưới dạng redlib.a.130816.tar.gz. Nó có thể được chạy trực tuyến trong nhà cung cấp dịch vụ lưu trữ miễn phí OnWorks cho máy trạm.

Tải xuống và chạy trực tuyến ứng dụng có tên REDLIB này với OnWorks miễn phí.

Làm theo các hướng dẫn sau để chạy ứng dụng này:

- 1. Đã tải ứng dụng này xuống PC của bạn.

- 2. Nhập vào trình quản lý tệp của chúng tôi https://www.onworks.net/myfiles.php?username=XXXXX với tên người dùng mà bạn muốn.

- 3. Tải lên ứng dụng này trong trình quản lý tệp như vậy.

- 4. Khởi động trình giả lập trực tuyến OnWorks Linux hoặc trình giả lập trực tuyến Windows hoặc trình mô phỏng trực tuyến MACOS từ trang web này.

- 5. Từ Hệ điều hành OnWorks Linux mà bạn vừa khởi động, hãy truy cập trình quản lý tệp của chúng tôi https://www.onworks.net/myfiles.php?username=XXXXX với tên người dùng mà bạn muốn.

- 6. Tải xuống ứng dụng, cài đặt và chạy nó.

Tải về ứng dụng Chạy trong Ubuntu Chạy trong Fedora Chạy trong Windows Sim Chạy trong MACOS Sim

REDLIB

SỰ MIÊU TẢ:

* Thư viện kiểm tra mô hình / kiểm tra mô phỏng cho hệ thống thời gian thực với các mô hình thời gian dày đặc trong C với công nghệ CRD (Clock-Restrict Diagagram). * Thư viện phân tích tham số cho hệ thống lai tuyến tính trong C với công nghệ HRD (Sơ đồ hạn chế lai)

Tính năng

Kiểm tra chế độ tượng trưng và kiểm tra mô phỏng
Giao tiếp mô hình ô tô tự động theo thời gian (CTA) và mô hình ô tô tự động hỗn hợp tuyến tính (LHA)
Mở thư viện giao diện
Kiểm tra mô hình TCTL với các giả định công bằng
Mô phỏng công bằng CTA
Phân tích an toàn tham số LHA
GUI có sẵn để chỉnh sửa mô hình và mô phỏng tượng trưng với điều khiển API
Nhiều ứng dụng có sẵn, bao gồm ompca (trình phân tích OpenMP C), pathg (trình mô phỏng tượng trưng cho CTA), trình giải sudoku, phương thức tạo biểu đồ khả năng tiếp cận, v.v.

Khán giả

Công nghệ thông tin, Khoa học / Nghiên cứu, Giáo dục, Ngành Viễn thông

Ngôn ngữ lập trình

Danh Mục

Mô hình hóa, Tự động hóa thiết kế điện tử (EDA)

Đây là một ứng dụng cũng có thể được tìm nạp từ https://sourceforge.net/projects/redlib/. Nó đã được lưu trữ trên OnWorks để có thể chạy trực tuyến một cách dễ dàng nhất từ một trong những Hệ thống hoạt động miễn phí của chúng tôi.