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 条
  • [1] Non-monotonic Temporal Logics for Goal Specification
    Baral, Chitta
    Zhao, Jicheng
    20TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2007, : 236 - 242
  • [2] Temporal logics for real-time system specification
    Bellini, P
    Mattolini, R
    Nesi, P
    ACM COMPUTING SURVEYS, 2000, 32 (01) : 12 - 42
  • [3] Comments on Temporal Logics for Real-Time System Specification
    Furia, Carlo A.
    Pradella, Matteo
    Rossi, Matteo
    ACM COMPUTING SURVEYS, 2009, 41 (02)
  • [4] Using temporal logics of knowledge for specification and verification - A case study
    Department of Computer Science, University of Liverpool, Liverpool L69 7ZF, United Kingdom
    J. Appl. Logic, 2006, 1 (50-78):
  • [5] Generating Linear Temporal Logics Based on Property Specification Templates
    Luo, Weibin
    Washizaki, Hironori
    Fukazawa, Yoshiaki
    SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE, NETWORKING AND PARALLEL/DISTRIBUTED COMPUTING, 2020, 850 : 1 - 15
  • [6] Expressing and organizing real-time specification patterns via temporal logics
    Bellini, P.
    Nesi, P.
    Rogai, D.
    JOURNAL OF SYSTEMS AND SOFTWARE, 2009, 82 (02) : 183 - 196
  • [7] Mixing logics and rewards for the component-oriented specification of performance measures
    Aldini, Alessandro
    Bernardo, Marco
    THEORETICAL COMPUTER SCIENCE, 2007, 382 (01) : 3 - 23
  • [8] Quantales and temporal logics
    Moeller, Bernhard
    Hoefner, Peter
    Struth, Georg
    ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, PROCEEDINGS, 2006, 4019 : 263 - 277
  • [9] Timed Temporal Logics
    Bouyer, Patricia
    Laroussinie, Francois
    Markey, Nicolas
    Ouaknine, Joel
    Worrell, James
    MODELS, ALGORITHMS, LOGICS AND TOOLS: ESSAYS DEDICATED TO KIM GULDSTRAND LARSEN ON THE OCCASION OF HIS 60TH BIRTHDAY, 2017, 10460 : 211 - 230
  • [10] Temporal Logics of Agency
    van Benthem J.
    Pacuit E.
    Journal of Logic, Language and Information, 2010, 19 (4) : 389 - 393
12345