Timed automata with data structures for distributed systems design and analysis

被引：2
|
作者：
Lanotte, R
Maggiolo-Schettini, A
Troina, A
机构：
来源：
SEFM 2005: THIRD IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS | 2005年
关键词：
D O I：
10.1109/SEFM.2005.49
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Systems of Data Management Timed Automata (SDMTAs) are networks of communicating timed automata with structures to store messages and functions to manipulate them. We prove the decidability of reachability. As an application, we model and analyze a cryptographic protocol.
引用
收藏
页码：44 / 53
页数：10
相关论文
共 50 条
  • [21] Timed Automata Modeling and Verification for Publish-Subscribe Structures Using Distributed Resources
    Valero, Valentin
    Diaz, Gregorio
    Cambronero, Maria-Emilia
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2017, 43 (01) : 76 - 99
  • [22] Comparing timed C/E systems with timed automata
    Huuck, R
    Lakhnech, Y
    Urbina, L
    Engell, S
    Kowalewski, S
    Preussig, J
    [J]. HYBRID AND REAL-TIME SYSTEMS, 1997, 1201 : 81 - 86
  • [23] Dealing with practical limitations of distributed timed model checking for timed automata
    V. Braberman
    A. Olivero
    F. Schapachnik
    [J]. Formal Methods in System Design, 2006, 29 : 197 - 214
  • [24] Expressivity of Timed Discrete Event Systems and Timed Automata
    Reniers, M. A.
    Tielen, R. L. P.
    [J]. IFAC PAPERSONLINE, 2024, 58 (01): : 216 - 221
  • [25] Cost Analysis for Embedded Systems: Experiments with Priced Timed Automata
    Ovatman, Tolga
    Brekling, Aske W.
    Hansen, Michael R.
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2010, 238 (06) : 81 - 95
  • [26] Uncertainty Analysis of Phased Mission Systems with Probabilistic Timed Automata
    Peng, Zhaoguang
    Lu, Yu
    Miller, Alice
    [J]. 2016 IEEE INTERNATIONAL CONFERENCE ON PROGNOSTICS AND HEALTH MANAGEMENT (ICPHM), 2016,
  • [27] Efficient verification of timed automata with BDD-like data-structures
    Wang, F
    [J]. VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2003, 2575 : 189 - 205
  • [28] Timed-automata based schedulability analysis for distributed firm real-time systems: A case study
    Le T.T.H.
    Palopoli L.
    Passerone R.
    Ramadian Y.
    [J]. International Journal on Software Tools for Technology Transfer, 2013, 15 (3) : 211 - 228
  • [29] Compositional Design of Stochastic Timed Automata
    Bouyer, Patricia
    Brihaye, Thomas
    Carlier, Pierre
    Menet, Quentin
    [J]. COMPUTER SCIENCE - THEORY AND APPLICATIONS, CSR 2016, 2016, 9691 : 117 - 130
  • [30] Slicing of timed automata with discrete data
    Janowska, Agata
    Janowski, Pawel
    [J]. FUNDAMENTA INFORMATICAE, 2006, 72 (1-3) : 181 - 195
12345