ДИАГНОСТИКА СОСТОЯНИЯ И ВОССТАНОВЛЕНИЯ РАБОТОСПОСОБНОСТИ СИСТЕМ РЕАЛЬНОГО ВРЕМЕНИ
Ключевые слова:
Надежность, рабоспособность, готовность ПО, верификация, доказательства правильности программ, тестирование, диагностика, защита информации, методы обнаружения, воссстановления, узел адаптивной коммутацииАннотация
Рассмотрены вопросы повышения эксплуатационной надежности ПО узла адаптивной коммутации функционирующий в системе реального машстаба времени. Анализированы методы обнаружения ошибок, диагностики состояния рабоспособности, и методы восстановления готовности систем. Затрагиваются вопросы тестирования программной продукции и выробатаны рекомендации по испоьзованию рассмотренных методов надежности ПО систем реального времени.
Библиографические ссылки
Soi I.M. Aggarval K.K. Computer‒cjvvunication network reliability: trends and issues. -“Microelectronics and reliability”, 1981, v.21, №1, pp.75-79
Креденцер Б.П. Прогнозирование надежности систем с временной избыточностью. ‒ Киев: Науково думка, 1978. ‒ 237с.
Липаев В.В. Надежность программных средств. ‒ М.: Синтег, 1998. ‒ 232 с.
Morgan D.E., Taylor D.J. A survey of methods of achiwing reliable sofware. “Computer”, 1977, v.10, №2, pp.44-53.
Карась В.М. Повышение устойчивости вычислительных процессов к сбоям ЭВМ программным способом. //Управляющие системы и машины, 1982
Shooman M.L., Trivedi A.K. A many‒state Markov model for computer software performance parameters, IEEE Trans,Reliabl., R-25, pp. 66-68, 1976.
Шураков В.В. Надежность программного обеспечения систем обработки данных. ‒ М.: Статистика,1981. ‒ 216 с.
Самойленко С.И., Ващилин Э.П., Фомин С.С., Солонина Н.Б. Экспериментальная сеть адаптивной коммутации МИЭМ-АК. Девятая Всесоюзная школа-семинар по вычислительным сетям. В кн. Принципы построения, протоколы и реализация вычислительных сетей. ‒ Москва‒Пушкино: 1984, ч.2.1.
Soi I.M., Gopal K. Some aspects of reliabl software packages. ‒“Microelectronics and reliability”, 1979, v.19, №4, pp.376-386.
Blount Marlin L. Modeling of diagnosis in faultsoftly computer systems. The international conferens on fault‒tolerant computing.1978, 21-23/Y, pros., pp.53-58.
Головкин Б.Л. Надежное программное обеспечение. // Зарубежная радиоэлектроника, 1978, № 12. ‒ С.3-6l.
Майерс Г. Искусство тестирования программ. ‒ М.: Финансы и статистика, 1982.
Пархоменко П.П. Правильщиков П.А. Диагностирования программного обеспечения (обзор).‒ Автоматика и телемеханика, 1980, № I, с 10З-121.
Kopets H. Systematic error treatment in real time software. Proc.JFAC world congrees 6th Boston-Combrige.1975. Proc. №4, 1975, pp.341/1-341/8.
Schick G.J. Walverton R.W. An analysis of competing software reliability models. –IEEE trans. on software eng. V.SE-4, No-2, march 1978.
Terrovoli G. Strument per il testing dei prodotti software. –Rivista di informatica, 1980, v.10, № 2, pp.145-176.
Deswarte J., Lavictoire J. An intermittent faulure correctoin method. Paris, International sumposium un fault-tolerant. 5-th. 1975, pp.191-195.
Endres A., Glatthaar W. A complementary approach to program analysis and testing. ‒Lecture notes in computer science, 1978, v.65, pp. 380-401.
Howden W.E. Functional programm testing. –IEEE “Compac 78”. Computer software and applications conferensce 2id 1978. Proc., pp.321-325.
Майерс Г. Надежность программного обеспечения. – М.: Мир,1980. ‒360 с.
Fairly R.E. Tutorial: static analisis and dynamic testing of computer software, ‒Computer, 1978, v.11, №4, pp.14-23.
Авиженис А. Отказоустойчивость ‒ свойство, обеспечивающее постоянную работоспособность цифровых систем.‒ТИИЭР, 1978, т. 66, № 10. С. 5‒25.
Avizienis A., Chen L. On the implementation of iV-version programming for software fault-tolerance during program execution.‒ In: Proc. 1977 COMPSAC. Int. Computer Software and Applications Conf. Chicago, 1977. p. 149‒155.
Абидов А.А. Статистика хизматида маълумотлар тузилмасини хавф-хатардан сақлаш моделини яратиш. «Raqamli iqtisodiyot va axborot texnologi-yalari» elektron jurnali | 2021 йил, №2 (2).
I. Eusgeld, F.C. Freiling, and R. Reussner (Eds.): Software Reliability. Dependability Metrics, LNCS 4909, pp. 104-125, 2008. ‒c Springer-Verlag Berlin Heidelberg 2008 Knight и Leveson