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
相关论文
共 50 条
  • [1] TRIO - A LOGIC LANGUAGE FOR EXECUTABLE SPECIFICATIONS OF REAL-TIME SYSTEMS
    GHEZZI, C
    MANDRIOLI, D
    MORZENTI, A
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 1990, 12 (02) : 107 - 123
  • [2] On the Conception of Executable Design Languages for Distributed Real-time Systems
    Gotzhein, Reinhard
    [J]. 24TH ACM/IEEE INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING LANGUAGES AND SYSTEMS COMPANION (MODELS-C 2021), 2021, : 733 - 741
  • [3] Executable Specifications for embedded distributed systems
    Sveda, M
    Vrba, R
    [J]. COMPUTER, 2001, 34 (01) : 138 - 140
  • [4] RTSYNCHRONIZER - LANGUAGE SUPPORT FOR REAL-TIME SPECIFICATIONS IN DISTRIBUTED SYSTEMS
    REN, SP
    AGHA, GA
    [J]. SIGPLAN NOTICES, 1995, 30 (11): : 50 - 59
  • [5] Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems
    Mueller, Wolfgang
    Bol, Alexander
    Krupp, Alexander
    Lundkvist, Ola
    [J]. DISTRIBUTED, PARALLEL AND BIOLOGICALLY INSPIRED SYSTEMS, 2010, 329 : 78 - +
  • [6] EXECUTABLE SPECIFICATIONS FOR DISTRIBUTED INFORMATION-SYSTEMS
    VANHEE, KM
    SOMERS, LJ
    VOORHOEVE, M
    [J]. INFORMATION SYSTEM CONCEPTS : AN IN-DEPTH ANALYSIS, 1989, : 139 - 156
  • [7] Supporting the analyst when reasoning on requirements specifications for real-time and distributed systems
    Zeippen, JM
    Dubois, E
    Du Bois, P
    [J]. FIRST INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING (ISORC '98), 1998, : 215 - 219
  • [8] Executable formal specifications of complex distributed systems with CoreASM
    Farahbod, Roozbeh
    Gervasi, Vincenzo
    Glaesser, Uwe
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2014, 79 : 23 - 38
  • [9] REAL-TIME DISTRIBUTED SYSTEMS
    BARBACCI, MR
    [J]. COMPUTER HARDWARE DESCRIPTION LANGUAGES AND THEIR APPLICATIONS, 1993, 32 : 3 - 12
  • [10] TIMED SPECIFICATIONS FOR THE DEVELOPMENT OF REAL-TIME SYSTEMS
    JARAY, J
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1988, 331 : 67 - 83
12345