P
V
Last name: PAPAILIOPOULOU
First name: Virginia
International audience
Lustre is a formal synchronous declarative language widely used for modeling and specifying safety-critical applications in the fi elds of avionics, transportation, and energy production. In such applications, the testing activity to ensure correctness of the system plays a crucial role in the development process. To enable adequacy measurement...
We present a new technique for the concurrent asynchronous/GALS implementation of polychronous specifications. We start from programs written in multi-clock languages such as Signal/Polychrony or Esterel. We provide compact data structures and corresponding algorithms for program analysis, following the theory of weakly endochronous systems....