title: ÐÐ´ÐµÐ½ÑÐ¸ÑÐ¸ÐºÐ°ÑÐ¸Ñ ÐºÐ¾Ð½ÐµÑÐ½Ð¾Ð³Ð¾ Ð°Ð²ÑÐ¾Ð¼Ð°ÑÐ° Ð¿Ð¾ Ð²ÑÐµÐ¼ÐµÐ½Ð½ÑÐ¼ Ð´Ð¸Ð°Ð³ÑÐ°Ð¼Ð¼Ð°Ð¼
title: Ð²ÑÐ¿ÑÑÐºÐ½Ð°Ñ ÐºÐ²Ð°Ð»Ð¸ÑÐ¸ÐºÐ°ÑÐ¸Ð¾Ð½Ð½Ð°Ñ ÑÐ°Ð±Ð¾ÑÐ° Ð±Ð°ÐºÐ°Ð»Ð°Ð²ÑÐ°
titleType: Subtitle
title: Identification of a finite state machine by timing diagrams
Creators: name: Ð§ÐµÑÐµÐ¿ÐºÐ¾Ð², ÐÐ°Ð½Ð¸Ð»
Publisher: name: Ð¡Ð°Ð½ÐºÑ-ÐÐµÑÐµÑÐ±ÑÑÐ³ÑÐºÐ¸Ð¹ Ð¿Ð¾Ð»Ð¸ÑÐµÑÐ½Ð¸ÑÐµÑÐºÐ¸Ð¹ ÑÐ½Ð¸Ð²ÐµÑÑÐ¸ÑÐµÑ ÐÐµÑÑÐ° ÐÐµÐ»Ð¸ÐºÐ¾Ð³Ð¾
Year: 2023
Subjects: Ð´Ð¸Ð°Ð³ÑÐ°Ð¼Ð¼Ð° ÑÐ¾ÑÑÐ¾ÑÐ½Ð¸Ð¹
Ð¸Ð´ÐµÐ½ÑÐ¸ÑÐ¸ÐºÐ°ÑÐ¸Ñ
ÐÐ
ÐÐÐ¤
ÑÐµÐ¸Ð½Ð¶Ð¸Ð½Ð¸ÑÐ¸Ð½Ð³
ÑÑÐ½ÐºÑÐ¸Ð¾Ð½Ð°Ð»ÑÐ½Ð°Ñ ÑÐ¿ÐµÑÐ¸ÑÐ¸ÐºÐ°ÑÐ¸Ñ
NP-Ð¿Ð¾Ð»Ð½Ð¾ÑÐ°
SAT
PlantUML
UML
CNF
FSM
functional specification
identification
NP-complite
reengineering
state diagram

description: ÐÐ½ÑÑÑÑÐ¼ÐµÐ½Ñ Ð´Ð»Ñ Ð²Ð¾ÑÑÑÐ°Ð½Ð¾Ð²Ð»ÐµÐ½Ð¸Ñ ÑÑÐ½ÐºÑÐ¸Ð¾Ð½Ð°Ð»ÑÐ½Ð¾Ð¹ ÑÐ¿ÐµÑÐ¸ÑÐ¸ÐºÐ°ÑÐ¸Ð¸ ÑÐ¸ÑÑÐµÐ¼Ñ Ð¿Ð¾ Ð²ÑÐµÐ¼ÐµÐ½Ð½ÑÐ¼ Ð´Ð¸Ð°Ð³ÑÐ°Ð¼Ð¼Ð°Ð¼, Ð¿Ð¾Ð·Ð²Ð¾Ð»ÑÑÑÐ¸Ð¹ Ð¸Ð´ÐµÐ½ÑÐ¸ÑÐ¸ÑÐ¸ÑÐ¾Ð²Ð°ÑÑ ÐºÐ¾Ð½ÐµÑÐ½ÑÐµ Ð°Ð²ÑÐ¾Ð¼Ð°ÑÑ, Ð¾Ð¿Ð¸ÑÑÐ²Ð°ÑÑÐ¸Ðµ Ð¿Ð¾Ð²ÐµÐ´ÐµÐ½Ð¸Ðµ ÑÐ¸ÑÑÐµÐ¼Ñ, Ð½Ð° Ð¾ÑÐ½Ð¾Ð²Ðµ Ð°Ð½Ð°Ð»Ð¸Ð·Ð° Ð¸Ñ Ð¿Ð¾Ð²ÐµÐ´ÐµÐ½Ð¸Ñ. Ð­ÑÐ¾Ñ Ð¸Ð½ÑÑÑÑÐ¼ÐµÐ½Ñ Ð¿ÑÐµÐ´ÑÑÐ°Ð²Ð»ÑÐµÑ ÑÐ¾Ð±Ð¾Ð¹ Ð½Ð¾Ð²ÑÐ¹ Ð¿Ð¾Ð´ÑÐ¾Ð´ Ðº Ð°Ð½Ð°Ð»Ð¸Ð·Ñ Ð¸ Ð¼Ð¾Ð´Ð¸ÑÐ¸ÐºÐ°ÑÐ¸Ð¸ ÑÐ¸ÑÑÐµÐ¼, Ð¾ÑÐ¾Ð±ÐµÐ½Ð½Ð¾ Ð² ÑÐ»ÑÑÐ°ÑÑ, ÐºÐ¾Ð³Ð´Ð° Ð¸ÑÑÐ¾Ð´Ð½Ð°Ñ ÑÑÐ½ÐºÑÐ¸Ð¾Ð½Ð°Ð»ÑÐ½Ð°Ñ ÑÐ¿ÐµÑÐ¸ÑÐ¸ÐºÐ°ÑÐ¸Ñ Ð½ÐµÐ´Ð¾ÑÑÑÐ¿Ð½Ð° Ð¸Ð»Ð¸ Ð½ÐµÐ¿Ð¾Ð»Ð½Ð°. ÐÐ°Ð´Ð°ÑÐ¸, ÑÐµÑÐ°ÐµÐ¼ÑÐµ Ð² ÑÐ°Ð¼ÐºÐ°Ñ ÑÐ°Ð±Ð¾ÑÑ: 1. ÐÐ·ÑÑÐµÐ½Ð¸Ðµ ÑÑÑÐµÑÑÐ²ÑÑÑÐ¸Ñ Ð¼ÐµÑÐ¾Ð´Ð¾Ð² Ð¸ Ð¿Ð¾Ð´ÑÐ¾Ð´Ð¾Ð² Ðº Ð¸Ð´ÐµÐ½ÑÐ¸ÑÐ¸ÐºÐ°ÑÐ¸Ð¸ ÐºÐ¾Ð½ÐµÑÐ½ÑÑ Ð°Ð²ÑÐ¾Ð¼Ð°ÑÐ¾Ð² Ð¿Ð¾ Ð²ÑÐµÐ¼ÐµÐ½Ð½ÑÐ¼ Ð´Ð¸Ð°Ð³ÑÐ°Ð¼Ð¼Ð°Ð¼; 2. Ð Ð°Ð·ÑÐ°Ð±Ð¾ÑÐºÐ° Ð°Ð»Ð³Ð¾ÑÐ¸ÑÐ¼Ð° Ð¸ Ð¸Ð½ÑÑÑÑÐ¼ÐµÐ½ÑÐ° Ð´Ð»Ñ Ð²Ð¾ÑÑÑÐ°Ð½Ð¾Ð²Ð»ÐµÐ½Ð¸Ñ ÑÑÐ½ÐºÑÐ¸Ð¾Ð½Ð°Ð»ÑÐ½Ð¾Ð¹ ÑÐ¿ÐµÑÐ¸ÑÐ¸ÐºÐ°ÑÐ¸Ð¸, Ð¿ÑÐµÐ´ÑÑÐ°Ð²Ð»ÐµÐ½Ð½Ð¾Ð¹ Ð² Ð²Ð¸Ð´Ðµ ÐÐ Ð¿Ð¾ Ð²ÑÐµÐ¼ÐµÐ½Ð½ÑÐ¼ Ð´Ð¸Ð°Ð³ÑÐ°Ð¼Ð¼Ð°Ð¼; 3. ÐÑÐ¾Ð²ÐµÐ´ÐµÐ½Ð¸Ðµ ÑÐºÑÐ¿ÐµÑÐ¸Ð¼ÐµÐ½ÑÐ¾Ð² Ð´Ð»Ñ Ð¾ÑÐµÐ½ÐºÐ¸ ÑÑÑÐµÐºÑÐ¸Ð²Ð½Ð¾ÑÑÐ¸ Ð¸ ÑÐ¾ÑÐ½Ð¾ÑÑÐ¸ ÑÐ°Ð·ÑÐ°Ð±Ð¾ÑÐ°Ð½Ð½Ð¾Ð³Ð¾ Ð¼ÐµÑÐ¾Ð´Ð°. Ð ÑÐµÐ·ÑÐ»ÑÑÐ°ÑÐµ Ð¿ÑÐ¾Ð²ÐµÐ´ÐµÐ½Ð½Ð¾Ð³Ð¾ Ð¸ÑÑÐ»ÐµÐ´Ð¾Ð²Ð°Ð½Ð¸Ñ Ð¸ ÑÐ°Ð·ÑÐ°Ð±Ð¾ÑÐºÐ¸ Ð¼ÐµÑÐ¾Ð´Ð° Ð±ÑÐ» Ð¿Ð¾Ð»ÑÑÐµÐ½ Ð¸Ð½ÑÑÑÑÐ¼ÐµÐ½Ñ, ÑÐ¿Ð¾ÑÐ¾Ð±Ð½ÑÐ¹ Ð²Ð¾ÑÑÑÐ°Ð½Ð°Ð²Ð»Ð¸Ð²Ð°ÑÑ ÑÑÐ½ÐºÑÐ¸Ð¾Ð½Ð°Ð»ÑÐ½ÑÑ ÑÐ¿ÐµÑÐ¸ÑÐ¸ÐºÐ°ÑÐ¸Ñ ÑÐ¸ÑÑÐµÐ¼Ñ Ð½Ð° Ð¾ÑÐ½Ð¾Ð²Ðµ ÐµÑ Ð¿Ð¾Ð²ÐµÐ´ÐµÐ½Ð¸Ñ. Ð­ÑÐ¾Ñ Ð¸Ð½ÑÑÑÑÐ¼ÐµÐ½Ñ Ð¿Ð¾Ð·Ð²Ð¾Ð»ÑÐµÑ Ð¸Ð´ÐµÐ½ÑÐ¸ÑÐ¸ÑÐ¸ÑÐ¾Ð²Ð°ÑÑ ÐºÐ¾Ð½ÐµÑÐ½ÑÐµ Ð°Ð²ÑÐ¾Ð¼Ð°ÑÑ, Ð¾Ð¿Ð¸ÑÑÐ²Ð°ÑÑÐ¸Ðµ Ð¿Ð¾Ð²ÐµÐ´ÐµÐ½Ð¸Ðµ ÑÐ¸ÑÑÐµÐ¼Ñ, Ð½Ð° Ð¾ÑÐ½Ð¾Ð²Ðµ Ð°Ð½Ð°Ð»Ð¸Ð·Ð° Ð²ÑÐµÐ¼ÐµÐ½Ð½Ð¾Ð¹ Ð´Ð¸Ð°Ð³ÑÐ°Ð¼Ð¼Ñ. ÐÐ»Ð°Ð³Ð¾Ð´Ð°ÑÑ ÑÑÐ¾Ð¼Ñ Ð¿Ð¾Ð»ÑÑÐ¸ÑÑÑ Ð²Ð¾ÑÑÑÐ°Ð½Ð¾Ð²Ð¸ÑÑ ÑÑÐ½ÐºÑÐ¸Ð¾Ð½Ð°Ð»ÑÐ½ÑÐµ ÑÐ²ÑÐ·Ð¸ Ð¼ÐµÐ¶Ð´Ñ ÐµÐµ ÐºÐ¾Ð¼Ð¿Ð¾Ð½ÐµÐ½ÑÐ°Ð¼Ð¸.Â 
description: A tool for restoring a functional system from time diagrams, developing finite automata that describe the behavior of the system based on an analysis of their behavior. This tool represents a new approach to the analysis and modification of systems, especially in cases where the original functional specification is not available or is incomplete. Tasks to be solved within the framework of the work: 1. The study of the discovered methods and approaches to identifying the discovered automata by timing diagrams; 2. Development of an algorithm and a tool for restoring functional features, presented in the form of a CA according to time diagrams; 3. Conducting experiments to evaluate the effectiveness and the expected developed method. As a result of the research and development of the method, a tool was obtained that can restore the functional differentiation of the system based on its behavior. This tool allows you to develop state machines that describe the behavior of the system, based on the analysis of the timing diagram. Due to this, the communication function between its components is restored.