Комплексирование формальных методов разработки и анализа надежности 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 назв. — рос.

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