A HIGHER LEVEL OF BEHAVIORAL SPECIFICATION - AN EXAMPLE IN INTERVAL TEMPORAL LOGIC

被引：1
|
作者：
DOWSING, RD [1 ]
ELLIOTT, R [1 ]
机构：
[1] UNIV E ANGLIA,SCH INFORMAT SYST,NORWICH NR4 7TJ,NORFOLK,ENGLAND
来源：
MICROPROCESSING AND MICROPROGRAMMING | 1991年 / 32卷 / 1-5期
关键词：
D O I：
10.1016/0165-6074(91)90395-A
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper reports on the use of Moszkowski's Tempura - an executable version of Interval Temporal Logic - in developing behavioral specifications for digital circuits. A Tempura model for a commercial avionics circuit is described, showing how Tempura facilitates a well-structured executable specification, incorporating timing characteristics, but expressed at a high level of abstraction. A second version shows the use of temporal projection to develop a model at a finer temporal granularity.
引用
收藏
页码：517 / 524
页数：8
相关论文
共 50 条
  • [31] Model checking interval temporal logic
    Zhang, Hai-Bin
    Duan, Zhen-Hua
    Xi'an Dianzi Keji Daxue Xuebao/Journal of Xidian University, 2009, 36 (02): : 338 - 342
  • [32] Sharpening the undecidability of interval temporal logic
    Lodaya, K
    ADVANCES IN COMPUTING SCIENCE-ASIAN 2000, PROCEEDINGS, 2000, 1961 : 290 - 298
  • [33] Logic of involved variables - System specification with Temporal Logic of Distributed Actions
    Alexander, A
    Reisig, W
    THIRD INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, 2003, : 167 - 176
  • [34] The ForSpec Temporal Logic: A new temporal property-specification language
    Armoni, R
    Fix, L
    Flaisher, A
    Gerth, R
    Ginsburg, B
    Kanza, T
    Landver, A
    Mador-Haim, S
    Singerman, E
    Tiemeyer, A
    Vardi, MY
    Zbar, Y
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANAYLSIS OF SYSTEMS, PROCEEDINGS, 2002, 2280 : 296 - 311
  • [35] ISL - AN INTERVAL LOGIC FOR THE SPECIFICATION OF REAL-TIME PROGRAMS
    GOSWAMI, A
    BELL, M
    JOSEPH, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 571 : 1 - 20
  • [36] Comments on "An interval logic for real-time system specification"
    Furia, CA
    Morzenti, A
    Pradella, M
    Rossi, MG
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2006, 32 (06) : 424 - 427
  • [37] TOWARDS THE HIERARCHICAL, TEMPORAL LOGIC, SPECIFICATION OF CONCURRENT SYSTEMS
    BARRINGER, H
    KUIPER, R
    LECTURE NOTES IN COMPUTER SCIENCE, 1985, 207 : 157 - 183
  • [38] Linear Temporal Logic Specification of Bounded Counter Machines
    E. V. Kuzmin
    Automatic Control and Computer Sciences, 2023, 57 : 683 - 695
  • [39] Specification-based testing with linear temporal logic
    Tan, L
    Sokolsky, O
    Lee, I
    PROCEEDINGS OF THE 2004 IEEE INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION (IRI-2004), 2004, : 493 - 498
  • [40] THE APPLICATION OF TEMPORAL LOGIC FOR THE SPECIFICATION AND VERIFICATION OF REACTIVE SYSTEMS
    PNUELI, A
    JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (01) : 301 - 302
12345