Зображення обкладинки

Концепция профилей в инженерии надежности программных систем

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

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2004
Автори:	Мороз, Г.Б., Коваль, Г.И., Коротун, Т.М.
Формат:	Стаття
Мова:	Російська
Опубліковано:	Інститут проблем математичних машин і систем НАН України 2004
Теми:	Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/83882
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Концепция профилей в инженерии надежности программных систем / Г.Б. Мороз, Г.И. Коваль, Т.М. Коротун // Мат. машини і системи. — 2004. — № 1. — С. 166-182. — Бібліогр.: 13 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Схожі ресурси

Учет вторичных дефектов в моделях надежности программных средств
за авторством: Одарущенко, О.Н., та інші
Опубліковано: (2010)

К оценке граничных уровней контролируемого показателя надежности
за авторством: Стрельников, П.В.
Опубліковано: (2010)

Концепция построения гарантоспособных вычислительных систем
за авторством: Теслер, Г.С.
Опубліковано: (2006)

Моделирование надежности восстанавливаемой резервированной системы с учетом тренда параметров надежности составных частей
за авторством: Федухин, А.В.
Опубліковано: (2007)

Моделирование надежности восстанавливаемой квазимостиковой структуры с учетом тренда параметров надежности составных частей
за авторством: Федухин, А.В., та інші
Опубліковано: (2014)

Моделирование надежности невосстанавливаемой квазимостиковой структуры
за авторством: Пасько, В.П.
Опубліковано: (2013)

К вопросу моделирования надежности восстанавливаемой квазимостиковой структуры с учетом тренда параметров надежности составных частей
за авторством: Федухин, А.В., та інші
Опубліковано: (2016)

Вероятностная оценка надежности структуры сложной системы
за авторством: Ратобыльская, Д.В.
Опубліковано: (2012)

К вопросу о статистическом моделировании надежности
за авторством: Федухин, А.В., та інші
Опубліковано: (2006)

Исследование методик расчета надежности параллельных структур
за авторством: Джассим Мухаммед Касми, та інші
Опубліковано: (2007)

Новая технология исследования надежности машин и аппаратуры
за авторством: Стрельников, В.П.
Опубліковано: (2007)

Прогнозирование надежности электронных устройств после длительного хранения
за авторством: Федухин, А.В.
Опубліковано: (2004)

Моделирование надежности восстанавливаемой системы с «холодным» резервом
за авторством: Федухин, А.В., та інші
Опубліковано: (2007)

Приближенная оценка надежности восстанавливаемых изделий на этапе эскизного проектирования
за авторством: Федухин, А.В., та інші
Опубліковано: (2018)

Экспериментальная оценка надежности изделий в условиях малого числа отказов
за авторством: Стрельников, П.В.
Опубліковано: (2011)

Моделирование надежности невосстанавливаемой нерезервированной системы с последовательной структурой элементов
за авторством: Федухин, А.В.
Опубліковано: (2008)

Использование порядковой статистики в задачах оценки надежности резервированных систем
за авторством: Азарсков, В.Н., та інші
Опубліковано: (2005)

К вопросу о надежности невосстанавливаемой системы с квазимостиковой структурой элементов
за авторством: Федухин, А.В., та інші
Опубліковано: (2017)

К вопросу о связи надежности и достоверности функционирования компьютерных систем
за авторством: Федухин, А.В., та інші
Опубліковано: (2017)

Моделирование надежности системы средствами пакета программ RELIABmod v.2.0
за авторством: Федухин, А.В., та інші
Опубліковано: (2011)

Прогнозирование показателей надежности средств вычислительной техники по результатам подконтрольной эксплуатации
за авторством: Стрельников, П.В.
Опубліковано: (2009)

Разработка программного обеспечения оценивания показателей надежности при малом числе отказов
за авторством: Стрельников, П.В.
Опубліковано: (2013)

Метод вероятностно-алгебраического моделирования надежности структурно-сложных систем большой размерности
за авторством: Сукач, Е.И.
Опубліковано: (2014)

К вопросу о моделировании надежности двухканального невосстанавливаемого вычислительного комплекса специального назначения
за авторством: Федухин, А.В., та інші
Опубліковано: (2016)

Моделирование надежности восстанавливаемой резервированной системы со структурой типа «k из n»
за авторством: Федухин, А.В.
Опубліковано: (2008)

Моделирование надежности восстанавливаемой системы с «холодным» резервом и ненадежным восстанавливающим органом
за авторством: Федухин, А.В., та інші
Опубліковано: (2007)

Расчет надежности и безопасности технологических процессов производства с элементами потенциальной опасности
за авторством: Демиденко, О.М., та інші
Опубліковано: (2016)

Прогнозирование надёжности электронных систем при отсутствии отказов с использованием дополнительной априорной информации
за авторством: Стрельников, В.П.
Опубліковано: (2003)

Комплексирование формальных методов разработки и анализа надежности Event-B и FME(C)A
за авторством: Тарасюк, О.М., та інші
Опубліковано: (2010)

Расчет надежности структур типа "k из n" на основе метода функций случайных аргументов
за авторством: Джассим Мухаммед Касми
Опубліковано: (2006)

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

Применение концепции операционных профилей в инженерии надежности программных систем
за авторством: Мороз, Г.Б., та інші
Опубліковано: (2004)

Створення електронного НМКД з дисципліни «Інформаційні технології» для студентів економічних спеціальностей
за авторством: Дмитренко, Т.А., та інші
Опубліковано: (2013)

Решение проблем гарантоспособности и отказоустойчивости систем в аспекте базисов компьютерной науки
за авторством: Теслер, Г.С.
Опубліковано: (2008)

Визначення і формалізація основних показників гарантоздатності живучих комп'ютерних систем керування на основі ймовірнісно-фізичного підходу для їх проектної оцінки і прогнозування
за авторством: Сербін, В.Г., та інші
Опубліковано: (2012)

Деякі аспекти живучості складних гарантоздатних комп'ютерних систем критичних умов застосування
за авторством: Сербін, В.Г., та інші
Опубліковано: (2011)

Показники надійності кластерів високої доступності як резервованих систем із структурною надлишковістю
за авторством: Буценко, Ю.П., та інші
Опубліковано: (2018)

Гарантоспособность компьютерных систем-мода или объективная необходимость
за авторством: Федухин, А.В., та інші
Опубліковано: (2014)

Исследование методов контроля средних показателей безотказности вычислительной техники
за авторством: Стрельников, В.П., та інші
Опубліковано: (2005)

Планирование испытаний при оценке безотказности технических систем
за авторством: Стрельников, В.П., та інші
Опубліковано: (2006)