Temporal logics for the specification of performance and reliability

被引：0
|
作者：
de Alfaro, L [1 ]
机构：
[1] Stanford Univ, Dept Comp Sci, Stanford, CA 94305 USA
来源：
STACS 97 - 14TH ANNUAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE | 1997年 / 1200卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
In this paper we present a methodology for the verification of performance and reliability properties of discrete real-time systems. The methodology relies on a temporal logic that can express bounds on the probability of events and on the average time between them. The semantics of the logics is defined with respect to timed systems that exhibit both probabilistic and nondeterministic behavior. We present model-checking algorithms for the algorithmic verification of the specifications, and we discuss their complexity.
引用
收藏
页码：165 / 176
页数：12
相关论文
共 50 条
  • [11] Annotated temporal logics Δ*τ
    Abe, JM
    Akama, S
    ADVANCES IN ARTIFICIAL INTELLIGENCE, 2000, 1952 : 217 - 226
  • [12] TEMPORAL LOGICS FOR CCS
    STIRLING, C
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 354 : 660 - 672
  • [13] TEMPORAL LOGICS FOR GAMES
    Aceto, Luca
    Laroussinie, Francois
    BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, 2010, (100): : 79 - 98
  • [14] Integrating temporal logics
    Chen, YF
    Liu, ZM
    INTEGRATED FORMAL METHODS, PROCEEDINGS, 2004, 2999 : 402 - 420
  • [15] A method for systems analysis and specification with performance, cost and reliability requirements
    Amoroso, Anderson Levati
    de Souza, Petronio Noronha
    de Oliveira e Souza, Marcelo Lopes
    COMPLEX SYSTEMS CONCURRENT ENGINEERING: COLLABORATION, TECHNOLOGY INNOVATION AND SUSTAINABILITY, 2007, : 11 - +
  • [16] Application of modal logics to the specification and verification of programs
    Popov V.B.
    Anafiev A.S.
    Journal of Mathematical Sciences, 2001, 107 (6) : 4471 - 4476
  • [17] TEMPORAL RELIABILITY OF APHASIC PERFORMANCE ON THE TOKEN TEST
    GALLAHER, AJ
    BRAIN AND LANGUAGE, 1979, 7 (01) : 34 - 41
  • [18] Component reliability specification
    Murthy, D. N. P.
    Osteras, T.
    Rausand, M.
    RELIABILITY ENGINEERING & SYSTEM SAFETY, 2009, 94 (10) : 1609 - 1617
  • [19] RELIABILITY IN DESIGN SPECIFICATION
    SIEMASZKO, ZS
    ELECTRONIC ENGINEERING, 1970, 42 (512): : 41 - +
  • [20] Robust probabilistic temporal logics
    Zimmermann, Martin
    INFORMATION PROCESSING LETTERS, 2024, 188
12345