Верификация моделей надежности программного обеспечения
Сравнение моделей надежности на основе теории динамики программных систем. Управление транспортом, связью и энергетикой. Компьютерные ошибки, потеря работоспособности систем мобильной связи и энергетических систем. Создание надежных компьютерных систем.
Подобные документы
Разработка универсальной технологии и математического аппарата самостоятельной адаптации программных систем. Использование методов интеллектуального анализа данных для создания программного обеспечения с расширенным жизненным циклом и высокой надежностью.
статья, добавлен 09.02.2022Понятие мультиагентных систем. Рассмотрение опыта их промышленной разработки, оценка трудоемкости. Управление мобильными ресурсами в реальном времени. Создание компьютерных систем нового поколения, использующих принципы самоорганизации и эволюции.
статья, добавлен 19.01.2018Краткая характеристика материально-технического и программного обеспечения учебных лабораторий КиТ. Осуществление интеграции программных модулей. Ревьюирование программных продуктов. Изучены основы проектирования и разработка информационных систем.
отчет по практике, добавлен 11.05.2021Рассмотрение вопросов определения предельного быстродействия комбинированных моделей систем автоматического регулирования на базе виртуального и реального программируемого логического контроллера. Использование программных алгоритмов регулирования.
статья, добавлен 19.03.2023SCADA как инструментальная программа для разработки программного обеспечения систем управления технологическими процессами в реальном времени. Знакомство с особенностями проведения сравнительного анализа SCADA-систем на основе различных критериев.
статья, добавлен 22.08.2020Сравнительная характеристика систем багтрекинга и систем ведения проектов, обоснование выбора лучшей из них для дальнейшей интеграции. Исследование систем Jira, Redmine, Bugzilla Сравнение систем управления базами данных (MYSQL, PostrgreSQL, SQLite).
статья, добавлен 25.07.2018- 82. Виртуализация
Виртуализация платформ, ресурсов и операционных систем. Создание программных систем на основе существующих аппаратно-программных комплексов. Использование виртуальных рабочих станций. Средства управления, миграции и поддержки виртуальных инфраструктур.
реферат, добавлен 19.12.2012 Разработка методов теории оптимизации многообъектных многокритериальных систем на основе обобщения классов равновесных решений и модификации стабильно-эффективных компромиссов. Разработка алгоритмически-программного обеспечения для управления ресурсами.
автореферат, добавлен 31.03.2018Классификация автоматизированных информационных систем. Программные средства реализации, построения, разработки и управления АИС. Выбор аппаратной платформы (intel, AMD) и операционной среды сервера. Оценка надежности и эффективности системы "ГИД-Аптека".
дипломная работа, добавлен 23.06.2012Рост компьютерной преступности в странах с развитой телекоммуникационной инфраструктурой. Изменения в уголовном законодательстве, составы преступлений по взлому компьютерных систем с корыстной целью. Меры по улучшению безопасности компьютерных систем.
реферат, добавлен 28.02.2013Рассмотрение сущности понятия "имитационное моделирование". Построение адекватных математических моделей для сложных и разноплановых производственных систем. Анализ особенностей использования имитационной модели технологического объекта управления.
статья, добавлен 19.12.2019Классификация компьютерных моделей. Этапы компьютерного моделирования. Особенности компьютерного эксперимента, этапы его проведения. Компьютерные модели физических процессов и систем массового обслуживания. Имитационное моделирование процессов и систем.
курс лекций, добавлен 03.06.2017- 88. Анализ моделей оценки рисков информационной безопасности для построения системы защиты информации
Описание моделей оценки рисков информационной безопасности для анализа информационных систем и построения систем защиты информации. Анализ моделей на основе матрицы системы управления информационной безопасностью и на базе теории нечетких множеств.
статья, добавлен 14.08.2016 Анализ структур, определяющих последовательность выполнения и взаимосвязи процессов, действий, задач. Изучение жизненного цикла автоматизированных информационных систем. Методология подготовки систем. Рассмотрение моделей разработки программного продукта.
курсовая работа, добавлен 30.01.2015Исследование вопросов реализации и верификации вероятностных многоагентных систем. Анализ и оптимизация продукционной модели с вероятностной почтовой подсистемой и вероятностным выбором действий как упрощенного варианта вероятностных многоагентных систем.
статья, добавлен 18.01.2018Рассмотрение особенностей установки, настройки, конфигурирования операционных систем семейства Windows. Оценка применения программного обеспечения для диагностики, тестирования, ремонта, мониторинга функционирования компьютерных систем и комплексов.
дипломная работа, добавлен 06.02.2023Основы теории надёжности и применение изученного материала при расчёте вероятностей безотказной работы и оптимизации вычислительных систем. Вычисление и построение зависимости. Сущность определения статистической оценки частоты и интенсивности отказов.
задача, добавлен 03.01.2014Виды систем автоматического управления. Особенность логарифмических характеристик статических систем. Определение точности систем автоматического управления при гармоническом входном воздействии. Оценка амплитуды ошибки отработки гармонического сигнала.
лабораторная работа, добавлен 23.07.2015Основные понятия и определения автоматизированных систем управления (АСУ). Классификация отказов и показатели надежности. Алгоритмы и методы диагностирования АСУ, построенных на базе персональных компьютеров. Криптосистемы и элементы теории чисел.
курс лекций, добавлен 28.12.2013Разработка метода проектирования программных моделей протоколов передачи данных. Разработка алгоритма разметки раскрашенной сети Петри для осуществления верификации архитектурных диаграмм программных моделей. Метод построения раскрашенной сети Петри.
автореферат, добавлен 02.12.2017Внедрение стандартов и технологий информационных систем, используемых как для аппаратных средств, так и для программных продуктов. Построение программного обеспечения вычислительных и информационных комплексов, основанных на идеологии открытых систем.
статья, добавлен 30.07.2017Назначение методов верификации программного обеспечения. Оценка технического состояния и работоспособности программного обеспечения. Анализ преимуществ и недостатков использования частично формализованных методов верификации программного обеспечения.
статья, добавлен 28.05.2017Автоматизация проверки правильности программных систем как актуальная задача современной программной инженерии. Анализ метода выявления таких патологий формальных моделей, как неполнота и противоречивость, а так же гонки в параллельных процессах.
статья, добавлен 28.02.2016Нейрофизиологические и нейрохимические процессы, происходящие в мозге человека. Создание интеллектуальных информационных систем поддержки творческих решений. Системный анализ междисциплинарных моделей. Проектирование информационно-управляющих систем.
статья, добавлен 24.05.2018Исследование подхода к анализу организационных структур сложных систем, базирующегося на применении моделей стохастических сетей. Определение условий работоспособности систем, оценка загруженности отдельных ее элементов и влияние внешних факторов.
статья, добавлен 06.05.2018