关键词: 反应式系统, 同步语言, SIGNAL, 代码生成, 卫式操作

Abstract: Reactive systems are the control systems which continually communicate with the environment. These systems control the behavior of systems by receiving input events from the environment, computing the input events, and sending the result to the environment. Synchronous languages are the modeling languages to specify reactive systems. The advantages of synchronous languages are the formal verification and the automatic code generation. This paper focuses on the multi-clocked synchronous language SIGNAL, and proposes a translation from SIGNAL models to multi-threaded Java code. The translation is based on the following three intermediate structures: synchronous clocked guarded actions, guarded actions, and guarded action with clusters. The translation is decomposed into 4 steps, and the translation rules are presented for each step. At last, this paper presents a case study on the Airbus A340 alarm system to evaluate the correctness of the code generation. Multi-threaded Java code generation can support the application of SIGNAL on distributed and multi-core architectures.

Key words: reactive systems, synchronous languages, SIGNAL, code generation, guarded action