Automata system: determinism conditions and testing

Automata system: determinism conditions and testing

The problem of testing of aggregate systems is considered. The system components are described with finite automata with multiple entries and exits. The communication between automata is described with message passing over simplex communication channels. The system is described with an oriented grap...

Full description

Bibliographic Details
Main Authors:	Igor Burdonov, Alexander Kossatchev
Format:	Article
Language:	English
Published:	Ivannikov Institute for System Programming of the Russian Academy of Sciences 2018-10-01
Series:	Труды Института системного программирования РАН
Subjects:	ориентированные графы покрытие графа взаимодействующие автоматы композиция автоматов детерминизм распределенные системы тестирование сети
Online Access:	https://ispranproceedings.elpub.ru/jour/article/view/32

Similar Items

Testing of automata system
by: I. B. Burdonov, et al.
Published: (2018-10-01)

Automata system: composition according to graph of links
by: I. B. Burdonov, et al.
Published: (2018-10-01)

Graph Learning by a Set of Automata. The Nondeterministic Case
by: Igor Burdonov, et al.
Published: (2018-10-01)

Parallel Calculations on Dynamic Graph
by: Igor Burdonov, et al.
Published: (2018-10-01)

Monitoring of dynamically changed graph
by: Igor Burdonov, et al.
Published: (2018-10-01)

Graph learning by a set of automata
by: Igor Burdonov, et al.
Published: (2018-10-01)

A general approach to solving problems on graphs by collective automata
by: I. B. Burdonov, et al.
Published: (2018-10-01)

Conformance theory development: semantics, formal models, algorithms
by: Igor Burdonov, et al.
Published: (2018-10-01)

Using Interface Patterns for Compositional Discovery of Distributed System Models
by: R. A. Nesterov, et al.
Published: (2018-10-01)

Automated event trace analysis for regression testing
by: Vladimir Fedotov
Published: (2018-10-01)

Generalized Asynchronous Systems
by: E. S. Kudryashova, et al.
Published: (2012-01-01)

Parallel calculations by automata on direct and back spanning trees of a graph
by: Igor Burdonov, et al.
Published: (2018-10-01)

Experiments on Parallel Composition of Timed Finite State Machines
by: A. P. Sotnikov, et al.
Published: (2018-10-01)

Distributed data storage systems: analysis, classification and choice
by: Alexander Tormasov, et al.
Published: (2018-10-01)

A Survey of Methods for Model Extraction from HDL Descriptions
by: S. A. Smolov
Published: (2018-10-01)

Prosega/CPN: An Extension of CPN Tools for Automata-based Analysis and System Verification
by: J. C. Carrasquel, et al.
Published: (2018-10-01)

Multiagent methods and tools of management in a service-oriented distributed computing environment
by: I. Bychkov, et al.
Published: (2018-10-01)

Automatic Analysis, Decomposition and Parallel Optimization of Large Homogeneous Networks
by: D. Yu. Ignatov, et al.
Published: (2018-10-01)

Asynchronous Distributed Algorithms for Static and Dynamic Directed Rooted Graphs
by: I. B. Burdonov, et al.
Published: (2018-10-01)

Dynamic analysis of programs with graphical user interface based on symbolic execution
by: S. P. Vartanov, et al.
Published: (2018-10-01)

Applying iterative dynamic analysis to programs with graphical user interface
by: M. K. Ermakov, et al.
Published: (2018-10-01)

Snapshot Isolation Protocol Performance Evaluation
by: D. N. Vasilik
Published: (2018-10-01)

USE OF MATHEMATICAL APPARATUS OF THE PETRI-MARKOV’S NETWORKS FOR DEFINITION OF TEMPORARY AND PROBABILISTIC CHARACTERISTICS OF THE CONTROL SYSTEM BY THE HIGH-LOADED WEB PORTALS WITH THE INCREASED FAULT TOLERANCE
by: R. N. Akinshin, et al.
Published: (2016-11-01)

The Modeling of Counter Machines by Two-Head Finite Automata
by: E. V. Kuzmin, et al.
Published: (2012-01-01)

Approaches to estimate location of social network users based on social graph
by: Y. S. Trofimovich, et al.
Published: (2018-10-01)

Improving quality of graph partitioning using multilevel optimization
by: R. Pastukhov, et al.
Published: (2018-10-01)

Features of the adaptive control and measuring the effectiveness of distant teaching to computer science
by: E I Goryushkin
Published: (2009-06-01)

Self-transformation of trees with a bounded degree of vertices to minimize or maximize the Wiener index
by: Igor Borisovich Burdonov
Published: (2019-10-01)

ELECTRONIC TEST METHOD OF MONITORING AT THE STAGE OF THE FRONT SURVEY AT INFORMATICS LESSONS AT STUDENTS OF SECONDARY SCHOOL
by: I. V. Stolyarova
Published: (2020-07-01)

Size of the memory for storage of ordered rooted graph
by: I. B. Burdonov, et al.
Published: (2018-10-01)

Проектно-ориентированный подход к проведению практикума по курсу "Методология программной инженерии"
Published: (2016-01-01)

A Flat Chart Technique for Embedded OS Testing
by: V. V. Nikiforov, et al.
Published: (2018-10-01)

КАТЕГОРИИ «КУЛЬТУРА» И «ЦИВИЛИЗАЦИЯ» В ИСТОРИЧЕСКОЙ ОПТИКЕ
by: Tatyana Ivanovna Malieva, et al.
Published: (2016-11-01)

Conformance testing based on a state relation
by: Igor B. Burdonov, et al.
Published: (2018-10-01)

APPLYING OF NEURAL NETWORKS FOR SELECTING THE TOOLS FOR PENETRATION TESTING OF WEB APPLICATIONS
by: Артём Григорьевич Тецкий
Published: (2018-12-01)

THE USE OF WIRELESS SENSOR NETWORKS FOR MONITORING OF HUMAN-MADE OBJECTS
by: A. V. Sidorenko, et al.
Published: (2019-06-01)

Translation of Nested Petri Nets into Classical Petri Nets for Unfoldings Verification
by: V. O. Ermakova, et al.
Published: (2018-10-01)

MODELLING OF DISTRIBUTED SOCIAL AND ECONOMIC SYSTEMS
by: Michail E. Mazurov
Published: (2016-08-01)

Directed distributed system: Backtracking problem
by: I. B. Burdonov, et al.
Published: (2018-10-01)

The idea of determinism in mythological and physico-philosophical world view of antiquity
by: I. V. Shatalovich
Published: (2014-03-01)