Đây là ứng dụng Linux có tên autoCode4 có bản phát hành mới nhất có thể được tải xuống dưới dạng autoCode4_v1.0.0.zip. 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 autoCode4 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ó.
MÀN HÌNH
Ad
autoCode4
MÔ TẢ
autoCode4 là một công cụ tổng hợp các bộ điều khiển từ các thông số kỹ thuật chính thức được mô tả trong một tập con của logic thời gian tuyến tính (LTL).Quan trọng là, nó tổng hợp các bộ điều khiển luồng dữ liệu đồng bộ (ở dạng Luster hoặc ở dạng Ptolemy II) và duy trì khả năng truy xuất nguồn gốc từ yêu cầu đến mã. Tính năng này được yêu cầu trong việc phát triển các hệ thống quan trọng về an toàn và được coi là cần thiết cho việc xác nhận thông số kỹ thuật hoặc tích hợp triển khai thủ công như mã kế thừa.
Đặc tả LTL nắm bắt hành vi mong muốn của bộ điều khiển trong đó môi trường thực hiện động thái đầu tiên (tức là cảm nhận / đầu vào sau đó phản ứng / đầu ra), vì vậy bộ điều khiển tổng hợp có thể được xem như một máy Mealy.
Hướng dẫn từng bước có sẵn trong gói phần mềm.
Tính năng
- Kiểm soát tổng hợp từ đặc điểm kỹ thuật chính thức
- Tạo báo cáo xác định nguồn gốc từ yêu cầu đến mô-đun
Khán giả
Hàng không vũ trụ, Công nghệ thông tin, Khoa học / Nghiên cứu, Sản xuất, Nhà phát triển
Giao diện người dùng
Bảng điều khiển / Thiết bị đầu cuối, Dòng lệnh
Ngôn ngữ lập trình
Java
Đây là một ứng dụng cũng có thể được tìm nạp từ https://sourceforge.net/projects/autocode4/. 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.