ISSN 1991-2927
 

АПУ № 4 (58) 2019

Автор: "Савкин Александр Леонидович"

УДК 004.05

Самонов Александр Валерьянович, кандидат технических наук, доцент, окончил Военную инженерную Краснознаменную академию им. А.Ф. Можайского. Старший научный сотрудник Военно-космической академии им. А.Ф. Можайского. Имеет более 30 трудов в области системного анализа, системной и программной инженерии, валидации и верификации программного обеспечения, методов и средств обеспечения информационной безопасности. [e-mail: a.samonov@mail.ru]А.В. Самонов,

Малышев Сергей Романович, кандидат технических наук, доцент, окончил Военный инженерный Краснознаменный институт им. А.Ф. Можайского. Заслуженный изобретатель РФ. Доцент Военной академии связи (ВАС) им. С.М. Буденного. Имеет учебные пособия, статьи и изобретения в области современных теоретических аспектов ведения радиомониторинга и радиотехнического контроля. [e-mail: malishevsr56@ya.ru]С.Р. Малышев,

Краснов Сергей Васильевич, кандидат технических наук, доцент, окончил Ульяновское высшее военное командное училище связи (УВВКУС), адъюнктуру Ульяновского высшего военного инженерного училища связи. Доцент Высшей школы управления и бизнеса Санкт-Петербургского политехнического университета Петра Великого. Имеет более 50 работ в области проектирования и внедрения информационных систем и технологий. [e-mail: hsm.krasnov@gmail.com]С.В. Краснов,

Савкин Александр Леонидович, кандидат военных наук, доцент, окончил УВВКУС, ВАС им. С.М. Буденного, адъюнктуру там же. Начальник службы обеспечения научно-технической деятельности ФНПЦ АО «НПО «Марс». Имеет научные работы, учебные пособия, статьи в области разработки и моделирования систем управления и связи, автоматизированных информационных систем. [e-mail:mars@mv.ru]А.Л. Савкин

Методы и средства реализации процесса сквозного контроля качества артефактов жизненного цикла разработки критически важных информационных систем57_2.pdf

Представлены методы и средства реализации последовательно-итерационного, программно-управляемого процесса разработки и верификации комплекса требований и проектных решений, разрабатываемых при создании автоматизированных информационных систем, используемых на объектах критической инфраструктуры государства. Дано описание единой модельно-языковой и информационно-программной среды, разработанной на основе языков моделирования и проектирования SysML, FUML, OCL, математического аппарата сетей Петри, временных автоматов, а также программных средств верификации и анализа формальных моделей комплекса требований и проектных решений CPN Tools, Rodin и SPIN. Построение формальных графово-текстовых моделей комплекса требований и проектных решений выполняется на основе разработанных для этого шаблонов, представляющих собой расширения диаграмм вариантов использования, деятельности, состояний и взаимодействия, внешнего и внутреннего представлений компонентов системы, активных и пассивных классов.
Процедура тестирования полноты и корректности комплекса требований осуществляется посредством анализа хода и результатов исполнения его формальной модели в среде виртуальной машины VM FUML, верификации поведенческой части модели с помощью CPN Tools и Rodin на предмет стабильности, ограниченности, выявления тупиковых и недоступных состояний, а также посредством оценивания качества реализации базовых механизмов объектно-ориентированной парадигмы (инкапсуляции, наследования, полиморфизма, абстракции, обмена сообщениями). Формальные модели проектных решений, представленные в виде диаграмм активностей, транслируются на язык CPN ML и затем верифицируются средствами CPN Tools. Диаграммы последовательностей транслируются на язык Promela и верифицируются в среде SPIN. Диаграммы состояний транслируются на язык EventB и проверяются с помощью средств Rodin.
Реализация представленного в статье подхода создания критически важных информационных систем позволит осуществлять раннее обнаружение и устранение дефектов требований и проектных решений непосредственно на этапах их разработки, что приведет к повышению качества разрабатываемых систем и снижению финансовых и временных затрат, связанных с выполнением дополнительных работ.

Валидация и верификация, временные автоматы, информационные системы, проектирование и моделирование, сети Петри, функциональные и эксплуатационные требования.

2019_ 3

Рубрика: Информационные системы

Тематика: Информационные системы.



УДК 004.413.4

Радионова Юлия Александровна, ФНПЦ АО «НПО «Марс», кандидат технических наук, окончила механико-математический факультет Ульяновского государственного университета, аспирантуру Ульяновского государственного технического университета. Ведущий инженер-программист ФНПЦ АО «НПО «Марс». Имеет публикации в сфере автоматизированных систем документооборота, интеллектуальной организации хранилищ технической документации, статистической оценки поставщиков. Сфера научных интересов: электронный документооборот, архивохранилища, статистический анализ данных, системы поддержки принятия решений. [e-mail: julia-owl@mail.ru]Ю.А. Радионова,

Емельянов Александр Алексеевич, ФНПЦ АО «НПО «Марс», кандидат технических наук, окончил Военную академию им. Ф.Э. Дзержинского. Главный специалист ФНПЦ АО «НПО «Марс». Имеет публикации в области создания систем менеджмента качества, защиты информации, статистической оценки поставщиков. [e-mail: mars@mv.ru]А.А. Емельянов,

Савкин Александр Леонидович, ФНПЦ АО «НПО «Марс», кандидат военных наук, доцент, окончил Ульяновское высшее военное командное училище связи, Военную академию связи им. С.М. Буденного, адъюнктуру при ВАС. Начальник службы обеспечения научно-технической деятельности ФНПЦ АО «НПО «Марс». Имеет научные работы, учебные пособия, статьи в области разработки и моделирования систем управления и связи, статистической оценки поставщиков. [e-mail: mars@mv.ru]А.Л. Савкин

Использование статистических данных в рамках динамической модели оценки надежности программного обеспечения54_5.pdf

Рассмотрена проблема оценки надежности программного обеспечения (ПО), основные понятия и показатели оценки надежности и существующие модели оценки надежности. Проведен анализ параметров существующих моделей и выбрана модель, наиболее подходящая для оценки надежности ПО в условиях опытной эксплуатации. Разработана модификация выбранной модели, учитывающая сложность ПО, распределение работ в процессе разработки ПО, квалификацию исполнителей, разграничение сложности и важности ошибок, обнаруженных при тестировании. Разработана структура базы данных (Бд) для хранения данных экспериментов, выполнена программная реализация исходной и модифицированной моделей, составлен план экспериментов, проведено моделирование процесса тестирования с различными комбинациями исходных данных. Проведен сравнительный анализ погрешностей работы моделей, на основании которого сделан вывод о более высокой эффективности оценки надежности ПО, проведенной с помощью модифицированной модели. Введено понятие коэффициента эффективности исполнителя, по полученным статистическим данным проведен анализ его динамики, подтвердивший корректность его определения в рамках разработанной модели. Сделан вывод о возможности введения дополнительного функционала оценки качества ПО с разделением по модулям, а также формирования рекомендаций по назначению задач исполнителям по результатам проведенного анализа обнаруженных ошибок.

Надежность ПО, модель оценки надежности, тестирование, эффективность.

2018_ 4

Рубрика: Информационные системы

Тематика: Информационные системы.


УДК 004.413.4

Емельянов Александр Алексеевич, ФНПЦ АО «НПО «Марс», кандидат технических наук, окончил Военную академию им. Ф.Э. Дзержинского. Заместитель главного инженера ФНПЦ АО «НПО «Марс» по качеству и инженерно-техническому обеспечению - начальник управления. Имеет публикации в области создания систем менеджмента качества, защиты информации, статистической оценки поставщиков. [e-mail: mars@mv.ru]А.А. Емельянов,

Радионова Юлия Александровна, ФНПЦ АО «НПО «Марс», кандидат технических наук, окончила механико-математи-ческий факультет Ульяновского государственного университета, аспирантуру Ульяновского государственного технического университета. Ведущий инженер-программист ФНПЦ АО «НПО «Марс». Имеет публикации в сфере автоматизированных систем документооборота, интеллектуальной организации хранилищ технической документации, статистической оценки поставщиков. [e-mail: julia-owl@mail.ru]Ю.А. Радионова,

Савкин Александр Леонидович, ФНПЦ АО «НПО «Марс», кандидат военных наук, доцент, окончил Ульяновское высшее военное командное училище связи, Военную академию связи им. С.М. Буденного, адъюнктуру при ВАС. Начальник службы обеспечения научно-технической деятельности ФНПЦ АО «НПО «Марс». Имеет научные работы, учебные пособия, статьи в области разработки и моделирования систем управления и связи, статистической оценки поставщиков. [e-mail: mars@mv.ru]А.Л. Савкин

Информационно-аналитическая модель исследования продукции на контрафактность52_4.pdf

Рассмотрена проблема контрафактной продукции и существующие способы ее решения. Для оптимизации экспертной оценки продукции предложен информационно-аналитический метод, использующий набор параметров и позволяющий автоматизировать процесс принятия окончательного решения. В наборе параметров учтены не только показатели для поставщиков, но и возможные последствия использования контрафактной продукции для различных групп потребителей. Метод основан на применении нейронной сети с использованием некоторой базы экспертных знаний. Обучение сети проводится в процессе анализа с возможностью корректировки экспертом. Проведено моделирование процесса анализа с различными наборами входных параметров и различными параметрами нейронной сети. Результаты сохранены в базе данных, на основе их проведена оценка работы нейронной сети. Представлена структура базы данных, структура входных параметров и визуализация результатов экспериментов.

Контрафакт, моделирование, параметры оценки, база данных, программное обеспечение, нейронная сеть.

2018_ 2

Рубрика: Информационные системы

Тематика: Информационные системы.


УДК 004.413.4

Емельянов Александр Алексеевич, ФНПЦ АО «НПО «Марс», кандидат технических наук, окончил Военную академию им. Ф.Э. Дзержинского. Заместитель главного инженера ФНПЦ АО «НПО «Марс» по качеству и инженерно-техническому обеспечению - начальник управления. Имеет публикации в области создания систем менеджмента качества и защиты информации. [e-mail: mars@mv.ru]А.А. Емельянов,

Радионова Юлия Александровна, ФНПЦ АО «НПО «Марс», кандидат технических наук, окончила механико-математический факультет Ульяновского государственного университета, аспирантуру Ульяновского государственного технического университета. Ведущий инженер-программист ФНПЦ АО «НПО «Марс». Имеет публикации в сфере автоматизированных систем документооборота, интеллектуальной организации хранилищ технической документации, статистической оценки поставщиков. [e-mail: julia-owl@mail.ru]Ю.А. Радионова,

Савкин Александр Леонидович, ФНПЦ АО «НПО «Марс», кандидат военных наук, доцент, окончил Ульяновское высшее военное командное училище связи, Военную академию связи им. С.М. Буденного, адъюнктуру при Военной академии связи. Начальник службы обеспечения научно-технической деятельности ФНПЦ АО «НПО «Марс». Имеет научные работы, учебные пособия, статьи в области разработки и моделирования систем управления и связи. [e-mail: mars@mv.ru]А.Л. Савкин

Моделирование и статистический контроль рисков процесса закупки000_7.pdf

Для оптимизации процесса проведения приемочного контроля на предприятии разработано дополнение к статистическому методу контроля - динамическая характеристика поставщика [1]. На основании некоторых параметров поставщика и партии поставки изделий формируется коэффициент, позволяющий уменьшить объем контролируемой выборки. В предлагаемой работе приводится описание структуры базы данных, разработанной на основе метода статистического контроля поставок и расчета динамической характеристики. База данных позволяет хранить статистические данные поставок продукции и данные расчетов для моделирования процесса приемочного контроля. Приведены схемы взаимосвязи сущностей базы данных, схема расчета динамической характеристики на основе имеющихся данных. Дано краткое описание интерфейса разработанного программного приложения, в рамках которого реализованы функции регистрации, просмотра и анализа данных, расчетов индексов качества поставщиков, расчетов данных для моделирования процессов контроля.

Статистический контроль, оценка поставщика, динамическая характеристика, параметры оценки, моделирование, база данных, программное обеспечение.

2017_ 2

Рубрика: Информационные системы

Тематика: Информационные системы.


УДК 004.413.4

Емельянов Александр Алексеевич, ФНПЦ АО «НПО «Марс», кандидат технических наук, окончил Военную академию им. Ф.Э. Дзержинского. Заместитель главного инженера по качеству и инженерно-техническому обеспечению - начальник управления ФНПЦ АО «НПО «Марс». Имеет публикации в области создания систем менеджмента качества и защиты информации. [ [e-mail: mars@mv.ru]А.А. Емельянов,

Радионова Юлия Александровна, ФНПЦ АО «НПО «Марс», кандидат технических наук, окончила механико-математический факультет Ульяновского государственного университета, аспирантуру Ульяновского государственного технического университета. Ведущий инженер-программист ФНПЦ АО «НПО «Марс». Имеет публикации в сфере автоматизированных систем документооборота, интеллектуальной организации хранилищ технической документации. [e-mail: julia-owl@mail.ru]Ю.А. Радионова,

Савкин Александр Леонидович, ФНПЦ АО «НПО «Марс», кандидат военных наук, доцент, окончил Ульяновское высшее военное командное училище связи, Военную академию связи им. С.М. Буденного, адъюнктуру при Военной академии связи. Начальник службы обеспечения научно-технической деятельности ФНПЦ АО «НПО «Марс». Имеет научные работы, учебные пособия, статьи в области разработки и моделирования систем управления и связи. [e-mail: mars@mv.ru]А.Л. Савкин

Статистический метод оценки поставщиков для крупного приборостроительного предприятия000_10.pdf

Рассмотрены основные понятия статистического приемочного контроля - планы, виды, уровни, оперативные характеристики, риски поставщика и потребителя, приемочный и браковочный уровни дефектности, а также взаимосвязь всех параметров на основе теории математической статистики. Рассмотрены применение статистического контроля для приемки партий покупных изделий и комплектующих, одноступенчатые, двухступенчатые и многоступенчатые планы контроля, методы вычисления объема контролируемых выборок, основные проблемы, возникающие при применении указанных методов. Введены понятия динамической характеристики поставщика и уровня доверия к поставщику. Предложен метод формирования динамической характеристики поставщика на основе накопления и анализа статистических данных входного контроля за предыдущие периоды - значений параметров поставщика, формирующих индекс качества поставщика, показателей качества партии изделий в целом и показателей качества отдельных изделий. Рассмотрена зависимость объемов контролируемых выборок от динамической характеристики поставщика.

Слова: статистический контроль, оценка поставщика, динамическая характеристика.

2016_ 4

Рубрика: Информационные системы

Тематика: Информационные системы.


УДК 621.396


Зиганшин Руслан Габдуллович, ФНПЦ ОАО «НПО «Марс», Кандидат военных наук, окончил Военную академию связи им. С.М. Буденного, адъюнктуру (там же). Ведущий инженер по подготовке производства. Специализируется в области эксплуатации и технического обслуживания техники связи и АСУВ. Имеет публикации в области теорий надежности и технической диагностики. [e-mail: zuganshin-ruslan@yandex.ru]Р.Г. Зиганшин,

Кальников Владимир Викторович, ФНПЦ ОАО «НПО «Марс», Кандидат технических наук, доцент, окончил радиоинженерный факультет Киевского высшего военного инженерного училища связи им. М.И. Калинина. Главный специалист. Специализируется в области многоканальной электропроводной и волоконно-оптической связи. Имеет статьи, учебные пособия, изобретения в области проектирования цифровых и волоконно-оптических систем передачи. [e-mail: kvvik@bk.ru]В.В. Кальников,

Савкин Александр Леонидович, ФНПЦ ОАО «НПО «Марс», Кандидат военных наук, доцент, окончил Ульяновское высшее военное командное училище связи, Военную академию связи им. С.М. Буденного, адъюнктуру (там же). Главный специалист. Имеет научные работы, учебные пособия, статьи в области разработки и моделирования систем управления и связи. [e-mail: mars@mv.ru]А.Л. Савкин

Моделирование прогнозирования технического состояния радиоэлектронных изделий26_6.pdf

В статье рассмотрен подход к прогнозированию технического состояния радиоэлектронных изделий (РЭИ) на основе метода статического моделирования. Приведены основные положения математического аппарата, используемого в рамках рассмотренного метода моделирования. Проанализированы способы разработки моделирующих алгоритмов прогнозирования технического состояния РЭИ с точки зрения их эффективности машинной реализации.

Прогнозирование технического состояния, радиоэлектронное изделие, метод статического моделирования, задачи статического моделирования, моделирующий алгоритм, способы разработки моделирующих алгоритмов.

2011_ 4

Рубрика: Математическое моделирование, численные методы и комплексы программ

Тематика: Математическое моделирование, Электротехника и электронные устройства .


© ФНПЦ АО "НПО "Марс", 2009-2018 Работает на Joomla!