Executable Specifications for Real-Time Distributed Systems

被引：0

作者：

Ray, Arnab ^{[1
]}

Cleaveland, Rance ^{[2
]}

机构：

[1] Univ Maryland, Fraunhofer USA Ctr Expt Software Engn, 4321 Hartwick Rd Suite 500, College Pk, MD 20742 USA

[2] Univ Maryland, Dept Comp Sci, College Pk, MD 20742 USA

来源：

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 2008年 / 203卷 / 04期

关键词：

Software Architecture; Real-time; Simulations; Formal Methods; Distributed Systems;

D O I：

10.1016/j.entcs.2008.05.007

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

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.

引用

页码：3 / 17

页数：15