Skip to main content

University of Minnesota / Driven to DiscoverUniversity of Minnesota

Libraries

View Item 
Extending Lustre with Timeout Automata
Gao, Jimin; Whalen, Michael; Van Wyk, Eric (2007)
Thumbnail
View/Download file
Persistent link to this item
https://hdl.handle.net/11299/217316
Services
Title
Extending Lustre with Timeout Automata
Authors
Issue Date
2007
Type
Report
Abstract
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.
Appears in collections
University of Minnesota Software Engineering Center (UMSEC) Publications [167]
Previously Published Citation
SLAP 2007, Model-driven High-level Programming of Embedded Systems, (formerly Synchronous Languages, Applications, and Programming)
Description
Associated research group: Minnesota Extensible Language Tools
Suggested Citation
Gao, Jimin; Whalen, Michael; Van Wyk, Eric. (2007). Extending Lustre with Timeout Automata. Retrieved from the University of Minnesota Digital Conservancy, https://hdl.handle.net/11299/217316.
Content distributed via the University of Minnesota's Digital Conservancy may be subject to additional license and use restrictions applied by the depositor.