Extending Lustre with Timeout Automata | Zendy

Jimin Gao | Zendy; Michael W. Whalen | Zendy; Eric Van Wyk | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Extending Lustre with Timeout Automata

Author(s) -

Jimin Gao,

Michael W. Whalen,

Eric Van Wyk

Publication year - 2008

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2008.05.014

Subject(s) - lustre (file system) , timeout , computer science , programming language , asynchronous communication , automaton , extension (predicate logic) , theoretical computer science , operating system , server , computer network

This paper describes an extension to Lustre to support the analysis of globally asynchronous, locally synchronous (GALS) architectures. This extension consists of constructs for directly specifying the timeout automata used to describe asynchronous communication between processes represented by Lustre nodes. It is implemented using an extensible language framework based on attribute grammars that allows such extensions to be modularly defined so that they may be more easily composed with other language extensions

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research