A graphic language based on timing diagrams

Christian Antoine, Bernard Le Goff et Jean-Éric Pin



Résumé : On présente un nouveau langage graphique qui peut servir par exemple de modèle pour les VLSI et les systèmes de contrôle. Ses primitives utilisent des diagrammes de temps standards, ce qui est un grand avantage sur d'autres approches puisque les concepteurs peuvent les maîtriser rapidement. Leur sémantique est définie de façon rigoureuse en utilisant le formalisme de la théorie des automates sur les mots infinis. En utilisant ce formalisme, on peut donner une borne supérieure assez précise du pouvoir d'expression de notre langage graphique en terme d'une mesure issue de la théorie des langages, le niveau de concaténation. Un exemple est présenté en détail.

Abstract : We present a new graphic language which can serve, for instance, as models for VLSI and control systems. Its primitives are based on standard timing diagrams, and this is a great advantage over other formalisms since designers can rapidly master it. The semantics is rigorously defined in the formalism of the theory of automata on infinite words. Using this formalism, we are able to give a rather precise upper-bound on the expressive power of our graphic language in terms of a language theoretic measure, the concatenation level. A detailed example is presented.

PDF file


Valid HTML 4.01!