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

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

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

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в:	Математичні машини і системи
Дата:	2010
ISSN:	1028-9763
Автори:	Тарасюк, О.М., Горбенко, А.В., Харченко, В.С.
Формат:	Стаття
Мова:	Російська
Опубліковано:	Інститут проблем математичних машин і систем НАН України 2010
Теми:	Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/51617
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Комплексирование формальных методов разработки и анализа надежности Event-B и FME(C)A / О.М. Тарасюк, А.В. Горбенко, В.С. Харченко // Мат. машини і системи. — 2010. — № 2. — С. 166--177. — Бібліогр.: 19 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Одиниці виміру ризику за теорією ризик-орієнтованого підходу
за авторством: Бєгун, В.В., та інші
Опубліковано: (2019)

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

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

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

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

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