Комплексний аналіз гарантоздатності інформаційно-керуючих систем та інфраструктур: FME(C)A-моделі та інформаційна технологія

Автор(и)

  • В. С. Харченко Национальный аэрокосмический университет им. Н.Е. Жуковского «ХАИ»
  • Ирадж Эльяси Комари Национальный аэрокосмический университет им. Н.Е. Жуковского «ХАИ»

DOI:

https://doi.org/10.18372/2073-4751.1.9257

Анотація

Проаналізовано FМЕ(С)А-підхід до оцінки надійності та безпеки інформаційно-керуючих систем та інфраструктур . Запропоновано моделі FМЕ(С)А-таблиць для оцінки властивостей гарантоздатності (надійності, живучості та безпеки) і елементи інформаційної технології аналізу інформаційно-керуючих систем

Біографія автора

В. С. Харченко, Национальный аэрокосмический университет им. Н.Е. Жуковского «ХАИ»

д-р техн. наук

Посилання

Черкесов Г.Н. Надежность программно-аппаратных комплексов. - С.Пб.: Питер, 2005. - 479 с.

Бегун В.В., Горбунов О.В., Каденко И.Н. и др. Вероятностный анализ безопасности атомных станций. - К.: НТУУ «КПП», 2000. - 328 с.

Харченко В.С., Скляр В.В., Конорев Б.М. и др. Оценка и обеспечение качества программных средств космических систем / Под ред. Харченко В.С., Конорева Б.М. - Харьков: НКАУ, Госцетркачества, ХАИ, 2007.-245 с.

Харченко В.С., Ирадж Эльяси Комари. Разработка марковских моделей надежности компьютерной сети информационно-управляющей системы с использованием FМЕ(С)А - таблиц // Системи обробки інформації, №1 (45), 2007. - С. 56-60.

Gorbenko A.V., Kharchenko V.S., Tarasyuk O.M., Furmanov A.A. F(I)MEA- Technique of Web-services Analysis and Dependability Ensuring, LNCS 4157, Rigorous Development of Complex Fault-Tolerant Systems / M. Butler et al. (eds.). - Springer, 2006. -P. 153- 168.

Hasan Sozer, Bedir Tekinerdogan, Mehmet Aksit. Reliability Analysis at the Software Architecture Design Level using Enhanced Failure Modes and Effects Analysis Approach LNCS 4174, Architecturing Dependable Systems IV / R. de Lemos et al. (eds.). - Springer, 2007. - P.132 - 157.

Kharchenko VS., Sklyar V.V., Vol- kovoy A. V. Multi-version Information Technologies and Development of Dependable Systems out of Undependable Components // Proceeding of IEEE DepCoS-RELCOMEX Conference, Szklarska Poreba, Poland, June 14-16,2007.-P. 18-24.

A. Avizienis, J.-C. Laprie, B. Ran- dell, C. Landwehr. Basic Concepts and Taxonomy of Dependable and Secure Computing // IEEE Transactions on Dependable and Secure Computing, vol. 1, № 1, 2004. - P. 11-33.

Kharchenko V.S. The Probabilistic Assessment of Survivability and Safety of an Unmanned Control Systems with Multistage Degradation by Use of QD-diagrams //Proceeding of 5th International Conference on Probabilistic Safety Assessment and Management, Osaka, Japan, 27 November, 27 - December, 1, 2000, vol.l. - P. 525 - 531.

Elyasi Komari Iraj, A. Gorbenko. FME(C)A-Technique of Computer Network Reliability and Criticality Analysis. // Proceedings of IEEE East-West Design & Test Workshop, Conference, Sochi, Russia, September 15-19,2006. - P. 202 - 205.

Telecommunication Alternatives and Best Choice for SCADA Networks. - National Iranian South Oil Company (NISOC), Project № 79217,2007. - 38 p

##submission.downloads##

Номер

Розділ

Статті