Buchumschlag

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

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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Математичні машини і системи
Datum:	2013
Hauptverfasser:	Федухин, А.В., Сеспедес Гарсия, Н.В.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	Інститут проблем математичних машин і систем НАН України 2013
Schlagworte:	Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/84087
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:	Пакет прикладних программ GARANTmod в инжиниринге гарантоспособных систем / А.В. Федухин, Н.В. Сеспедес Гарсия // Мат. машини і системи. — 2013. — № 3. — С. 178-185. — Бібліогр.: 62 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

Атрибуты и метрики гарантоспособных компьютерных систем
von: Федухин, А.В., et al.
Veröffentlicht: (2013)

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

К вопросу о сравнительной оценке гарантоспособных систем
von: Федухин, А.В., et al.
Veröffentlicht: (2014)

Концепция построения гарантоспособных вычислительных систем
von: Теслер, Г.С.
Veröffentlicht: (2006)

Моделирование надежности восстанавливаемой системы с «холодным» резервом и ненадежным восстанавливающим органом
von: Федухин, А.В., et al.
Veröffentlicht: (2007)

Графо-аналитический метод оценки параметров DN-распределения в условиях малой статистики отказов
von: Федухин, А.В., et al.
Veröffentlicht: (2012)

К вопросу о статистическом моделировании надежности
von: Федухин, А.В., et al.
Veröffentlicht: (2006)

Достоверность работы компьютерных систем
von: Сеспедес Гарсия, Н.В.
Veröffentlicht: (2016)

К вопросу о связи надежности и достоверности функционирования компьютерных систем
von: Федухин, А.В., et al.
Veröffentlicht: (2017)

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

К вопросу о надежности невосстанавливаемой системы с квазимостиковой структурой элементов
von: Федухин, А.В., et al.
Veröffentlicht: (2017)

Моделирование надежности системы средствами пакета программ RELIABmod v.2.0
von: Федухин, А.В., et al.
Veröffentlicht: (2011)

Закономерности изменения средней наработки на отказ технических систем в процессе эксплуатации
von: Стрельников, В.П., et al.
Veröffentlicht: (2010)

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

Приближенная оценка надежности восстанавливаемых изделий на этапе эскизного проектирования
von: Федухин, А.В., et al.
Veröffentlicht: (2018)

К вопросу об определении весов метрик некоторого атрибута гарантоспособности системы
von: Ярошенко, В.Н., et al.
Veröffentlicht: (2014)

Анализ эффективности смешанного резервирования невосстанавливаемых систем
von: Федухин, А.В.
Veröffentlicht: (2008)

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

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

Обеспечение живучести систем противоаварийной автоматики на гидроэлектростанциях
von: Федухин, А.В., et al.
Veröffentlicht: (2018)

К вопросу о достоверности функционирования компьютерных систем с квазимостиковой структурой
von: Муха, Ар.А., et al.
Veröffentlicht: (2019)

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

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

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

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

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

Моделирование надежности восстанавливаемой резервированной системы с учетом тренда параметров надежности составных частей
von: Федухин, А.В.
Veröffentlicht: (2007)

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

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

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

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

К вопросу о моделировании надежности двухканального невосстанавливаемого вычислительного комплекса специального назначения
von: Федухин, А.В., et al.
Veröffentlicht: (2016)

Имитационное моделирование отказоустойчивой резервированной двухканальной системы в интегрированной инструментальной среде MATLAB SIMULINK
von: Федухин, А.В., et al.
Veröffentlicht: (2011)

Радиомикропроцессорные информационные системы для железнодорожных переездов серии «Благовест»
von: Федухин, А.В., et al.
Veröffentlicht: (2014)

Резервированные микроконтроллеры и системы на их основе
von: Муха, Ар.А., et al.
Veröffentlicht: (2019)

К вопросу взаимосвязи величин метрик и их весов
von: Федухин, А.В., et al.
Veröffentlicht: (2015)

ПЛИС-системы как средство повышения отказоустойчивости
von: Федухин, А.В., et al.
Veröffentlicht: (2010)

Новый подход к автоматизации переездов на железнодорожном транспорте
von: Федухин, А.В., et al.
Veröffentlicht: (2011)

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

О сертификации систем менеджмента качества
von: Стрельников, П.В.
Veröffentlicht: (2005)