| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 421856 | Electronic Notes in Theoretical Computer Science | 2010 | 15 Pages |
Abstract
GATeL proposes a testing environment for Lustre/Scade programs. Its main component is a resolution procedure based on a CLP interpretation of its input language. This paper presents a two-tier extension of GATeL in order to take into account state-machines descriptions. This extension relies on a compilation of these constructs into multi-clocked expressions. Our first contribution is a definition of explicit constraints to manage the clock type hierarchy in GATeL. The second one is the definition of constraints reflecting properties of state-machines built by the Scade compilation schema.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
