Serhii Vialov

ОБҐРУНТУВАННЯ ФУНКЦІОНАЛЬНОЇ СТРУКТУРИ ПРОГРАМНОГО ЗАСОБУ ДЛЯ АВТОМАТИЗОВАНОЇ ПЕРЕВІРКИ АЛГОРИТМІВ І ФУНКЦІЙ ЗАХИСТУ РЕГУЛЯТОРА ГАЗОТУРБІННОГО ДВИГУНА

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...