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

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

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2010
Автори:	Тарасюк, О.М., Горбенко, А.В., Харченко, В.С.
Формат:	Стаття
Мова:	Russian
Опубліковано:	Інститут проблем математичних машин і систем НАН України 2010
Назва видання:	Математичні машини і системи
Теми:	Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення
Онлайн доступ:	http://dspace.nbuv.gov.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

id	irk-123456789-51617
record_format	dspace
spelling	irk-123456789-516172013-12-05T03:11:22Z Комплексирование формальных методов разработки и анализа надежности Event-B и FME(C)A Тарасюк, О.М. Горбенко, А.В. Харченко, В.С. Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення Анализируются существующие проблемы и возможность применения формальных методов при разработке отказоустойчивых компьютерных систем. Рассматривается интеграция формального метода разработки Event-B и метода анализа надежности FME(C)A для выявления возможных отказов, оценки их критичности, а также оптимального выбора и формального доказательства корректности средств восстановления и обеспечения отказоустойчивости. Предложена процедура перехода от Event-B модели корректной системы к Event-B модели корректной отказоустойчивой системы. Аналізуються існуючі проблеми й можливості застосування формальних методів під час створення відмовостійких комп’ютерних систем. Розглянуто задачу інтеграції формального методу розробки Event-B та методу аналізу надійності FME(C)A для виявлення можливих відмов, оцінки їхньої критичності, а також оптимального вибору та формального доказу коректності засобів відновлення й забезпечення відмовостійкості. Запропоновано процедуру переходу від Event-B моделі коректної системи до Event-B моделі коректної відмовостійкої системи. The paper analyses existing obstacles problems and potentialities of applying Event-B formal technique when developing fault-tolerant computing systems. We discuss an integration of the Event-B and technique of failure modes and effect analysis FME(C)A to provide an approach for identification of possible failures, estimation of their criticality, as well as optimal choice and formal proving of fault-tolerant and recovery techniques. The basic procedures of transition from Event-B model of correct system to Event-B model of fault-tolerant system is also given. 2010 Article Комплексирование формальных методов разработки и анализа надежности Event-B и FME(C)A / О.М. Тарасюк, А.В. Горбенко, В.С. Харченко // Мат. машини і системи. — 2010. — № 2. — С. 166--177. — Бібліогр.: 19 назв. — рос. 1028-9763 http://dspace.nbuv.gov.ua/handle/123456789/51617 004.052 ru Математичні машини і системи Інститут проблем математичних машин і систем НАН України
institution	Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection	DSpace DC
language	Russian
topic	Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення
spellingShingle	Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення Тарасюк, О.М. Горбенко, А.В. Харченко, В.С. Комплексирование формальных методов разработки и анализа надежности Event-B и FME(C)A Математичні машини і системи
description	Анализируются существующие проблемы и возможность применения формальных методов при разработке отказоустойчивых компьютерных систем. Рассматривается интеграция формального метода разработки Event-B и метода анализа надежности FME(C)A для выявления возможных отказов, оценки их критичности, а также оптимального выбора и формального доказательства корректности средств восстановления и обеспечения отказоустойчивости. Предложена процедура перехода от Event-B модели корректной системы к Event-B модели корректной отказоустойчивой системы.
format	Article
author	Тарасюк, О.М. Горбенко, А.В. Харченко, В.С.
author_facet	Тарасюк, О.М. Горбенко, А.В. Харченко, В.С.
author_sort	Тарасюк, О.М.
title	Комплексирование формальных методов разработки и анализа надежности Event-B и FME(C)A
title_short	Комплексирование формальных методов разработки и анализа надежности Event-B и FME(C)A
title_full	Комплексирование формальных методов разработки и анализа надежности Event-B и FME(C)A
title_fullStr	Комплексирование формальных методов разработки и анализа надежности Event-B и FME(C)A
title_full_unstemmed	Комплексирование формальных методов разработки и анализа надежности Event-B и FME(C)A
title_sort	комплексирование формальных методов разработки и анализа надежности event-b и fme(c)a
publisher	Інститут проблем математичних машин і систем НАН України
publishDate	2010
topic_facet	Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення
url	http://dspace.nbuv.gov.ua/handle/123456789/51617
citation_txt	Комплексирование формальных методов разработки и анализа надежности Event-B и FME(C)A / О.М. Тарасюк, А.В. Горбенко, В.С. Харченко // Мат. машини і системи. — 2010. — № 2. — С. 166--177. — Бібліогр.: 19 назв. — рос.
series	Математичні машини і системи
work_keys_str_mv	AT tarasûkom kompleksirovanieformalʹnyhmetodovrazrabotkiianalizanadežnostieventbifmeca AT gorbenkoav kompleksirovanieformalʹnyhmetodovrazrabotkiianalizanadežnostieventbifmeca AT harčenkovs kompleksirovanieformalʹnyhmetodovrazrabotkiianalizanadežnostieventbifmeca
first_indexed	2023-10-18T18:16:44Z
last_indexed	2023-10-18T18:16:44Z
_version_	1796143782336397312

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

Репозитарії

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