Верификация моделей надежности программного обеспечения
Сравнение моделей надежности на основе теории динамики программных систем. Управление транспортом, связью и энергетикой. Компьютерные ошибки, потеря работоспособности систем мобильной связи и энергетических систем. Создание надежных компьютерных систем.
Подобные документы
Методология объектно-ориентированного программирования, инструментальные средства создания программных систем на основе архитектуры взаимодействия объектов. Связь методология ООАП с концепцией автоматизированной разработки программного обеспечения.
презентация, добавлен 10.08.2013Сущность безопасности программного обеспечения, разработка терминологии в этой области. Вредоносные программы как эффективные компьютерные программы. Угрозы безопасности программного обеспечения и примеры их реализации в современном компьютерном мире.
курсовая работа, добавлен 04.11.2017Теоретические аспекты функциональной надежности программного обеспечения. Методы оценки надежности программного обеспечения посредством применения функционального подхода. Теория метрик сложности для функциональной надежности программного обеспечения.
курсовая работа, добавлен 26.10.2024Анализ развития теории проектирования сложных технических систем. Суть метода морфологического синтеза. Основы выбора варианта состава и структуры комплекса средств информационного обеспечения, предполагаемого для оснащения систем управления транспортом.
статья, добавлен 11.03.2018Влияние внешних воздействующих факторов при эксплуатации информационных систем. Показатели надежности невосстанавливаемых объектов. Средняя наработка до отказа. Резервирование с учетом надежности переключателей. Способы борьбы с ошибками оператора.
курс лекций, добавлен 08.10.2017Построение имитационных моделей больших систем и проведение машинных экспериментов с этими моделями. Рассмотрение подходов к созданию имитационных моделей. Функционирование систем массового обслуживания. Реализация процесса построения графа модели.
статья, добавлен 17.06.2018Разработка архитектуры интегрированных компьютерных систем управления производственными процессами. Характеристика объектов автоматизации. Выбор контроллерных средств и алгоритмов. Создание программного обеспечения. Требования к интерфейсам пользователей.
учебное пособие, добавлен 20.12.2014Определение состава инфраструктуры объектов безопасности. Области применения предметной области информационных систем социальной безопасности. Анализ влияния сущностей социальных инфраструктур на построение концептуальных моделей информационных систем.
статья, добавлен 28.05.2018Методика преобразования исходных данных тестовых задач для систем искусственного интеллекта. Использование стандартных возможностей интернет-браузера и программного интерфейса. Оценка качества математических моделей и систем искусственного интеллекта.
статья, добавлен 25.04.2017Основные понятия теории систем и системного анализа, определение их места среди других научных направлений. Виды моделей и уровни моделирования. Целевое назначение моделей, их применение при анализе систем. Процедуры системного анализа и их характеристика
учебное пособие, добавлен 15.04.2013Эксплуатационные данные надежности автоматизированных систем. Понятие отказа и их классификация. Показатели надежности: безотказность, ремонтопригодность, долговечность, сохраняемость. Системы с информационной избыточностью. Технология защиты информации.
контрольная работа, добавлен 15.11.2010Разработка методики расчета надежности системы при заданных параметрах. Схема последовательно соединенных, с точки зрения надежности, рабочих станций (компьютеров) корпоративной сети, определение ее надежности с помощью мультипликативного показателя.
статья, добавлен 27.04.2017Изучение периферийных устройств персонального компьютера. Структура и ресурсы локальных компьютерных сетей, их топология и технология построения. Требования к надежности и эргономике информационных систем. Разработка программного сетевого обеспечения.
отчет по практике, добавлен 08.05.2014Рассмотрено построение баз знаний систем поддержки решений диспетчерского управления электроснабжением в кризисных ситуациях. Предложены логико-вероятностные модели для оценки параметров надежности. Определен язык высказываний профессиональной области.
статья, добавлен 30.01.2017Концепция и сущность управления качеством программного обеспечения. Роль стандартизации и сертификации в управлении качеством программных систем. Способы защиты программных продуктов от копирования, модификации фрагмента программы, отражающего авторство.
лабораторная работа, добавлен 21.12.2012Классификация вычислительных систем по разным признакам. Организация функционирования вычислительных систем и их различия по виду параллелизма обработки. Особенности программного обеспечения многомашинных и многопроцессорных вычислительных систем.
контрольная работа, добавлен 20.06.2015Определение эффективных методов принятия решений при проектировании программных систем. Исследование, изучение и сравнение методов многокритериальных решений, связанных с моделированием программных систем. Критерии и ограничения принятия решений.
статья, добавлен 16.12.2024Пути повышения метрологической надежности информационно-измерительных систем с помощью разработки метода повышения показателей метрологической надежности аналоговых блоков системы на этапе их проектирования при заданном схемотехническом решении.
автореферат, добавлен 01.09.2018Характеристика корпоративных информационных систем. Классификация информационных систем. Области применения и примеры реализации информационных систем. Основные понятия теории систем. Качественные и количественные модели. Основные задачи теории систем.
курс лекций, добавлен 10.02.2020Две основные концепции компьютерного программного обеспечения системы CASE. Визуальное моделирование в проектировании информационных систем. Использование UML для построения визуальных моделей. Функции информационной интермодальной логистической системы.
реферат, добавлен 21.12.2016Системы и модели массового обслуживания в коммерческой деятельности. Характеристика и анализ средств инженерного программного пакета MATLAB для построения, отладки и тестирования моделей систем массового обслуживания. Пути совершенствования моделей.
курсовая работа, добавлен 14.04.2013Изучение роли контроля при обеспечении надежности вычислительных систем. Анализ влияния контроля на увеличение или уменьшение надежности системы. Характеристика распределения ограниченных ресурсов времени на функции контроля, защиты и восстановления.
статья, добавлен 29.11.2018Разработка и реализация комбинированной модели повышения транзакционной надежности распределенных систем обработки информации и управления. Формирование и исследование моделей транзакционной структуры распределенных систем по обработке информации.
диссертация, добавлен 11.04.2013- 74. SCADA-системы
Общая характеристика автоматизированных систем управления технологическим процессом. Компоненты систем контроля и управления, их назначение. Разработка прикладного программного обеспечения СКУ. Аппаратная реализация связи с устройствами ввода/вывода.
курсовая работа, добавлен 03.10.2013 Историческая справка и предназначение систем ERP и MRP II. Основные различия систем ERP и MRP II. Рассмотрение систем программного обеспечения типа ERP и MRP II их предназначения и принципиальных отличий. Определение потребности в использовании системы.
реферат, добавлен 25.06.2021