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] 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
[22] An Efficient Translation Method from Timed Petri Nets to Timed Automata
Nakano, Shota
Yamaguchi, Shingo
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2012, E95A (08) : 1402 - 1411
[23] Dynamical properties of timed automata
Puri, A
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2000, 10 (1-2): : 87 - 113
[24] Dynamical properties of timed automata
Puri, A
FORMAL TECHNIQUES IN REAL-TIME AND FAULT-TOLERANT SYSTEMS, 1998, 1486 : 210 - 227
[25] Online Parametric Timed Pattern Matching with Automata-Based Skipping
Waga, Masaki
Andre, Etienne
NASA FORMAL METHODS (NFM 2019), 2019, 11460 : 371 - 389
[26] Dynamical Properties of Timed Automata
Anuj Puri
Discrete Event Dynamic Systems, 2000, 10 : 87 - 113
[27] Parametric Model Checking Timed Automata Under Non-Zenoness Assumption
Andre, Etienne
Nguyen, Hoang Gia
Petrucci, Laure
Sun, Jun
NASA FORMAL METHODS (NFM 2017), 2017, 10227 : 35 - 51
[28] An Improved Method to Reduce the State Space of the Timed Automata
Tan, Juan
Zhou, Yonghua
Han, Wei
2011 AASRI CONFERENCE ON ARTIFICIAL INTELLIGENCE AND INDUSTRY APPLICATION (AASRI-AIIA 2011), VOL 2, 2011, : 148 - 151
[29] Modelling and analysis of asynchronous circuits and timing diagrams using parametric timed automata
Chen, CL
Lin, T
Yen, HC
PROCEEDINGS OF THE 23RD IASTED INTERNATIONAL CONFERENCE ON MODELLING, IDENTIFICATION, AND CONTROL, 2004, : 500 - 505
[30] Schedulability Analysis for Timed Automata With Tasks
Sun, Jinghao
Guan, Nan
Shi, Rongxiao
Tan, Guozhen
Yi, Wang
ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2021, 20 (05)

← 1 2 3 4 5 →