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 条
  • [41] Decision problems for lower/upper bound parametric timed automata
    Laura Bozzelli
    Salvatore La Torre
    Formal Methods in System Design, 2009, 35 : 121 - 151
  • [42] Runtime Verification of Railway Interlocking Software with Parametric Timed Automata
    Chai, Ming
    Wang, Haifeng
    Zhang, Jian
    Tang, Tao
    2018 INTERNATIONAL CONFERENCE ON INTELLIGENT RAIL TRANSPORTATION (ICIRT), 2018,
  • [43] Classification-Based Parameter Synthesis for Parametric Timed Automata
    Li, Jiaying
    Sun, Jun
    Gao, Bo
    Andre, Etienne
    FORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2017, 2017, 10610 : 243 - 261
  • [44] Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata
    Arias, Jaime
    Bae, Kyungmin
    Olarte, Carlos
    Olveczky, Peter Csaba
    Petrucci, Laure
    Romming, Fredrik
    PROCEEDINGS OF THE 8TH ACM SIGPLAN INTERNATIONAL WORKSHOP ON FORMAL TECHNIQUES FOR SAFETY-CRITICAL SYSTEMS, FTSCS 2022, 2022, : 3 - 15
  • [45] Symbolic Computation of Schedulability Regions using Parametric Timed Automata
    Cimatti, Alessandro
    Palopoli, Luigi
    Ramadian, Yusi
    RTSS: 2008 REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 2008, : 80 - +
  • [46] SetExp: a method of transformation of timed automata into finite state automata
    Lucien Ouedraogo
    Ahmed Khoumsi
    Mustapha Nourelfath
    Real-Time Systems, 2010, 46 : 189 - 250
  • [47] SetExp: a method of transformation of timed automata into finite state automata
    Ouedraogo, Lucien
    Khoumsi, Ahmed
    Nourelfath, Mustapha
    REAL-TIME SYSTEMS, 2010, 46 (02) : 189 - 250
  • [48] Language Emptiness of Continuous-Time Parametric Timed Automata
    Benes, Nikola
    Bezdek, Peter
    Larsen, Kim G.
    Srba, Jiri
    AUTOMATA, LANGUAGES, AND PROGRAMMING, PT II, 2015, 9135 : 69 - 81
  • [49] Decision problems for lower/upper bound parametric timed automata
    Bozzelli, Laura
    La Torre, Salvatore
    AUTOMATA, LANGUAGES AND PROGRAMMING, PROCEEDINGS, 2007, 4596 : 925 - +
  • [50] Control Synthesis for Parametric Timed Automata under Unavoidability Specifications
    Gol, Ebru Aydin
    2021 EUROPEAN CONTROL CONFERENCE (ECC), 2021, : 740 - 745
12345