English

Timed Concurrent State Machines

Logic in Computer Science 2017-10-24 v1 Distributed, Parallel, and Cluster Computing Formal Languages and Automata Theory
Authors: Wiktor B. Daszczuk
View on arXiv ↗ PDF ↗

Abstract

Timed Concurrent State Machines are an application of Alur's Timed Automata concept to coincidence-based (rather than interleaving) CSM modeling technique. TCSM support the idea of testing automata, allowing to specify time properties easier than temporal formulas. Also, calculation of a global state space in real-time domain (Region Concurrent State Machines) is defined, allowing to store a verified system in ready-to-verification form, and to multiply it by various testing automata.

Keywords

automata theory

Cite

@article{arxiv.1710.07997,
  title  = {Timed Concurrent State Machines},
  author = {Wiktor B. Daszczuk},
  journal= {arXiv preprint arXiv:1710.07997},
  year   = {2017}
}

Comments

13 pages, 4 figures

Related papers

View all related →
Formal Languages and Automata Theory · Computer Science
Efficient Convex Zone Merging in Parametric Timed Automata
Étienne André, Dylan Marinho, Laure Petrucci, Jaco van de Pol
2022-12-12
Formal Languages and Automata Theory · Computer Science
Equivalence Checking and Intersection of Deterministic Timed Finite State Machines
Davide Bresolin, Khaled El-Fakih, Tiziano Villa, Nina Yevtushenko
2021-03-09
Logic in Computer Science · Computer Science
Automatic Verification of Timed Concurrent Constraint Programs
Moreno Falaschi, Alicia Villanueva
2007-05-23
Cryptography and Security · Computer Science
Timed automata as a formalism for expressing security: A survey on theory and practice
Johan Arcile, Étienne André
2022-06-08
Formal Languages and Automata Theory · Computer Science
Deterministic Timed Finite State Machines: Equivalence Checking and Expressive Power
Davide Bresolin, Khaled El-Fakih, Tiziano Villa, Nina Yevtushenko
2014-08-27
Formal Languages and Automata Theory · Computer Science
Checking Timed Bisimilarity with Virtual Clocks
Alexander Lieb, Hendrik Göttmann, Lars Luthmann, Malte Lochau +1
2026-04-01
Logic in Computer Science · Computer Science
A Formal Model For Real-Time Parallel Computation
Peter Hui, Satish Chikkagoudar
2013-01-03
Formal Languages and Automata Theory · Computer Science
Concurrent Timed Port Automata
Radu Grosu, Bernhard Rumpe
2014-11-25
Logic in Computer Science · Computer Science
Improved Bounded Model Checking of Timed Automata
Robert L. Smith, Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro
2021-04-27
Software Engineering · Computer Science
State Space Reduction for Reachability Graph of CSM Automata
Wiktor B. Daszczuk
2017-10-27
Logic in Computer Science · Computer Science
Zone-based verification of timed automata: extrapolations, simulations and what next?
Patricia Bouyer, Paul Gastin, Frédéric Herbreteau, Ocan Sankur +1
2022-07-18
Formal Languages and Automata Theory · Computer Science
Timed I/O Automata: It is never too late to complete your timed specification theory
Martijn A. Goorden, Kim G. Larsen, Axel Legay, Florian Lorber +2
2023-07-14
Formal Languages and Automata Theory · Computer Science
Automata Theory Meets Barrier Certificates: Temporal Logic Verification of Nonlinear Systems
Tichakorn Wongpiromsarn, Ufuk Topcu, Andrew Lamperski
2014-03-17
Logic in Computer Science · Computer Science
Proving correctness of Timed Concurrent Constraint Programs
F. S. de Boer, M. Gabbrielli, M. C. Meo
2007-05-23
Formal Languages and Automata Theory · Computer Science
Checking Timed Bisimulation with Bounded Zone-History Graphs -- Technical Report
Lars Luthmann, Hendrik Göttmann, Isabelle Bacher, Malte Lochau
2020-09-17
Programming Languages · Computer Science
A Simulation Tool for tccp Programs
María-del-Mar Gallardo, Leticia Lavado, Laura Panizo
2017-01-04
Logic in Computer Science · Computer Science
Timed Automata Robustness Analysis via Model Checking
Jaroslav Bendík, Ahmet Sencan, Ebru Aydin Gol, Ivana Černá
2023-06-22
Formal Languages and Automata Theory · Computer Science
Sampled Semantics of Timed Automata
Pavel Krcal, Parosh Aziz Abdulla, Wang Yi
2015-07-01
Logic in Computer Science · Computer Science
Graded CTL Model Checking for Test Generation
Margherita Napoli, Mimmo Parente
2011-11-14
Formal Languages and Automata Theory · Computer Science
Computing maximally-permissive strategies in acyclic timed automata
Emily Clement, Thierry Jéron, Nicolas Markey, David Mentré
2020-07-09
Logic in Computer Science · Computer Science
Probabilistic Timed Automata with Clock-Dependent Probabilities
Jeremy Sproston
2017-07-17
Logic in Computer Science · Computer Science
Verifying MITL formulae on Timed Automata considering a Continuous Time Semantics
Claudio Menghi, Marcello Bersani, Matteo Rossi, Pierluigi San Pietro
2019-09-11
Formal Languages and Automata Theory · Computer Science
Analyzing Timed Systems Using Tree Automata
S. Akshay, Paul Gastin, Shankara Narayanan Krishna
2023-06-22
Software Engineering · Computer Science
System level specification and verification using Concurrent State Machines and COSMA environment
Wiktor B. Daszczuk, Jerzy Mieścicki, Michał Nowacki, Jacek Wytrębowicz
2017-03-17
Software Engineering · Computer Science
Concurrent Software Design Based on Constraints on State Diagrams
Bogdan D. Czejdo, Wiktor B. Daszczuk, Jerzy Mieścicki
2017-03-27
R2 v1 2026-06-22T22:21:59.573Z