SIGNAL (programming language) とは

SIGNALは、同期データフロー(フロー+同期)に基づくプログラミング言語です。プロセスとは、データと制御の両方を記述する基本フロー上の方程式のセットです。
SIGNAL正式モデルは、複数のクロック(多色システム)を持つシステムを関係仕様として記述する機能を提供します。関係は、部分的な仕様として、また、非決定論的デバイス(例えば、非決定論的バス)または外部プロセス(例えば、危険な自動車ドライバー)の仕様として有用である。
SIGNALを使用すると、アプリケーションを指定したり、アーキテクチャーを設計したり、詳細なコンポーネントをRTOSやハードウェア記述に絞り込んだりすることができます。 SIGNALモデルは、抽象化から具体化まで、同期から非同期まで、仕様から実装に至る設計手法をサポートしています。
SIGNALは1980年代からINRIAEspressoチームで主に開発されましたが、同様のプログラミング言語であるEsterelとLustreも同時に開発されました。