Организация многоуровнего моделирования для верификации цифровых проектов
Исследуются методы расширения функциональных возможностей средств моделирования и мониторинга для разработки, отладки и верификации цифровых проектов. Рассматривается реализация моделирования алгоритма Витерби. Досліджується розширення функціональних можливостей засобів моделювання для розробки, нал...
Gespeichert in:
| Veröffentlicht in: | Комп’ютерні засоби, мережі та системи |
|---|---|
| Datum: | 2012 |
| Hauptverfasser: | , , |
| Format: | Artikel |
| Sprache: | Russisch |
| Veröffentlicht: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2012
|
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/46486 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Организация многоуровнего моделирования для верификации цифровых проектов / М.В. Семотюк, Е.Н. Чичирин, Е.П. Сосненко // Комп’ютерні засоби, мережі та системи. — 2012. — № 11. — С. 39-46. — Бібліогр.: 7 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1859943273536159744 |
|---|---|
| author | Семотюк, М.В. Чичирин, Е.Н. Сосненко, Е.П. |
| author_facet | Семотюк, М.В. Чичирин, Е.Н. Сосненко, Е.П. |
| citation_txt | Организация многоуровнего моделирования для верификации цифровых проектов / М.В. Семотюк, Е.Н. Чичирин, Е.П. Сосненко // Комп’ютерні засоби, мережі та системи. — 2012. — № 11. — С. 39-46. — Бібліогр.: 7 назв. — рос. |
| collection | DSpace DC |
| container_title | Комп’ютерні засоби, мережі та системи |
| description | Исследуются методы расширения функциональных возможностей средств моделирования и мониторинга для разработки, отладки и верификации цифровых проектов. Рассматривается реализация моделирования алгоритма Витерби.
Досліджується розширення функціональних можливостей засобів моделювання для розробки, наладки та верифікації цифрових проектів. Розглядається реалізація моделювання алгоритму Вітербі.
Expansion of functionalities of means of modeling and monitoring for development, debugging and verifications of systems of digital processing is investigated. The implementation of modeling of algorithm Viterby is resulted.
|
| first_indexed | 2025-12-07T16:12:30Z |
| format | Article |
| fulltext |
Комп’ютерні засоби, мережі та системи. 2012, № 11 39
M. Semotjuk, E. Chichirin,
E. Sosnenko
ORGANIZATION
OF LAYERED MODELING
FOR VERIFICATION OF
DIGITAL PROJECTS
Expansion of functionalities of
means of modeling and monitoring
for development, debugging and
verifications of systems of digital
processing is investigated. The im-
plementation of modeling of algo-
rithm Viterby is resulted.
Key word: model, simulator, verifi-
cation.
Досліджується розширення фун-
кціональних можливостей засобів
моделювання для розробки, налад-
ки та верифікації цифрових прое-
ктів. Розглядається реалізація
моделювання алгоритму Вітербі.
Ключові слова: модель, симуля-
тор, верифікація.
Исследуются методы расширения
функциональных возможностей
средств моделирования и мони-
торинга для разработки, отладки
и верификации цифровых проек-
тов. Рассматривается реализа-
ция моделирования алгоритма
Витерби.
Ключевые слова: модель, симуля-
тор, верификация.
В.М. Семотюк, Е.Н. Чичирин,
Е.П. Сосненко, 2012
УДК 681.3(031)
М.В. СЕМОТЮК, Е.Н. ЧИЧИРИН,
Е.П. СОСНЕНКО
ОРГАНИЗАЦИЯ МНОГОУРОВНЕВОГО
МОДЕЛИРОВАНИЯ ДЛЯ
ВЕРИФИКАЦИИ ЦИФРОВЫХ
ПРОЕКТОВ
Введение. На этапах проектирования, отлад-
ки и верификации новых образцов микро-
контроллеров и сигнальных процессоров
(МП) эффективность процессов моделирова-
ния имеет первостепенное значение. Встро-
енные в системы автоматизированного про-
ектирования (САПР) средства физического и
функционального моделирования имеют
свое продолжение в виде программных си-
муляторов, входящих в состав инструмен-
тальных наборов на основе серийных МП [1].
При разработке перспективных МП необ-
ходимо учитывать эффективность их исполь-
зования для выполнения современных
управляющих и телекоммуникационных ал-
горитмов уже на стадии разработки и отлад-
ки программной модели новых МП. Модели-
рование в этом случае обеспечивает сокра-
щение циклов разработки, отладки, а также
верификации и оптимизации структуры МП
в комплексе с сопутствующими программа-
ми и приложениями. Моделирующие под-
системы при этом должны быть дополнены
средствами разработки и отладки библиотек
и других первоочередных программных мо-
дулей и приложений, а также содержать раз-
витые средства верификации МП и его моде-
ли. Особое значение программное моделиро-
вание приобретает на промежуточных стади-
ях проектирования МП, например, на этапах
конфигурирования и тестирования его бло-
ков на базе кристаллов FPGA.
Постановка задачи. Круг требующих сво-
его решения задач сформировался в процес-
М.В. СЕМОТЮК, Е.Н. ЧИЧИРИН, Е.П. СОСНЕНКО
Комп’ютерні засоби, мережі та системи. 2012, № 11 40
се создания новых образцов микроконтроллеров, а также управляющих систем и
приложений на их основе.
Во-первых, необходимость разработки программного обеспечения проекти-
руемого МП (в том числе его программного симулятора) для подготовки и от-
ладки на кросс-машине базовых программ и МП-приложений [2] формально да-
ет возможность использовать его программную модель для последующей вери-
фикации сконфигурированного кристалла МП (и наоборот). Необходимым ус-
ловием для этого кроме наличия тестирующих программ является разработка
среды для их выполнения.
Во-вторых, с целью ускорения получения готового продукта необходимо
разделять процесс схемотехнического проектирования МП на ряд этапов и со-
вмещать проектирование одних блоков МП с тестированием других. Для этого
необходимо решить задачу корректной работы программного симулятора в ос-
новном и вспомогательных уровнях взаимодействия с частично работоспособ-
ным МП.
В-третьих, учитывая разработку и тестирование большой и разнообразной
номенклатуры разрабатываемых библиотечных программ по стандартной и спе-
циализированной цифровой обработке, возникает необходимость визуальной
оценки результатов их работы. Интуитивно понятное (программистам-непро-
фессионалам в рассматриваемой проблемной области) визуально-графическое
отображение процесса выполнения управляющих и обрабатывающих алгорит-
мов позволяет быстро и достаточно точно сравнить полученные результаты с
ожидаемыми и локализовать причину возможных расхождений. Такой подход
не требует предварительной подготовки на кросс-машине эталонных тестовых
наборов и позволяет получить приемлемое качество тестирования. При этом не-
обходимо обеспечить необходимые для адекватного представления верифици-
руемых процессов функциональность и производительность мониторинга МП и
его модели.
Исследуемый круг вопросов близок к таким развивающимся областям ве-
рификации, как динамические и синтетические методы тестирования и монито-
ринга [3].
Предмет исследования. В работе исследуются методы использования ими-
тационных программных моделей и графических моделей мониторинга динами-
ческих процессов для расширения возможностей верификации программных и
аппаратных компонентов перспективных цифровых управляющих и обрабаты-
вающих систем.
Модель. Модель проектируемого МП, альтернативная его VHDL описа-
нию, строится на основании анализа технических требований проекта. В соот-
ветствии с рекомендациями [4] эта работа выполняется независимо от процесса
построения модели МП в САПР. При последующем тестировании это дает воз-
можность обнаружить неоднозначность понимания одного из наиболее трудно
формализуемых этапов верификации всего проекта. Использование на данном
этапе синтетических технологий тестирования на основе формальной модели
требований и проектных решений (model based testing) позволяет частично ав-
ОРГАНИЗАЦИЯ МНОГОУРОВНЕВОГО МОДЕЛИРОВАНИЯ …
Комп’ютерні засоби, мережі та системи. 2012, № 11 41
томатизировать процесс построения оракула и оценить полноту тестового по-
крытия МП.
Следует отметить, что разработка тестов цифровых систем с высокой обна-
руживающей и диагностирующей способностью является непростой, требую-
щей компромиссных решений задачей. Сложность тестов подобного рода опре-
деляется в общем случае прямым произведением множества операций, специ-
фицированных для каждого блока, множества значений исходных данных,
множеств режимов исполнения операций и адресации исходных данных. С уче-
том существующей зависимости между последовательно выполняемыми опера-
циями МП решение задачи его верификации путем прямого перебора всех воз-
можных тестовых наборов невозможно. Разумная минимизация сложности теста
предполагает учет лишь наиболее значимых (заложенных в проект) и наиболее
вероятных (вследствие ошибок проектирования, изготовления или функциони-
рования) зависимостей между внутриблочными и межблочными операциями.
В конечном итоге структура теста принимает сложный, нелинейный харак-
тер и требует для своей реализации всех возможностей входного языка МП, а не
только инструкций проверяемого на данном этапе блока. При не полностью от-
лаженном образце МП выполнение такого теста возможно на его работоспособ-
ной (как показывает практика, почти работоспособной) программной модели.
При этом программная моделирующая среда должна поддерживать многоуров-
невое взаимодействие с МП в режиме master – slave (ведущий – ведомый), ха-
рактеризуемый следующими признаками:
- тестирующее МП приложение (или его функционально законченная часть,
или иное приложение МП) разрабатывается не на языке моделирующего host-
компьютера, а на входном языке (ассемблере) МП;
- комплексно тестирующее приложение отрабатывается программным си-
мулятором МП, а в МП загружаются данные и считываются реакции необходи-
мые только на уровне верификации очередного блока;
- включающая симулятор интегрированная моделирующая среда (ИМС) со-
держит средства выбора в зависимости от степени готовности МП уровня взаи-
модействия симулятор – МП;
- полнота тестирования (тестового покрытия возможных неисправностей)
определяется формируемой в симуляторе последовательностью команд, значе-
ниями их операционных и адресно-индексных полей, а также соответствующих
наборов данных.
Для реализации данного подхода МП должен поддерживать возможность
автономного тестирования составляющих его блоков, в частности, функциони-
рование интерфейса с моделирующим host-компьютером на любом этапе вери-
фикации. Важным является также минимизация затрат на поддержку такого ин-
терфейса со стороны МП. Это может быть вариант канала прямого доступа, тех-
нологический (J-Tag), либо другой, в том числе удаляемый на последнем этапе
проектирования интерфейс. В целях минимизации затрат на управление уровня-
ми в ИМС и МП целесообразно выделять в качестве кандидатов для такого тес-
М.В. СЕМОТЮК, Е.Н. ЧИЧИРИН, Е.П. СОСНЕНКО
Комп’ютерні засоби, мережі та системи. 2012, № 11 42
тирования блоки с высокой степень автономности, например, специализирован-
ные арифметические устройства.
Использование любого МП приложения в качестве его теста, даже в случае
неработоспособности части блоков МП, расширяет возможности применения
такого «внешнего» тестирования для верификации МП (и его модели) на биб-
лиотечных и базовых приложениях, создаваемых одновременно с самим МП.
Улучшить и ускорить субъективную и объективную оценки внешней верифика-
ции, активно развиваемой в последнее время наряду с методами экстремального
программирования [3], можно либо за счет исполнения приложения в родном
контролирующем его окружении, либо за счет эмуляции основных контроли-
рующих характеристик окружения в соответствующей подсистеме мониторинга.
Наиболее высокоуровневые функции человеко-машинного взаимодействия
и мониторинга традиционно возлагаются на графический интерфейс. Графиче-
ский HMI-интерфейс ИМС выполняет функции:
- подготовки и отладки в редакторе кода базовых программ и приложений
МП, а также взаимодействия оператора с ИМС на этапе выполнения подготови-
тельных операций;
- интерактивного взаимодействия оператора с функционирующим МП и его
моделью, в том числе, синхронизация и динамический мониторинг протекаю-
щих в них процессов в виде, наиболее адекватно воспринимаемом человеком.
Под адекватностью восприятия понимается разумное сочетание качества
(удобства восприятия), естественной для человека информации, например, изо-
бражения или речи, и точности, с которой можно без дополнительных средств
количественно оценить это качество. При этом, если приложение МП выполняет
функции управления производственным или технологическим процессом, или
другую абстрактную цифровую обработку, то адекватным будет ее структури-
рование по типам и форматам представления атрибутов в данной проблемной
области.
В последнем, наиболее распространенном случае при большом количестве
атрибутов используется их представление в виде таблиц, графиков, графов, диа-
грамм и других производных от них графических моделей (например, иерархи-
ческих 3D моделей). В контексте рассматриваемой тематики – моделирования с
целью верификации – графические модели, в силу своих когнитивных свойств,
зачастую позволяют оценить результат проектирования при частичном отсутст-
вии формализованных и вербализованных требований к проекту, т. е. повысить
эффективность как верификации, так и валидации проектируемой системы [4].
Для получения высоких эргономических характеристик средств графиче-
ской визуализации (программных виртуальных мониторов) необходимо обеспе-
чить согласованное во времени и пространстве мультиформатное отображение в
них текста, таблиц, графиков, а также аудио и видео потоков. Интерактивный
характер графических моделей предполагает как вывод, так и ввод соответст-
вующих данных в каждый из виртуальных мониторов. Возможны три основных
варианта реализации интерфейса МП (или его модель) – ИМС:
ОРГАНИЗАЦИЯ МНОГОУРОВНЕВОГО МОДЕЛИРОВАНИЯ …
Комп’ютерні засоби, мережі та системи. 2012, № 11 43
- разработка в рамках ИМС алгоритмов и программ обновления информа-
ции на экранах ее мониторов с автоматическим отслеживанием ее изменения в
памяти и регистрах МП и его программной модели (оптимальный вариант, не
требует написания кода для МП);
- выделение общей памяти для обмена данными между ИМС и приложе-
ниями, выполняемыми на МП или его модели (требует написания программного
кода для каждого приложения МП);
- разработка для МП полноценных средств ввода-вывода видеографических
и аудио данных. Лучшим, но и самым сложным вариантом, по-видимому, явля-
ется реализация, использующая API OpenMAX, представляющего кросс-
платформенный абстрактный доступ к аудиовизуальным средствам [5].
Структурная схема выполняемых в едином процессе алгоритмов моделиро-
вания и мониторинга состояний МП и его модели показана на рис.1. Выполне-
ние алгоритма начинается с загрузки из исполняемого файла кода программы и
данных в модель МП. При задании основного MP уровня моделирования МП
или подуровня sMP проверки его АЛУ код и данные загружаются в сам МП.
При включенном симуляторе SIM и готовности МП к обмену на t -м шаге ис-
полнения программы код очередной команды iC загружается из модели МП в
МП, и происходит запуск выполнения этой команды (или всей программы) в
МП и его модели. При моделировании команды iC симулятор подготавливает
список iAWL = }{ ikA , iLk ,1 адресов ячеек памяти, в которые производилась
запись, и запоминает количество таких ячеек tL . По окончании моделирования
команды в симуляторе и МП в режиме JTG мониторинга МП или CMP –
компарирования состояний МП и его модели происходит последовательный по-
иск адресов из списка записи iAWL в упорядоченных jAM списках отображе-
ния каждого из активных jV мониторов nj ,1 , заданных своими минималь-
ными jA min и максимальными jA max значениями. В случае совпадения адре-
сов производится обновление ячейки памяти по адресу jA j -го монитора соот-
ветственно данными
*D из МП или D из его модели. В режиме CMP дополни-
тельно производится инвертирование цвета отображения данных в j-м мониторе
по адресу jA : Color jA = inv Color jA . Описанный цикл повторяется до мо-
мента выполнения команды выхода из исполняемой программы.
На схеме не представлена поддерживаемая функция обновления всех дан-
ных монитора при его включении, а также автоматическом или ручном измене-
нии его базовых или индексных адресов сканирования, или данных, принадле-
жащих его области сканирования.
М.В. СЕМОТЮК, Е.Н. ЧИЧИРИН, Е.П. СОСНЕНКО
Комп’ютерні засоби, мережі та системи. 2012, № 11 44
РИС. 1. Структурная схема процессов моделирования и мониторинга МП
Запуск выполнения
команды tC в МП
Файл (код и данные) модель
МП;
nj ,1
Файл (код и данные) МП
Код команды
tC из модели МП МП Готовность МП
& sMP& SIM
-
Готовность МП
& sMPMP
Моделирование команды tC в модели МП
Формирование списка tAWL и tL
SIM
+
+
-
-
-
-
+
+
jV
CMP & *DD
Готовность МП
& JTG CMP
D =
*D
Обновить данные
j-го монитора
по адресу jA
jA = D
-
-
+
+
jA = tkA ; D = tkA . Мониторинг модели МП
+
+
+
-
-
*D = tkA . Мониторинг MP
tLk ,1
+
-
Инвертировать цвет отображения дан-
ных в j-м мониторе по адресу jA
Color jA = inv Color jA
tkA jA min
& tkA jA max
Запуск выполнения
программы в МП
SIM
+
-
sMPMP
Выход
-
+
Выход
-
+
ОРГАНИЗАЦИЯ МНОГОУРОВНЕВОГО МОДЕЛИРОВАНИЯ …
Комп’ютерні засоби, мережі та системи. 2012, № 11 45
Мультиформатные графические и табличные мониторы ИМС, обеспечива-
ют динамическое отображение состояний непрерывных областей памяти, а
также развертку на графиках и в таблицах последовательности этих со-
стояний во времени (параметры SHistory и LHistory). Поддерживается индиви-
дуальное изменение визуальных параметров таблиц и графиков с возможностью
ручной, автоматической, следящей настройки базовых и индексных адресов
сканируемых областей памяти, а также ввод графиков с помощью «мыши».
В зависимости от состояния вышеперечисленных элементов управления
поддерживается более семи востребованных режимов совместного функциони-
рования МП, его программной модели и подсистемы динамического монито-
ринга. Комбинации режимов функционирования мониторов различных типов
существенно увеличивают это число.
Реализация. Программный симулятор, обеспечивающий базовый (незави-
симый от работы МП) и «ведущий» уровни взаимодействия с МП, а также
мультиформатная подсистема динамического мониторинга, реализованы в со-
ставе интегрированной моделирующей среды, совместно с редактором про-
граммного кода, компилятором с входного языка программирования и рядом
вспомогательных утилит. Поддерживает ввод, редактирование и отладку про-
граммного кода разрабатываемого МП на языке его ассемблера. ИМС обеспечи-
вает разнообразные режимы графической визуализации процессов преобразова-
ния данных при выполнении приложений в реальном устройстве и (или) на его
программной модели. Кроме графического, поддерживается также аудио ввод-
вывод с использованием средств ОС персонального компьютера.
В ИМС реализована современная технология HMI-интерфейса: автосохра-
нение в отдельном файле проекта всех текущих установок и списка файлов про-
екта, а также настроек экрана, редактора, мониторов и т. п. [6]. Имеется также
возможность автозапуска ИМС при открытии какого-либо ассоциированного с
ней файла.
В качестве примера рассмотрим алгоритм Витерби, широко применяющий-
ся для декодирования сверточных кодов в современных телекоммутационных
системах связи [7].
Диаграмма состояний конечного автомата – сверточного кодера со скоро-
стью R = m / n = 1/2, где m = 1 и n = 2 – длина в битах соответственно входного
и выходного слова кодера, показана на рис. 2.
При декодировании принятой последовательности слов по алгоритму Ви-
терби, из двух сходящихся в каждое из четырех состояний путей оставляется
путь с минимальной метрикой (расстоянием по Хеммингу до принятой последо-
вательности). Графический монитор ИМС позволяет представить процесс деко-
дирования в виде динамически формируемой решетчатой структуры, образно
оценить работу декодера и сопоставить ее с динамически подсвечиваемым про-
граммным кодом в текстовом редакторе. Поддерживается возможностью поша-
гового контроля выполняемой команды в редакторе программ и мониторинга
результатов ее выполнения в табличном и графическом виде.
М.В. СЕМОТЮК, Е.Н. ЧИЧИРИН, Е.П. СОСНЕНКО
Комп’ютерні засоби, мережі та системи. 2012, № 11 46
РИС. 2. Диаграмма состояний для сверточного кода с R = 1/2
Выводы. Исследованы вопросы построения подсистем моделирования и
мониторинга для верификации и отладки перспективных средств цифровой об-
работки сигналов и специализированных управляющих систем. Предложены
методы повышения эффективности моделирования аппаратных средств на базе
микросхем FPGA для организации поблочного автономного их тестирования.
Разработан мультиформатный графический интерфейс и алгоритмы динамиче-
ского мониторинга проектируемых систем. Подсистемы моделирования и мони-
торинга интегрированы в функционально законченную среду для редактирова-
ния, компиляции и отладки программного кода приложений проектируемых
цифровых систем.
1. Коренев В.В., Кисилев А.В. Современные микропроцессоры. 3-е изд. – СПб.: БХВ-
Петербург, 2003. – 448 с.
2. Наливкин А.В. Микропроцессоры и ЭВМ в измерительной технике. Электронный
учебник. СПбГУ ИТМО. – http://de.ifmo.ru. 20.09.2012.
3. Кулямин В.В. Методы верификации программного обеспечения. – М.: Ин-т систем-
ного программирования РАН, 2008. – 117 с.
4. Синицин С.В., Налютин Н.Ю. Верификация программного обеспечения. Курс лек-
ций. – М.: МИФИ, 2006. – 157 с.
5. OpenMAX – The Standart for Media Library Portability. - http://www.khronos.org.
21.09.2012.
6. Палагин А.В., Семотюк М.В., Чичирин Е.Н., Сосненко Е.П. Acoustic commander – ин-
тегрированная операционная среда для измерения и расчета акустических парамет-
ров // Комп`ютерні засоби, мережі та системи. – 2009. – № 4. – С. 3 – 10.
7. Кларк Дж., мл., Кейн Дж. . Кодирование с исправлением ошибок в системах цифро-
вой связи. – Статистическая теория связи. – Вып. 58. – М.: Радио и связь, 1987. –
С. 212 – 224.
Получено 15.10.2012
1
. 01
. 00
0
11
00
01 10
11
10
. 1
. 1
. 10
. 01
.
0
0
0
00
1
11
Входной.
символ
Выходные
символы
|
| id | nasplib_isofts_kiev_ua-123456789-46486 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1817-9908 |
| language | Russian |
| last_indexed | 2025-12-07T16:12:30Z |
| publishDate | 2012 |
| publisher | Інститут кібернетики ім. В.М. Глушкова НАН України |
| record_format | dspace |
| spelling | Семотюк, М.В. Чичирин, Е.Н. Сосненко, Е.П. 2013-06-30T11:29:30Z 2013-06-30T11:29:30Z 2012 Организация многоуровнего моделирования для верификации цифровых проектов / М.В. Семотюк, Е.Н. Чичирин, Е.П. Сосненко // Комп’ютерні засоби, мережі та системи. — 2012. — № 11. — С. 39-46. — Бібліогр.: 7 назв. — рос. 1817-9908 https://nasplib.isofts.kiev.ua/handle/123456789/46486 681.3(031) Исследуются методы расширения функциональных возможностей средств моделирования и мониторинга для разработки, отладки и верификации цифровых проектов. Рассматривается реализация моделирования алгоритма Витерби. Досліджується розширення функціональних можливостей засобів моделювання для розробки, наладки та верифікації цифрових проектів. Розглядається реалізація моделювання алгоритму Вітербі. Expansion of functionalities of means of modeling and monitoring for development, debugging and verifications of systems of digital processing is investigated. The implementation of modeling of algorithm Viterby is resulted. ru Інститут кібернетики ім. В.М. Глушкова НАН України Комп’ютерні засоби, мережі та системи Организация многоуровнего моделирования для верификации цифровых проектов Organization of layered modeling for verification of digital projects Article published earlier |
| spellingShingle | Организация многоуровнего моделирования для верификации цифровых проектов Семотюк, М.В. Чичирин, Е.Н. Сосненко, Е.П. |
| title | Организация многоуровнего моделирования для верификации цифровых проектов |
| title_alt | Organization of layered modeling for verification of digital projects |
| title_full | Организация многоуровнего моделирования для верификации цифровых проектов |
| title_fullStr | Организация многоуровнего моделирования для верификации цифровых проектов |
| title_full_unstemmed | Организация многоуровнего моделирования для верификации цифровых проектов |
| title_short | Организация многоуровнего моделирования для верификации цифровых проектов |
| title_sort | организация многоуровнего моделирования для верификации цифровых проектов |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/46486 |
| work_keys_str_mv | AT semotûkmv organizaciâmnogourovnegomodelirovaniâdlâverifikaciicifrovyhproektov AT čičirinen organizaciâmnogourovnegomodelirovaniâdlâverifikaciicifrovyhproektov AT sosnenkoep organizaciâmnogourovnegomodelirovaniâdlâverifikaciicifrovyhproektov AT semotûkmv organizationoflayeredmodelingforverificationofdigitalprojects AT čičirinen organizationoflayeredmodelingforverificationofdigitalprojects AT sosnenkoep organizationoflayeredmodelingforverificationofdigitalprojects |