An Inverse Method for Parametric Timed Automata

被引：6
|
作者：
Andre, Etienne [1 ]
Chatain, Thomas [1 ]
Fribourg, Laurent [1 ]
Encrenaz, Emmanuelle [1 ]
机构：
[1] Univ Paris 06, CNRS, Paris, France
来源：
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 2008年 / 223卷 / 0C期
关键词：
Timed automata; parameters; verification; asynchronous circuits;
D O I：
10.1016/j.entcs.2008.12.029
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Given a timed automaton with parametric timings, our objective is to describe a procedure for deriving constraints on the parametric timings in order to ensure that, for each value of parameters satisfying these constraints, the behaviors of the timed automata are time-abstract equivalent. We will exploit a reference valuation of the parameters that is supposed to capture a characteristic proper behavior of the system. The method has been implemented and is illustrated on various examples of asynchronous circuits.
引用
收藏
页码：29 / 46
页数：18
相关论文
共 50 条
  • [21] On the expressive power of invariants in parametric timed automata
    Andre, Etienne
    Lime, Didier
    Ramparison, Mathias
    2019 24TH INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS 2019), 2019, : 87 - 96
  • [22] A Benchmarks Library for Extended Parametric Timed Automata
    Andre, Etienne
    Marinho, Dylan
    van de Pol, Jaco
    TESTS AND PROOFS (TAP 2021), 2021, 12740 : 39 - 50
  • [23] LANGUAGE PRESERVATION PROBLEMS IN PARAMETRIC TIMED AUTOMATA
    Andre, Etienne
    Lime, Didier
    Markey, Nicolas
    LOGICAL METHODS IN COMPUTER SCIENCE, 2020, 16 (01) : 5:1 - 5:31
  • [24] Consistency in Parametric Interval Probabilistic Timed Automata
    Andre, Etienne
    Delahaye, Benoit
    Fournier, Paulin
    JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2020, 110 (110)
  • [25] Efficient Convex Zone Merging in Parametric Timed Automata
    Andre, Etienne
    Marinho, Dylan
    Petrucci, Laure
    van de Pol, Jaco
    FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, FORMATS 2022, 2022, 13465 : 200 - 218
  • [26] On parametric timed automata and one-counter machines
    Bundala, Daniel
    Ouaknine, Joel
    INFORMATION AND COMPUTATION, 2017, 253 : 272 - 303
  • [27] Minimal-Time Synthesis for Parametric Timed Automata
    Andre, Etienne
    Bloemen, Vincent
    Petrucci, Laure
    van de Pol, Jaco
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT II, 2019, 11428 : 211 - 228
  • [28] Parametric Deadlock-Freeness Checking Timed Automata
    Andre, Etienne
    THEORETICAL ASPECTS OF COMPUTING - ICTAC 2016, 2016, 9965 : 469 - 478
  • [29] What’s decidable about parametric timed automata?
    Étienne André
    International Journal on Software Tools for Technology Transfer, 2019, 21 : 203 - 219
  • [30] Liveness in L/U-Parametric Timed Automata
    Andre, Etienne
    Lime, Didier
    2017 17TH INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN (ACSD), 2017, : 9 - 18
12345