title: Управление выбором проектных решений программных реализаций функций логического управления
Creators: name: ., В.Н. Негода – д.т.н., доцент, профессор, кафедры «Вычислительная техника», Ульяновский государственный технический университет E mail: nvnulstu@gmail.com А.В. Лылова – ст. преподаватель, кафедра «Вычислительная техника», Ульяновский государственный технический университет E mail: lylovaannav@gmail.com
Publisher: name: Издательство Радиотехника
Year: 2019

description: Постановка проблемы. Даже в рамках одного проекта и одной целевой платформы возможен широкий круг вариантов трансформации проектных решений, в том числе с помощью генераторов программ на основе моделей. В этой связи эффективность процесса проектирования программных реализаций функций логического управления существенно зависит от механизмов управления выбором проектных решений.
Цель. Изучить процесс управления выбором проектных решений программных реализаций функций логического управления.
Результаты. Для каждого исходного представления строится множество реализационных решений, которые делятся на интерпретируемые и непосредственно исполняемые. Интерпретируемое решение – это набор данных, который изоморфен одному из поддерживаемых в системе представлений функций и в ходе вычисления значений функций поступает на вход соответствующего интерпретатора. Непосредственно исполняемое решение чаще всего является автоматически сгенерированной программой. Для каждого реализационного решения формируется аналитическая оценка значений критериальных параметров. В качестве основных критериальных параметров используются затраты времени вычисления и памяти. Изначально имеются формальные зависимости затрат времени и памяти от параметров представлений логических функций. На основе результатов профилирования эти зависимости трансформируются в откалиброванные эмпирические формулы, благодаря которым значения критериальных параметров могут быть получены для различных потенциально возможных целевых аппаратно-программных платформ и рабочих нагрузок, то есть потоков наборов значений аргументов, характерных для этапа эксплуатации системы управления. Все проектные решения упорядочиваются по значению критериальных параметров и далее методом исключения пространство проектных решений сужается. Оценки критериальных параметров представляются интервалами возможных значений. Для уточнения значений отдельных оценок используется прототипирование и профилирование. Спецификации проектных решений строятся на основе логико-алгебраических моделей, определяющих форматы представления логических функций и наборов значений переменных. Эти спецификации трансформируются в структуры данных, обеспечивающие поддержку нескольких видов проектных процессов: формирование оценок значений критериальных параметров для множества потенциально эффективных решений, выбор проектных решений, автоматическая генерация программ непосредственной реализации функций, автоматическая генерация данных интерпретируемых решений, профилирование реализационных решений и накопление уточненных спецификаций проектных решений в базе данных для повторного использования.
Практическая значимость. Автоматизацию процесса выбора проектных решений целесообразно строить как процесс формирования и трансформации спецификаций самих функций и оценок критериальных параметров реализационных решений. Трансформация сводится к уточнению оценок и сужению множества спецификаций с активным использованием процедур автоматической генерации программ и их профилирования.