СИГНАЛ (язык программирования)
-
Основы языка программирования SIGNAL
- SIGNAL основан на синхронизированных потоках данных и описывает системы с несколькими тактами.
- Формальная модель позволяет описывать полихронные системы в реляционных спецификациях.
- Отношения используются для частичных спецификаций и описания недетерминированных устройств.
-
Разработка и применение
- SIGNAL разрабатывался командой INRIAEspresso с 1980-х годов параллельно с Esterel и Lustre.
- Язык был создан для обработки сигналов, но расширен до обычных и распределенных систем.
- Стиль спецификации ориентирован на взаимосвязь и позволяет создавать системы с несколькими тактами.
-
Инструменты разработки
- Polychrony toolset — среда разработки с открытым исходным кодом для критически важных систем.
- SME (SIGNAL Meta under Eclipse) — интерфейс для полихронии в среде Eclipse, основанный на MDE.
-
Дополнительные ресурсы
- Ссылки на другие языки программирования, формальную проверку и проектирование систем.
Полный текст статьи: