Lustre (язык программирования)
-
Определение и история Lustre
- Lustre — это декларативный синхронный язык программирования для реактивных систем.
- Начал разрабатываться в 1980-х как исследовательский проект.
- Первое официальное описание опубликовано в трудах IEEE в 1991 году.
- В 1993 году получил промышленное применение в SCADE от Esterel Technologies.
-
Применение Lustre
- Используется для создания критически важного ПО для управления самолетами, вертолетами и атомными электростанциями.
-
Структура программы Lustre
- Программа состоит из определений узлов с входными и выходными сигналами.
- Узел foo возвращает отрицание своего входного сигнала a.
-
Дополнительные переменные и операторы
- В программе могут быть объявлены дополнительные внутренние переменные.
- Порядок формул в программе не влияет на результат.
-
Примеры и специальные операторы
- Приведены примеры использования специальных операторов.
-
Связанные проекты и ресурсы
- Упоминается язык СИГНАЛ, ориентированный на поток данных.
- Ссылки на архив Synchrone Lab и страницу продукта SCADE.