Комплексирование формальных методов разработки и анализа надежности Event-B и FME(C)A
Анализируются существующие проблемы и возможность применения формальных методов при разработке отказоустойчивых компьютерных систем. Рассматривается интеграция формального метода разработки Event-B и метода анализа надежности FME(C)A для выявления возможных отказов, оценки их критичности, а также оп...
Gespeichert in:
| 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| _version_ | 1862693092683939840 |
|---|---|
| author | Тарасюк, О.М. Горбенко, А.В. Харченко, В.С. |
| author_facet | Тарасюк, О.М. Горбенко, А.В. Харченко, В.С. |
| citation_txt | Комплексирование формальных методов разработки и анализа надежности Event-B и FME(C)A / О.М. Тарасюк, А.В. Горбенко, В.С. Харченко // Мат. машини і системи. — 2010. — № 2. — С. 166--177. — Бібліогр.: 19 назв. — рос. |
| collection | DSpace DC |
| container_title | Математичні машини і системи |
| 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.
|
| first_indexed | 2025-12-07T16:19:29Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-51617 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1028-9763 |
| language | Russian |
| last_indexed | 2025-12-07T16:19:29Z |
| publishDate | 2010 |
| publisher | Інститут проблем математичних машин і систем НАН України |
| 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 |
| spellingShingle | Комплексирование формальных методов разработки и анализа надежности Event-B и FME(C)A Тарасюк, О.М. Горбенко, А.В. Харченко, В.С. Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення |
| title | Комплексирование формальных методов разработки и анализа надежности Event-B и FME(C)A |
| 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 |
| title_full | Комплексирование формальных методов разработки и анализа надежности Event-B и FME(C)A |
| title_fullStr | Комплексирование формальных методов разработки и анализа надежности Event-B и FME(C)A |
| title_full_unstemmed | Комплексирование формальных методов разработки и анализа надежности Event-B и FME(C)A |
| title_short | Комплексирование формальных методов разработки и анализа надежности Event-B и FME(C)A |
| title_sort | комплексирование формальных методов разработки и анализа надежности event-b и fme(c)a |
| topic | Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення |
| topic_facet | Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/51617 |
| 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 |