A VERIFICATION METHODOLOGY FOR REAL-TIME SUPERVISORY CONTROL SPECIFICATION

被引：3
|
作者：
SHANMUGHAM, SG
ROBERTS, CA
机构：
[1] Department of Industrial, Management Systems Engineering Arizona State University Tempe
来源：
COMPUTERS & INDUSTRIAL ENGINEERING | 1995年 / 29卷
关键词：
D O I：
10.1016/0360-8352(95)00159-X
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
[No abstract available]
引用
收藏
页码：705 / 709
页数：5
相关论文
共 50 条
  • [1] SPECIFICATION AND COMPOSITIONAL VERIFICATION OF REAL-TIME SYSTEMS
    HOOMAN, J
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 558 : R3 - 235
  • [2] A new approach to the specification and verification of real-time systems
    Logothetis, G
    Schneider, K
    [J]. 13TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, PROCEEDINGS, 2001, : 171 - 180
  • [3] Real-time hardware specification and verification by using MVC
    Li, XS
    Wang, JA
    [J]. NEW TECHNOLOGIES ON COMPUTER SOFTWARE, 1997, : 18 - 23
  • [4] Specification and automated verification of atomic concurrent real-time transactions
    Cai, Simin
    Gallina, Barbara
    Nystrom, Dag
    Seceleanu, Cristina
    [J]. SOFTWARE AND SYSTEMS MODELING, 2021, 20 (02): : 557 - 589
  • [5] SPECIFICATION AND VERIFICATION OF REAL-TIME BEHAVIOR USING Z AND RTL
    FIDGE, CJ
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 571 : 393 - 409
  • [6] Specification and Formal Verification of Atomic Concurrent Real-Time Transactions
    Cai, Simin
    Gallina, Barbara
    Nystrom, Dag
    Seceleanu, Cristina
    [J]. 2018 IEEE 23RD PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC), 2018, : 104 - 114
  • [7] A Framework for Specification and Verification of Timeout Models of Real-Time Systems
    Misra, Janardan
    [J]. CONTEMPORARY COMPUTING, 2011, 168 : 146 - 157
  • [8] PARAGON: A paradigm for the specification, verification and testing of real-time systems
    BenAbdallah, H
    Clarke, D
    Lee, I
    Sokolsky, O
    [J]. 1997 IEEE AEROSPACE CONFERENCE PROCEEDINGS, VOL 2, 1997, : 469 - 488
  • [9] Incremental verification of architecture specification language for real-time systems
    Tsai, JJP
    Sistla, AP
    Sahay, A
    Paul, R
    [J]. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1998, 8 (03) : 347 - 360
  • [10] Specification and automated verification of atomic concurrent real-time transactions
    Simin Cai
    Barbara Gallina
    Dag Nyström
    Cristina Seceleanu
    [J]. Software and Systems Modeling, 2021, 20 : 557 - 589
12345