Применение сетей Петри в разработке многопоточного программного обеспечения с ограниченными разделяемыми ресурсами на примере центров дистанционного управления и контроля
Набор UML-диаграмм и свойств сети Петри с целью обеспечения надежности функционирования многопоточного программного обеспечения с ограниченными разделяемыми ресурсами. Разработка программных решений для повышения производительности моделирования программ.
Подобные документы
Проектирование программного продукта, способного помочь студентам в изучении математического аппарата моделирования сетей Петри. Структура и динамическое поведение моделируемой системы. Алгоритм реализации программы. Построение сети вида клиент-сервер.
курсовая работа, добавлен 04.07.2018Средства повышения надежности автоматизированных систем управления. Разработка структуры автоматизированной системы для мониторинга надежности программного обеспечения. Способы прогнозирования, оценки и контроля надежности программного обеспечения.
статья, добавлен 27.05.2018Сети Петри с ингибиторными (запрещающими) дугами. Приоритетные, временные, стохастические, функциональные, автоматные сети Петри, их основные примеры. Цветная или раскрашенная сеть Петри. WF-сети как подкласс называемый также сетями потоков работ.
презентация, добавлен 05.11.2016Разработка программного обеспечения, позволяющего автоматизировать подсчет метрик отражающих "почерк создателя" программного обеспечения для исходных кодов программ и профиля для достоверного осуществления идентификации автора программного обеспечения.
статья, добавлен 28.02.2016Особенность разработки сетей Петри для моделирования систем, которые содержат взаимодействующие параллельные компоненты, а также социальные и биологические системы. Характеристика представления сети Петри в виде графа и в виде структуры сети Петри.
презентация, добавлен 03.05.2023Взаимосвязь надежности аппаратного и программного обеспечения. Основные подходы к реализации мультиверсионности программного модуля. Оценка трудозатрат и стоимость разработки программного обеспечения. Основные варианты использования программных систем.
статья, добавлен 12.03.2019Характеристика моделей оценки надежности программного обеспечения. Анализ подхода к оценке надежности программ на основании совокупного достижения надежности каждого функционального блока. Описание алгоритма оценки надежности программного обеспечения.
статья, добавлен 28.07.2017Регенерация программного обеспечения как совершенно новый процесс, который обусловлен взаимосвязью программных компонент технологии и данных в информационных системах. Общая характеристика задачи регенерации программного обеспечения информационных систем.
статья, добавлен 07.07.2020Характеристика надежности программного обеспечения как вероятности безаварийной работы для определенного периода времени в указанной среде. Подходы для обеспечения надежности программ: различные технологии и технологические программные средства.
реферат, добавлен 24.02.2015Моделирование расписания выполнения программного проекта с помощью сетей Петри. Определение правил перехода от сетевого графика или диаграммы Ганта к сетевой модели Петри. Оценка структуры расписания работ проекта с использованием стохастических сетей.
статья, добавлен 28.01.2020Аналитический обзор моделирования и его методов. Характеристика средств моделирования: PIPE2 20, Petri.Net Simulator 2, DCnet, МСУсП, СPN Tools. Расширение математического аппарата сетей Петри и функционала CPN Tools. Разработка класса нейронной позиции.
дипломная работа, добавлен 04.07.2018Обзор средств получения абстрактного синтаксического дерева и обфускации. Повышение надежности функционирования, с точки зрения компьютерной безопасности, программного обеспечения в недоверенной среде при помощи полиморфной модификации программного кода.
статья, добавлен 24.03.2019Разработка метода проектирования программных моделей протоколов передачи данных. Разработка алгоритма разметки раскрашенной сети Петри для осуществления верификации архитектурных диаграмм программных моделей. Метод построения раскрашенной сети Петри.
автореферат, добавлен 02.12.2017Модульные внешние станции удаленного управления, процесс создания программных продуктов. Спецификация программного обеспечения. Определение основных характеристик программного обеспечения отраслевой направленности. Описание стандартной модели качества.
реферат, добавлен 21.09.2019Принципы разработки программного обеспечения и программных систем. Взаимосвязь между стандартными процессами. Синтезирующее, конкретизирующее и сборочное программирование. Применение математических принципов к разработке программного обеспечения.
курс лекций, добавлен 27.09.2017Изучение основных понятий, методов и моделей программной инженерии, составляющих процесса разработки программного обеспечения. Разработка функциональной структуры программного обеспечения. Разработка программного кода. Анализ программного продукта.
лабораторная работа, добавлен 20.09.2016Разработка программного обеспечения и описание архитектуры разработанной системы мониторинга и управления лесными ресурсами на базе программного обеспечения с открытым исходным кодом. Обзор технологий, используемых для решения поставленной задачи.
статья, добавлен 27.05.2018Анализ принципов построения модели сети Петри, используемой при моделировании аппаратного и программного обеспечение ЭВМ. Характеристика графического представления рассматриваемых сетей и их маркировка. Оценка последовательности дискретных событий.
лекция, добавлен 18.10.2013Характеристика основных принципиальных вопросов, возникающих при разработке программного обеспечения. Совершенствование базового программного продукта и выпуск дополнительных версий с самыми последними изменениями. Обзор семейств программных продуктов.
статья, добавлен 16.02.2019Реализация надежного программного обеспечения задач технической диагностики информационно-управляющих систем. Исследование временных отрезков между системными ошибками. Рассмотрение классификации современных моделей надежности программного обеспечения.
статья, добавлен 29.05.2017Предназначение теории сетей Петри для работы с параллельными и асинхронными системами. Определение входного и выходного мультимножества. Графическая форма сетей Петри, композиционный подход к их построению. Способы преобразования простых сетей в цветные.
реферат, добавлен 02.04.2011Излагаются методы отладки, и тестирования программ. Особенности разработки технической и проектной документации. Анализируются методики измерений характеристик программного обеспечения, оценки их эффективности. Стандарты качества программного обеспечения.
отчет по практике, добавлен 19.11.2020Рассмотрение подходов по обучению разработчиков и администраторов безопасной разработке программного обеспечения. Разработка способа обучения основам обеспечения безопасности при разработке программного обеспечения. Проверка разработанной методики.
дипломная работа, добавлен 01.12.2019Выбор методов выявления и устранения проблем совместимости программного обеспечения отраслевой направленности. Решение проблем сбоя установки ОС. Тестирование производительности программного обеспечения. Обслуживание серверного программного обеспечения.
методичка, добавлен 24.02.2022Определение причин выбора Agile-подхода в разработке программного обеспечения. Разработка основных принципов управления проектами Agile на основе производительности, адаптивности и сотрудничества. Анализ преимуществ гибкого управления проектами.
статья, добавлен 21.07.2020