Details

Инструмент для восстановления функциональной спецификации системы по временным диаграммам, позволяющий идентифицировать конечные автоматы, описывающие поведение системы, на основе анализа их поведения. Этот инструмент представляет собой новый подход к анализу и модификации систем, особенно в случаях, когда исходная функциональная спецификация недоступна или неполна. Задачи, решаемые в рамках работы: 1. Изучение существующих методов и подходов к идентификации конечных автоматов по временным диаграммам; 2. Разработка алгоритма и инструмента для восстановления функциональной спецификации, представленной в виде КА по временным диаграммам; 3. Проведение экспериментов для оценки эффективности и точности разработанного метода. В результате проведенного исследования и разработки метода был получен инструмент, способный восстанавливать функциональную спецификацию системы на основе её поведения. Этот инструмент позволяет идентифицировать конечные автоматы, описывающие поведение системы, на основе анализа временной диаграммы. Благодаря этому получится восстановить функциональные связи между ее компонентами.

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.