کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
422533 685102 2008 14 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Extending Lustre with Timeout Automata
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
Extending Lustre with Timeout Automata
چکیده انگلیسی

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.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 203, Issue 4, 5 June 2008, Pages 111-124