Предложен подход на основе аксиоматических базисов, позволяющий формализовать решение ряда проблем разработки и верификации отказоустойчивых и безопасных систем. Сформулированы положения и задачи аксиоматико-базисного подхода. Показано, что подход согласуется с опытом инженерии безопасных и отказоустойчивых систем; позволяет повышать их отказо устойчивость и безопасность; сравнивать отказоустойчивость систем; сохранять баланс между отказоустойчивостью и сложностью разработки и верификации; применять формальные методы для доказательства; формализовать интеграцию систем; повышать и оценивать уровень диверситета без привлечения независимых групп разработчиков и экспертов; формализованно проектировать и верифицировать системы, обнаруживающие собственные отказы. Вместе с тем подход позволяет решать актуальные проблемы отказоустойчивых и безопасных систем, такие как формализация методов внутрипроцессорного контроля и разработка условий его проведения, а также доказательство достаточности диверситета разрабатываемых и верифицируемых систем.
отказоустойчивость, доказательство безопасности, формальные методы, формализация, диверситет, обнаружение отказов
1. Levenson N. Safeware: System Safety and Computers / N. Levenson. - N. Y. : Addison- Wesley, 1995. - 680 p.
2. Smith D. J. Safety Critical Systems Handbook. A Straightforward Guide to Functional Safety, IEC 61508 and Related Standards, Including Process IEC 61511 and Machinery IEC 62061 and ISO 13849 / D. J. Smith, Simpson Kenneth G. L. - Oxford, UK, Elsevier Ltd, 2010. - 270 p.
3. Бочков К. А. Микропроцессорные системы автоматики на железнодорожном транспорте : учеб. пособие / К. А. Бочков, А. Н. Коврига, С. Н. Харлап. - Гомель : БелГУТ, 2013. - 254 c.
4. Шубинский И. Б. Функциональная надежность информационных систем. Методы анализа / И. Б. Шубинский. - Ульяновск : Изд-во журнала «Надежность», 2012. - 216 с.
5. Шубинский И. Б. Структурная надежность информационных систем. Методы анализа / И. Б. Шубинский. - Ульяновск : Типография «Печатный двор», 2012. - 216 с.
6. Weil V. Professional Responsibility for Harmful Actions / V. Weil, B. Ferry. - Kendall Hunt, Dubuque, Iowa, 1984. - Рp. 402-411.
7. Sagan S. D. The Limits of Safety: Organizations, Accidents, and Nuclear Weapons / S. D. Sagan. - N. Y.: Princeton University Press, Princeton, 1993. - 302 p.
8. Neumann P. G. Computer-Related Risks / P. G. Neumann. - N. Y. : Addison-Wesley Professional, 1995. - 384 p.
9. Сивко Б. В. Диверситетные аксиоматические базисы для разработки безопасных и отказоустойчивых систем / Б. В. Сивко // Вестник БелГУТа: Наука и транспорт. - 2014. - № 1 (28). - С. 19-23.
10. Smith D. J. Developments in the Use of Failure Rate Data and Reliability Prediction Methods for Hardware / D. J. Smith. - Delft : Delft University of Technology, Aerospace Engineering, Dissertation, 2000. - 175 p.
11. Parry G. W. Common Cause Failure Analysis: A Critique and Some Suggesti ons / G. W. Parry. - Gaithersburg, Maryland, USA, Reliability Engineering and System Safety. - 1991. - Vol. 34. - Issue 3. - Pp. 309-326.
12. Касперски К. RISK vs. CISC / К. Касперски [Электронный ресурс]. - Компьютерра, 1999. - № 36 (314). - Режим доступа : http://old.computerra.ru/1999/314/3211/ , свободный. - Загл. с экрана (дата обращения: 17.07.2015).
13. Орлов С. А. Организация ЭВМ и систем / С. А. Орлов, Б. Я. Цилькер. - СПб. : Питер, 2011. - 688 с.
