کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
422526 685102 2008 15 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Executable Specifications for Real-Time Distributed Systems
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
Executable Specifications for Real-Time Distributed Systems
چکیده انگلیسی

One of the challenges in designing distributed, embedded systems is the paucity of formal, executable specification notations that provide support for both real-time and asynchronous communication. This paper describes a timed architecture design language (Timed Architecture Interaction Diagrams or TAID) that, by virtue of its formal, executable semantics, combines the benefits of synchronous specification notations with the advantages of traditional architecture description languages. In addition, TAID provides support for a variety of temporal inter-process communication (IPC) primitives as a native feature of the language, so that the encapsulated communication behavior (captured by real-time “buses” in TAID) may be re-used across designs and serve as specifications for more detailed model implementations.

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