Це програма для Linux під назвою G4LTL-ST, останню версію якої можна завантажити як G4LTL-ST_gplv3_v1.07.zip. Його можна запустити онлайн у безкоштовного хостинг-провайдера OnWorks для робочих станцій.
Завантажте та запустіть цю програму під назвою G4LTL-ST з OnWorks безкоштовно.
Дотримуйтесь цих інструкцій, щоб запустити цю програму:
- 1. Завантажив цю програму на свій ПК.
- 2. Введіть у наш файловий менеджер https://www.onworks.net/myfiles.php?username=XXXXX із потрібним ім'ям користувача.
- 3. Завантажте цю програму в такий файловий менеджер.
- 4. Запустіть онлайн-емулятор OnWorks Linux або Windows або онлайн-емулятор MACOS з цього веб-сайту.
- 5. З ОС OnWorks Linux, яку ви щойно запустили, перейдіть до нашого файлового менеджера https://www.onworks.net/myfiles.php?username=XXXXX з потрібним іменем користувача.
- 6. Завантажте програму, встановіть її та запустіть.
ЕКРАНИ
Ad
G4LTL-ST
ОПИС
G4LTL-ST — це окремий інструмент і бібліотека Java для автоматичної генерації промислового програмного забезпечення керування (підтримкою IEC-61131-3 Structure Text) із специфікацій LTL або розширеної логіки.
Перегляньте Tutorial.txt у пакеті, щоб отримати покрокові інструкції. Технічну інформацію див. у документі CAV'14 "G4LTL-ST: автоматична генерація програм PLC". Стара версія (G4LTL; під ліцензією BSD) доступна у файлі\arxiv.
Функції
- Автоматичне генерування програм PLC (IEC 61131-3 Structure Text) з LTL або розширених логічних специфікацій
- Специфікація підтримки для таймерів, прості числові обмеження
- Для проблемних специфікацій запропонуйте нові моделі середовища як виправлення специфікації
- Підтримка виведення в імітаційні та верифікаційні моделі.
- Підтримка сумісності з різними постачальниками (наприклад, 3S CODESYS, ABB, WAGO).
- Приклади з синтезованим кодом, розміщеним у проектах CODESYS
Аудиторія
Наука/Дослідження, Виробництво, Розробники, Інженерія
Мова програмування
Java
Категорії
Це програма, яку також можна завантажити з https://sourceforge.net/projects/g4ltl/. Його розміщено в OnWorks, щоб його можна було найпростіше запускати онлайн з однієї з наших безкоштовних операційних систем.
