Лисп — семейство языков программирования, программы и данные в которых представляются системами линейных списков символов. Лисп был создан Джоном Маккарти для работ по искусственному интеллекту и до сих пор остаётся одним из основных инструментальных средств в данной области. Применяется он и как средство обычного промышленного программирования, от встроенных скриптов до веб-приложений массового использования, хотя популярным его назвать нельзя.
Haskell — стандартизированный чистый функциональный язык программирования общего назначения. Является одним из самых распространённых языков программирования с поддержкой отложенных вычислений. Система типов — полная, сильная, статическая, с автоматическим выводом типов, основанная на системе типов Хиндли — Милнера. Поскольку язык функциональный, то основная управляющая структура — это функция.
Erlang [] — функциональный язык программирования с сильной динамической типизацией, предназначенный для создания распределённых вычислительных систем. Разработан и поддерживается компанией Ericsson. Язык включает в себя средства порождения параллельных легковесных процессов и их взаимодействия через обмен асинхронными сообщениями в соответствии с моделью акторов.
Программи́руемый логи́ческий контро́ллер, программируемый контроллер — специальная разновидность электронной вычислительной машины. Чаще всего ПЛК используют для автоматизации технологических процессов. В качестве основного режима работы ПЛК выступает его длительное автономное использование, зачастую в неблагоприятных условиях окружающей среды, без серьёзного обслуживания и практически без вмешательства человека.
Verilog, Verilog HDL — это язык описания аппаратуры, используемый для описания и моделирования электронных систем. Verilog HDL, не следует путать с VHDL, наиболее часто используется в проектировании, верификации и реализации аналоговых, цифровых и смешанных электронных систем на различных уровнях абстракции.
Nemerle — гибридный язык высокого уровня со статической типизацией, сочетающий в себе возможности функционального и объектно-ориентированного программирования, для платформ .NET и Mono. Главная особенность языка — развитая система метапрограммирования.
Ladder diagram — язык релейной (лестничной) логики.
Sequential Function Chart-(последовательные функциональные схемы) — язык программирования стандарта IEC61131-3. Предназначен для программирования промышленных контроллеров. Широко используется в SCADA/HMI пакетах.
- SFC — графический язык, предназначенный для написания программ последовательного управления технологическим процессом, описывающий его в форме близкой к диаграмме состояний. Аналогом может служить сеть Петри с разноцветными фишками. В каждом состоянии система выполняет действия (подпрограммы) с определенными модификаторами. Например, модификатор N — исполнять, пока состояние активно.
Structured Text (ST) — язык программирования стандарта IEC61131-3. Предназначен для программирования промышленных контроллеров и операторских станций. Широко используется в SCADA/HMI/SoftLogic пакетах. По структуре и синтаксису ближе всего к языку программирования Паскаль. Удобен для написания больших программ и работы с аналоговыми сигналами и числами с плавающей точкой.
Common Lisp — диалект языка программирования Лисп, стандартизированный ANSI. Был разработан с целью объединения разрозненных на момент начала 1980-х годов диалектов Лиспа; доступно несколько реализаций Common Lisp, как коммерческих, так и свободно распространяемых.
IEC 61131-3 — раздел международного стандарта IEC 61131, описывающий языки программирования для программируемых логических контроллеров.
Simatic Step 7 — программное обеспечение фирмы Siemens для разработки систем автоматизации на основе программируемых логических контроллеров Simatic S7-300/S7-400/M7/C7 и WinAC. Программное обеспечение выпускается с интерфейсом на английском, немецком, французском, итальянском и испанском языках. Специальные версии обеспечивают работу на японском и китайском языках. Предшественником данного ПО является более ранняя версия Simatic Step 5, работающая в ОС DOS или в DOS окне ОС Windows. Различают следующие версии:
- Simatic Step 7
- Simatic Step 7 Professional
- Simatic Step 7 Lite
Числовое программное управление — область техники, связанная с применением цифровых вычислительных устройств для управления производственными процессами.
Визуальное программирование — способ создания программы для ЭВМ путём манипулирования графическими объектами вместо написания её текста. Визуальное программирование часто представляют как следующий этап развития текстовых языков программирования. Наглядным примером может служить утилита Визуальный Pascal или Microsoft Visual Studio, где редактируются графические объекты и одновременно отображается соответствующий текст программы. В последнее время визуальному программированию стали уделять больше внимания — в связи с развитием мобильных сенсорных устройств. Визуальное программирование в основном используется для создания программ с графическим интерфейсом для операционных систем с графическим интерфейсом пользователя. Среда визуального программирования позволяет написать Веб-приложение для браузеров. Среда визуального программирования позволяет создать консольное приложение для программирования микроконтроллеров, программируемых микросхем.
CODESYS — инструментальный программный комплекс промышленной автоматизации. Производится и распространяется компанией 3S-Smart Software Solutions GmbH. Версия 1.0 была выпущена в 1994 году. С ноября 2012 изменено написание на CODESYS.
ISaGRAF — инструментальная графическая среда разработки прикладных программ для программируемых логических контроллеров на языках стандарта IEC 61131-3 и IEC 61499, позволяющая создавать локальные или распределенные системы управления. Основа технологии — среда разработки приложений и адаптируемая под различные аппаратно-программные платформы исполнительная система. В настоящее время ISaGRAF производится и распространяется компанией Rockwell Automation.
TRACE MODE — инструментальный программный комплекс класса SCADA HMI, разработан компанией AdAstra Research Group, Москва в 1992 году. Предназначен для разработки программного обеспечения АСУТП, систем телемеханики, автоматизации зданий, систем учёта электроэнергии, воды, газа, тепла, а также для обеспечения их функционирования в реальном времени. Начиная с версии 4.20 (1995) TRACE MODE обладает функциями программирования промышленных контроллеров.
Программируемая защитная система управления PSS обычно представляет собой программируемый логический контроллер (ПЛК) с особыми конструктивными элементами для приема, обработки и отправки сигналов, назначение которых — гарантировать безопасность и пригодность к эксплуатации систем, имеющих отношение к безопасности. PSS — зарегистрированный товарный знак компании Pilz GmbH & Co KG. система управления PSS появились в 1990-е годы после одобрения профессиональным объединением страховщиков ответственности работодателей. Первая система управления, связанная с безопасностью, фактически появилась благодаря желанию гибко соединить функции с помощью программирования, подобно тому, как это делается на программируемом логическом контроллере (ПЛК).
СFD — графический язык программирования, концептуально близкий к языку функциональных блоковых диаграмм (FBD). Язык частично совместим со стандартом МЭК 61131-3. Предназначен для программирования программируемых логических контроллеров (ПЛК). Программа на языке CFD представлена в виде функциональной диаграммы. Функциональная диаграмма формируется из библиотечных блоковых элементов - функциональных блоков, а также вспомогательных элементов, соединенных между собой линиями (сетями). Сети могут быть именованы.