A discrete time model for performance evaluation and correctness verification of real time systems

被引:2
|
作者
Bucci, G [1 ]
Sassoli, L [1 ]
Vicario, E [1 ]
机构
[1] Univ Florence, Dipartimento Sistemi & Informat, Florence, Italy
来源
10TH INTERNATIONAL WORKSHOP ON PETRI NETS AND PERFORMANCE MODELS, PROCEEDINGS | 2003年
关键词
D O I
10.1109/PNPM.2003.1231550
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
In the development of reactive systems, correctness and performance requirements are often intertwined. An integral approach to both the aspects of the problem requires models and analysis techniques which jointly capture probabilistic and minimum/maximum characterization of time delays. A discrete time extension of Time Petri Nets is introduced, which extends minimum/maximum timing constraints with a discrete probability density As a characterizing trait, the model is interpreted according to a semantics of true concurrency, representing dynamic behavior in terms of the probability, that a set of transitions fires at the current tick of the clock. Behavioral and probabilistic rules in the semantics of the model are soundly captured into an enumerative technique which represents the state space of the model as a transition system labeled with delays and probabilities. This enables both Markovian analysis techniques and inspection algorithms supporting verification of sequencing and minimum/maximum durational properties.
引用
收藏
页码:134 / 143
页数:10
相关论文
共 50 条
  • [21] TEMPORAL VERIFICATION OF REAL-TIME SYSTEMS
    CAMPOS, SV
    CLARKE, EM
    MARRERO, W
    MINEA, M
    HIRAISHI, H
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 1995, E78D (07) : 796 - 801
  • [22] Verification of real-time systems design
    Emilia Cambronero, M.
    Valero, Valentin
    Diaz, Gregorio
    SOFTWARE TESTING VERIFICATION & RELIABILITY, 2010, 20 (01): : 3 - 37
  • [23] Performance Evaluation of Distributed Systems Based on a Discrete Real- and Stochastic-Time Process Algebra
    Markovski, Jasen
    de Vink, Erik P.
    FUNDAMENTA INFORMATICAE, 2009, 95 (01) : 157 - 186
  • [24] AN APPROXIMATE MODEL FOR PERFORMANCE EVALUATION OF REAL-TIME MULTIMEDIA COMMUNICATION-SYSTEMS
    WANG, SS
    SILVESTER, JA
    PERFORMANCE EVALUATION, 1995, 22 (03) : 239 - 256
  • [25] A logic for knowledge, correctness, and real time
    Wozna, B
    Lomuscio, A
    COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, 2004, 3487 : 1 - 15
  • [26] Time properties Verification of UML/MARTE Real-Time Systems
    Louati, Aymen
    Barkaoui, Ka-Mel
    Jerad, Chadlia
    2014 IEEE 15TH INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION (IRI), 2014, : 386 - 393
  • [27] Performance Evaluation of Real Time Scheduling Algorithms for Multiprocessor Systems
    Ramesh, P.
    Ramachandraiah, Uppu
    2015 INTERNATIONAL CONFERENCE ON ROBOTICS, AUTOMATION, CONTROL AND EMBEDDED SYSTEMS (RACE), 2015,
  • [28] Discrete Real-Time and Stochastic-Time Process Algebra for Performance Analysis of Distributed Systems
    Markovski, J.
    de Vink, E. P.
    2008 8TH INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, 2008, : 180 - 189
  • [29] Combined formal refinement and model checking for real-time systems verification
    Krupp, A
    Mueller, W
    Oliver, I
    LANGUAGES FOR SYSTEM SPECIFICATION: SELECTED CONTRIBUTIONS ON UML, SYSTEMC, SYSTEM VERILOG, MIXED-SIGNAL SYSTEMS, AND PROPERTY SPECIFICATION FROM FDL'03, 2004, : 301 - 314
  • [30] Development of a Real-Time Tractor Model for Gear Shift Performance Verification
    Han, Gyuha
    Ahn, Da-Vin
    Kwon, Doyeop
    Kim, Heung-Sub
    Park, Young-Jun
    Lee, Jin Woong
    AGRICULTURE-BASEL, 2023, 13 (11):