A formal approach to component based development of synchronous programs

Abstract | Synchronous languages may be used for speci cation and design of embedded systems. As-suming the availability of a library of synchronous pro-grams, we propose a technique to enable reuse of these programs, via an algorithm for automatic matching of a design function to a program from the library. The algorithm, when successful, generates an interface which automatically adapts the program. The algo-rithm is based on a new simulation relation called syn-chronous forced simulation, which is shown to be neces-sary and suÆcient for matching a given pair of func-tion and program. I