ОБҐРУНТУВАННЯ ФУНКЦІОНАЛЬНОЇ СТРУКТУРИ ПРОГРАМНОГО ЗАСОБУ ДЛЯ АВТОМАТИЗОВАНОЇ ПЕРЕВІРКИ АЛГОРИТМІВ І ФУНКЦІЙ ЗАХИСТУ РЕГУЛЯТОРА ГАЗОТУРБІННОГО ДВИГУНА
TL;DR
It is shown that the software tool should provide a minimal verification workflow: initial condition setting, generation of test inputs, processing of analog and discrete signals, verification of logical and timing conditions, registration of regulator response, interaction with a bench simulator, and report generation.
Abstract
The article considers an approach to substantiating the functional structure of a software tool for automated verification of gas turbine engine regulator protection algorithms and functions. The relevance of the study is driven by the need to safely and reproducibly verify critical start-up and shut-down transients, as direct engine testing is risky and difficult to standardize. The aim of the study is to substantiate the functional structure of a prospective software tool intended for visual and formal scenario authoring, execution, and documentation of automated verification scenarios. The research methodology is based on the systematic analysis of regulatory functions, the generalization of typical protection algorithms, the definition of requirements for automated test scenarios, and the formalization of the main groups of functional nodes. A classification of protection algorithms is proposed: parametric, dynamic, diagnostic, reconfiguration, and self-test algorithms. It is shown that the software tool should provide a minimal verification workflow: initial condition setting, generation of test inputs, processing of analog and discrete signals, verification of logical and timing conditions, registration of regulator response, interaction with a bench simulator, and report generation. The expediency of representing a verification scenario as a set of functional nodes is substantiated. The main node groups include flow control, variables and data, mathematical and logical processing, time control, command generation, equipment interaction, file operations, logging, reporting, validation, and error handling. A generalized scenario structure and criteria for evaluating the results are proposed. The results obtained can serve as a basis for further development of software tools for the automated verification of gas turbine engine regulators as part of a bench-simulation complex.