Buchumschlag

Комплексирование формальных методов разработки и анализа надежности Event-B и FME(C)A

Анализируются существующие проблемы и возможность применения формальных методов при разработке отказоустойчивых компьютерных систем. Рассматривается интеграция формального метода разработки Event-B и метода анализа надежности FME(C)A для выявления возможных отказов, оценки их критичности, а также оп...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Математичні машини і системи
Datum:	2010
Hauptverfasser:	Тарасюк, О.М., Горбенко, А.В., Харченко, В.С.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	Інститут проблем математичних машин і систем НАН України 2010
Schlagworte:	Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/51617
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:	Комплексирование формальных методов разработки и анализа надежности Event-B и FME(C)A / О.М. Тарасюк, А.В. Горбенко, В.С. Харченко // Мат. машини і системи. — 2010. — № 2. — С. 166--177. — Бібліогр.: 19 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

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

Учет вторичных дефектов в моделях надежности программных средств
von: Одарущенко, О.Н., et al.
Veröffentlicht: (2010)

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

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

Моделирование надежности невосстанавливаемой квазимостиковой структуры
von: Пасько, В.П.
Veröffentlicht: (2013)

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

Вероятностная оценка надежности структуры сложной системы
von: Ратобыльская, Д.В.
Veröffentlicht: (2012)

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

Исследование методик расчета надежности параллельных структур
von: Джассим Мухаммед Касми, et al.
Veröffentlicht: (2007)

Управление процессом разработки сложных технических систем и процессов. Особенности применения FMEA-анализа
von: Муха, Ар.А.
Veröffentlicht: (2012)

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

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

Концепция профилей в инженерии надежности программных систем
von: Мороз, Г.Б., et al.
Veröffentlicht: (2004)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Расчет надежности и безопасности технологических процессов производства с элементами потенциальной опасности
von: Демиденко, О.М., et al.
Veröffentlicht: (2016)

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

Разработка шаблонов эволюционных методов диагностирования цифрових устройств
von: Иванов, Д.Е.
Veröffentlicht: (2014)

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

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

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

Один із прикладів використання методу пошуку несправностей у складних приладах з урахуванням зовнішніх факторів
von: Нікітенко, Є.В.
Veröffentlicht: (2014)

Одиниці виміру ризику за теорією ризик-орієнтованого підходу
von: Бєгун, В.В., et al.
Veröffentlicht: (2019)

К оценке достоверности при сертификационных испытаниях на надежность
von: Стрельников, П.В.
Veröffentlicht: (2011)

О возможности уменьшения вероятности ложных отказов блоков типа LRU на основе алгоритмической избыточности
von: Грибов, В.М., et al.
Veröffentlicht: (2014)

Оптимізування технічного обслуговування фазованих антенних решіток
von: Костановський, В.В.
Veröffentlicht: (2015)

Прогнозирование остаточной долговечности паяных соединений
von: Иванов, Н.Н., et al.
Veröffentlicht: (2012)

Исследование свойств статистики, применяемой для оценки вероятности безотказной работы
von: Стрельников, В.П., et al.
Veröffentlicht: (2008)