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

Пакет прикладних программ GARANTmod в инжиниринге гарантоспособных систем

Приводится описание пакета прикладных программ GARANTmod, предназначенного для разработчиков гарантоспособных компьютерных систем. Пакет решает разнообразные задачи по оценке и обеспечению гарантоспособности систем критического применения. Наводиться опис пакета прикладних програм GARANTmod, признач...

Повний опис

Збережено в:

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

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

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

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

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

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

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

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

Графо-аналитический метод оценки параметров DN-распределения в условиях малой статистики отказов
за авторством: Федухин, А.В., та інші
Опубліковано: (2012)

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

Достоверность работы компьютерных систем
за авторством: Сеспедес Гарсия, Н.В.
Опубліковано: (2016)

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

К вопросу о коэффициенте вариации наработки до отказа системы с последовательной структурой элементов
за авторством: Сеспедес Гарсия, Н.В.
Опубліковано: (2012)

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

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

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

Основы методики построения и периодического обновления глоссария для исследований по обеспечению устойчивого функционирования гарантоспособных систем
за авторством: Фидаров, Т.З.
Опубліковано: (2015)

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

К вопросу об определении весов метрик некоторого атрибута гарантоспособности системы
за авторством: Ярошенко, В.Н., та інші
Опубліковано: (2014)

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

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

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

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

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

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

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

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

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

Гравитационная автоматика в системах защиты объектов критических инфраструктур
за авторством: Федухин, О.В.
Опубліковано: (2017)

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

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

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

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

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

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

Имитационное моделирование отказоустойчивой резервированной двухканальной системы в интегрированной инструментальной среде MATLAB SIMULINK
за авторством: Федухин, А.В., та інші
Опубліковано: (2011)

Радиомикропроцессорные информационные системы для железнодорожных переездов серии «Благовест»
за авторством: Федухин, А.В., та інші
Опубліковано: (2014)

Резервированные микроконтроллеры и системы на их основе
за авторством: Муха, Ар.А., та інші
Опубліковано: (2019)

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

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

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

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

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