CAD environment for real-time control system
Bernard Le Goff, Albert Benveniste, Carlos Figueira, Paul Le Guernic · 1989
The CAD environment SIGNAL for real-time control and signal processing systems design is presented in this paper. The following characteristics of the language are emphasized: easy specification of the application, reliability of the program development, powerful methods for checking basic properties of the application, automatic implementation from specification, and efficiency of the compiled code. The SIGNAL compiler is based on the theory of Hybrid Dynamical Systems and handles dynamical systems over the finitie field of integers modulo 3 to perform the compilation of SIGNAL programs.