Extending Lustre with Timeout Automata

Authors:
Jimin Gao;Mike Whalen;Eric Van Wyk
Affiliations:
Department of Computer Science and Engineering, University of Minnesota, Minneapolis, MN, USA;Advanced Technology Center, Rockwell Collins, Inc., Cedar Rapids, IA, USA;Department of Computer Science and Engineering, University of Minnesota, Minneapolis, MN, USA
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2008

Citing 16
Cited 0

Higher order attribute grammars

PLDI '89 Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation
POLLUX: a LUSTRE based hardware design environment

Proceedings of the international workshop on Algorithms and parallel VLSI architectures II
Building domain-specific embedded languages

ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
Specification-based prototyping for embedded systems

ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Hygienic macro expansion

LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
Mode-Automata: About Modes and States for Reactive Systems

ESOP '98 Proceedings of the 7th European Symposium on Programming: Programming Languages and Systems
Forwarding in Attribute Grammars for Modular Language Design

CC '02 Proceedings of the 11th International Conference on Compiler Construction
From simulink to SCADE/lustre to TTA: a layered approach for distributed embedded applications

Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems
JTS: Tools for Implementing Domain-Specific Languages

ICSR '98 Proceedings of the 5th International Conference on Software Reuse
ReactiveML: a reactive extension to ML

PPDP '05 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming
A conservative extension of synchronous data-flow with state machines

Proceedings of the 5th ACM international conference on Embedded software
Simulation and Verification of Asynchronous Systems by means of a Synchronous Model

ACSD '06 Proceedings of the Sixth International Conference on Application of Concurrency to System Design
Flexible and extensible notations for modeling languages

FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
Polyglot: an extensible compiler framework for Java

CC'03 Proceedings of the 12th international conference on Compiler construction
Easy parameterized verification of biphase mark and 8n1 protocols

TACAS'06 Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Attribute grammar-based language extensions for java

ECOOP'07 Proceedings of the 21st European conference on Object-Oriented Programming

Quantified Score

Hi-index	0.00

Visualization

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.