Patterns for Timed Property Specifications

被引：43
|
作者：
Gruhn, Volker [1 ]
Laue, Ralf [1 ]
机构：
[1] Univ Leipzig, E Business Comp Sci Fac, Chair Appl Telemat, Leipzig, Germany
来源：
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 2006年 / 153卷 / 02期
关键词：
patterns; formal specification; real-time; verification;
D O I：
10.1016/j.entcs.2005.10.035
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Patterns for property specification enable non-experts to write formal specifications that can be used for automatic model checking. The existing patterns identified in [6] allow to reason about occurrence and order of events, but not about their timing. We extend this pattern system by patterns related to time. This allows the specification of real-time requirements.
引用
收藏
页码：117 / 133
页数：17
相关论文
共 50 条
  • [11] Optimal Planning for Timed Partial Order Specifications
    Watanabe, Kandai
    Fainekos, Georgios
    Hoxha, Bardh
    Lahijanian, Morteza
    Okamoto, Hideki
    Sankaranarayanan, Sriram
    2024 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA 2024), 2024, : 17093 - 17099
  • [12] A Compositional Approach on Modal Specifications for Timed Systems
    Bertrand, Nathalie
    Legay, Axel
    Pinchinat, Sophie
    Raclet, Jean-Baptiste
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2009, 5885 : 679 - +
  • [13] Synthesizing protocol specifications from service specifications in timed extended finite state machines
    Park, JC
    Miller, RE
    PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS, 1997, : 253 - 260
  • [14] Distributed Cooperative Manipulation under Timed Temporal Specifications
    Verginis, Christos K.
    Dimarogonas, Dimos V.
    2017 AMERICAN CONTROL CONFERENCE (ACC), 2017, : 1358 - 1363
  • [15] Mining Timed Regular Specifications from System Traces
    Narayan, Apurva
    Cutulenco, Greta
    Joshi, Yogi
    Fischmeister, Sebastian
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2018, 17 (02)
  • [16] Timed Property Sequence Chart
    Zhang, Pengcheng
    Li, Bixin
    Grunske, Lars
    JOURNAL OF SYSTEMS AND SOFTWARE, 2010, 83 (03) : 371 - 390
  • [17] Controlling timed automata against MTL specifications with TACoS
    Hofmann, Till
    Schupp, Stefan
    SCIENCE OF COMPUTER PROGRAMMING, 2023, 225
  • [18] Models and temporal logical specifications for timed component connectors
    Farhad Arbab
    Christel Baier
    Frank de Boer
    Jan Rutten
    Software & Systems Modeling, 2007, 6 : 59 - 82
  • [19] Supervisory control of timed event graphs with partial specifications
    Takai, S
    Ito, Y
    INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE, 1999, 30 (11) : 1187 - 1192
  • [20] TIMED SPECIFICATIONS FOR THE DEVELOPMENT OF REAL-TIME SYSTEMS
    JARAY, J
    LECTURE NOTES IN COMPUTER SCIENCE, 1988, 331 : 67 - 83
12345