Верификация моделей надежности программного обеспечения
Сравнение моделей надежности на основе теории динамики программных систем. Управление транспортом, связью и энергетикой. Компьютерные ошибки, потеря работоспособности систем мобильной связи и энергетических систем. Создание надежных компьютерных систем.
Подобные документы
Средства повышения надежности автоматизированных систем управления. Разработка структуры автоматизированной системы для мониторинга надежности программного обеспечения. Способы прогнозирования, оценки и контроля надежности программного обеспечения.
статья, добавлен 27.05.2018Взаимосвязь надежности аппаратного и программного обеспечения. Основные подходы к реализации мультиверсионности программного модуля. Оценка трудозатрат и стоимость разработки программного обеспечения. Основные варианты использования программных систем.
статья, добавлен 12.03.2019Создание общей методологии агрегирования статических моделей анализа надежности и безопасности на основе деревьев отказов, деревьев событий с динамическими моделями процессов. Машинно-ориентированные расчетные процедуры определения показателей надежности.
автореферат, добавлен 12.02.2018Контроль параметров, диагностика и восстановление работоспособности компьютерных систем и комплексов. Системотехническое обслуживание компьютеров. Отладка, технические испытаниях компьютерных систем, инсталляция, конфигурирование программного обеспечения.
отчет по практике, добавлен 06.06.2020Свойства информационных систем и понятия теории надежности. Синергетичность, приоритет интересов, эмерджентность, мультипликативность, целенаправленность и альтернативность путей. Особенности критериев и качественных характеристик надежности систем.
курсовая работа, добавлен 04.12.2012Методика расчета верхнего и нижнего среднего уровня работоспособности элементов тренажерно-обучающих систем, которые могут находиться в конечном или бесконечном числе состояний надежности. Принципы проведения анализа надежности многозначных систем.
реферат, добавлен 22.01.2018Ознакомление с историей возникновения термина надежности программных средств. Исследование исправления ошибок системой — плодотворного метода проектирования надежных систем аппаратного обеспечения. Анализ мультипроцессорной системы с виртуальной памятью.
курсовая работа, добавлен 17.03.2016Характеристика моделей оценки надежности программного обеспечения. Анализ подхода к оценке надежности программ на основании совокупного достижения надежности каждого функционального блока. Описание алгоритма оценки надежности программного обеспечения.
статья, добавлен 28.07.2017Исследование и анализ развития компьютерных обучающих систем и математических моделей для их реализации. Выбор конкретных существующих математических моделей и их модификация. Реализация разработанных моделей при создании компьютерных обучающих систем.
автореферат, добавлен 18.07.2018Социально-экономическое значение проблемы надежности информационных систем в современном обществе. Методы получения оценок надежности технических систем. Модель надежности невосстанавливаемого и восстанавливаемого элемента. Методы резервирования в ИС.
курс лекций, добавлен 25.06.2012Возможности модельно-ориентированное проектирование при помощи программных продуктов MathWorks, позволяющие автоматизировать процесс разработки, отладки и верификации программного обеспечения для встраиваемых систем управления. Пакет прикладных программ.
статья, добавлен 13.02.2016Классификация структурных моделей надежности технических систем: параллельно-последовательных, мостиковых, типовых и комбинированных. Алгоритмическое и программное обеспечение для каждого класса с получением количественных параметров безотказности.
лабораторная работа, добавлен 11.06.2015Понятие прикладного программного обеспечения и инструментальных программных средств. Характеристика видов специального программного обеспечения: экспертных систем, трансляторов, мультимедиа-приложений, гипертекстовых систем, систем управления содержимым.
реферат, добавлен 22.11.2014Понятия качества и надежности вычислительных систем. Требования к телекоммуникационным системам в космонавтике. Создание средств автоматизации проектирования и отладки бортовых программ. Контроль работоспособности аппаратуры космических аппаратов.
автореферат, добавлен 16.02.2018Задачи расчета надежности локальных систем регулирования, контроля, защиты и дистанционного управления. Основные этапы расчета надежности с учетом принятых моделей описания процессов функционирования и восстановления. Составление логической схемы.
контрольная работа, добавлен 19.12.2017Разработка процедур анализа многоверсионных систем в части адаптации существующих моделей надежности и функциональной безопасности. Оценка эффективности комбинаторной схемы, теоретико-множественной модели и метрики многоверсионности данных систем.
статья, добавлен 14.07.2016Обзор базовой функциональности программного обеспечения, его специфические особенности. Характеристика программного обеспечения для построения распределенных и надежных веб-систем. Исследование основных критериев для сравнения программного обеспечения.
статья, добавлен 11.01.2018Вероятность безотказного выполнения программ. Характеристики, определяющие надежность функционирования программного обеспечения. Классификация моделей надежности и их характеристика. Методические указания по выполнению расчета вероятностных показателей.
реферат, добавлен 16.12.2013Проектирование и модернизация автоматизированных информационных систем. Оценка факторов риска в корпоративных сетях. Оценка надежности программного обеспечения. Зависимость коэффициента готовности программного обеспечения от времени тестирования.
статья, добавлен 15.08.2020Автоматизированные системы управления связью как важный системный компонент, выполняющий задачи обеспечения эффективного применения систем связи. Концептуальные подходы к построению АСУС с использованием информационных и телекоммуникационных технологий.
статья, добавлен 02.04.2019Принципы разработки программного обеспечения и программных систем. Взаимосвязь между стандартными процессами. Синтезирующее, конкретизирующее и сборочное программирование. Применение математических принципов к разработке программного обеспечения.
курс лекций, добавлен 27.09.2017Организация управления безопасностью функционирования комплексов геоинформационной поддержки процессов управления связью автоматизированных систем, обеспечивающих функционирование систем связи в условиях информационных воздействий и компьютерных атак.
статья, добавлен 02.04.2019Исследование динамики и проектирования систем и устройств - основное назначение программного комплекса "МВТУ". Простота построения сложных моделей с использованием вложенных структур и алгоритмов типовых блоков - одно из преимуществ данной программы.
курсовая работа, добавлен 26.07.2015Минимизация логической функции с использованием карты Карно. Важность определения надежности информационных систем. Вероятность безотказной работы модулей. Тестирование программного приложения. Внедрение программных приложений, совместимых с системой.
реферат, добавлен 06.12.2016Исследование интерактивных систем планирования и управления производством. Разработка и апробация алгоритмов построения сетевых моделей сложных социально-экономических систем. Создание информационного пространства на уровне предприятия, региона и страны.
автореферат, добавлен 15.06.2018