This paper serves as an introduction to the semantics of the Lustre language. Lustre is a language which is useful for reasoning about systems, and, in particular, about proving some types of properties of the system; though these are not discussed in the paper. This work is of interest to us because it can potentially be the basis for semantics for Uccello… (More)
—This paper addresses the problem of automatically distributing reactive systems. We first show that the use of synchronous languages allows a natural parallel description of such systems, regardless of any distribution problems. Then, a desired distribution can be easily specified, and achieved with the algorithm presented here. This distribution technique… (More)
Developing a safety critical real-time application raises high challenge: " failure is not an option ". The code has to be readable, reliable and efficient. For doing so, VERILOG has developed an environment based on formal approach. This is the only way to be in a position to prove that the code is doing what it is supposed to do, always.