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 条
  • [31] An Alternative Definition for Timed Automata Composition
    Bodeveix, Jean-Paul
    Boudjadar, Abdeldjalil
    Filali, Mamoun
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, 2011, 6996 : 105 - 119
  • [32] Reachability relations of timed pushdown automata
    Clemente, Lorenzo
    Lasota, Slawomir
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2021, 117 : 202 - 241
  • [33] Trace Abstraction Refinement for Timed Automata
    Wang, Weifeng
    Jiao, Li
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2014, 2014, 8837 : 396 - 410
  • [34] Abstraction of Dynamical Systems by Timed Automata
    Wisniewski, Rafael
    Sloth, Christoffer
    MODELING IDENTIFICATION AND CONTROL, 2011, 32 (02) : 79 - 90
  • [35] Logics for Weighted Timed Pushdown Automata
    Droste, Manfred
    Perevoshchikov, Vitaly
    FIELDS OF LOGIC AND COMPUTATION II: ESSAYS DEDICATED TO YURI GUREVICH ON THE OCCASION OF HIS 75TH BIRTHDAY, 2015, 9300 : 153 - 173
  • [36] Testing timed automata
    Springintveld, J
    Vaandrager, F
    D'Argenio, PR
    THEORETICAL COMPUTER SCIENCE, 2001, 254 (1-2) : 225 - 257
  • [37] The Timestamp of Timed Automata
    Rosenmann, Amnon
    FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS (FORMATS 2019), 2019, 11750 : 181 - 198
  • [38] A Menagerie of Timed Automata
    Fontana, Peter
    Cleaveland, Rance
    ACM COMPUTING SURVEYS, 2014, 46 (03)
  • [39] On Implementable Timed Automata
    Feo-Arenis, Sergio
    Vujinovic, Milan
    Westphal, Bernd
    FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS, FORTE 2020, 2020, 12136 : 78 - 95
  • [40] Timed P Automata
    Barbuti, Roberto
    Maggiolo-Schettini, Andrea
    Milazzo, Paolo
    Tesei, Luca
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 227 : 21 - 36
12345