CAD environment for real-time control system

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.