Комплексирование формальных методов разработки и анализа надежности Event-B и FME(C)A
Анализируются существующие проблемы и возможность применения формальных методов при разработке отказоустойчивых компьютерных систем. Рассматривается интеграция формального метода разработки Event-B и метода анализа надежности FME(C)A для выявления возможных отказов, оценки их критичности, а также оп...
Saved in:
| Published in: | Математичні машини і системи |
|---|---|
| Date: | 2010 |
| Main Authors: | , , |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут проблем математичних машин і систем НАН України
2010
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/51617 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Комплексирование формальных методов разработки и анализа надежности Event-B и FME(C)A / О.М. Тарасюк, А.В. Горбенко, В.С. Харченко // Мат. машини і системи. — 2010. — № 2. — С. 166--177. — Бібліогр.: 19 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-51617 |
|---|---|
| record_format |
dspace |
| spelling |
Тарасюк, О.М. Горбенко, А.В. Харченко, В.С. 2013-12-04T12:41:08Z 2013-12-04T12:41:08Z 2010 Комплексирование формальных методов разработки и анализа надежности Event-B и FME(C)A / О.М. Тарасюк, А.В. Горбенко, В.С. Харченко // Мат. машини і системи. — 2010. — № 2. — С. 166--177. — Бібліогр.: 19 назв. — рос. 1028-9763 https://nasplib.isofts.kiev.ua/handle/123456789/51617 004.052 Анализируются существующие проблемы и возможность применения формальных методов при разработке отказоустойчивых компьютерных систем. Рассматривается интеграция формального метода разработки 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. ru Інститут проблем математичних машин і систем НАН України Математичні машини і системи Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення Комплексирование формальных методов разработки и анализа надежности Event-B и FME(C)A Комплексування формальних методів розробки й аналізу надійності Event-B та FME(C)A Complexing the formal methods of the development and analysis of fault-tolerance Event-B and FME(C)A Article published earlier |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Комплексирование формальных методов разработки и анализа надежности Event-B и FME(C)A |
| spellingShingle |
Комплексирование формальных методов разработки и анализа надежности 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 |
| author |
Тарасюк, О.М. Горбенко, А.В. Харченко, В.С. |
| author_facet |
Тарасюк, О.М. Горбенко, А.В. Харченко, В.С. |
| topic |
Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення |
| topic_facet |
Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення |
| publishDate |
2010 |
| language |
Russian |
| container_title |
Математичні машини і системи |
| publisher |
Інститут проблем математичних машин і систем НАН України |
| format |
Article |
| title_alt |
Комплексування формальних методів розробки й аналізу надійності Event-B та FME(C)A Complexing the formal methods of the development and analysis of fault-tolerance Event-B and FME(C)A |
| description |
Анализируются существующие проблемы и возможность применения формальных методов при разработке отказоустойчивых компьютерных систем. Рассматривается интеграция формального метода разработки 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.
|
| issn |
1028-9763 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/51617 |
| citation_txt |
Комплексирование формальных методов разработки и анализа надежности Event-B и FME(C)A / О.М. Тарасюк, А.В. Горбенко, В.С. Харченко // Мат. машини і системи. — 2010. — № 2. — С. 166--177. — Бібліогр.: 19 назв. — рос. |
| work_keys_str_mv |
AT tarasûkom kompleksirovanieformalʹnyhmetodovrazrabotkiianalizanadežnostieventbifmeca AT gorbenkoav kompleksirovanieformalʹnyhmetodovrazrabotkiianalizanadežnostieventbifmeca AT harčenkovs kompleksirovanieformalʹnyhmetodovrazrabotkiianalizanadežnostieventbifmeca AT tarasûkom kompleksuvannâformalʹnihmetodívrozrobkiianalízunadíinostíeventbtafmeca AT gorbenkoav kompleksuvannâformalʹnihmetodívrozrobkiianalízunadíinostíeventbtafmeca AT harčenkovs kompleksuvannâformalʹnihmetodívrozrobkiianalízunadíinostíeventbtafmeca AT tarasûkom complexingtheformalmethodsofthedevelopmentandanalysisoffaulttoleranceeventbandfmeca AT gorbenkoav complexingtheformalmethodsofthedevelopmentandanalysisoffaulttoleranceeventbandfmeca AT harčenkovs complexingtheformalmethodsofthedevelopmentandanalysisoffaulttoleranceeventbandfmeca |
| first_indexed |
2025-12-07T16:19:29Z |
| last_indexed |
2025-12-07T16:19:29Z |
| _version_ |
1850867051389779968 |