Методика и средства обеспечения отказоустойчивости бортовых вычислительных систем реального времени
Диссертация
Диссертационной работы обусловлена тем, что в настоящее время, с каждым годом увеличивается количество спутников, запу щенных с разными целями: для прогноза погоды, для исследования природных ресурсов Земли, для решения коммуникационных и военных задач, и т. д. Системы спутниковой связи и телевизионного вещания являются основным средством увеличения объема и качества получаемой и передаваемой… Читать ещё >
Список литературы
- Иыуду К. А., Кривощенков С. JL Математические модели отказоустойчивых вычислительных систем. М: МАИ, 1989. -142 с.
- Иыуду К. А. Теория надежности и живучести бортовых вычислительных машин. М.: МАИ, 1978. — 52 с.
- Иыуду К. А., Силаева Т. А. Обеспечение надежного функционирования ЭВМ и систем. М.: МАИ, 1993. — 46 с.
- Иыуду К. А. Задачи и упражнения по основам эксплуатации ЭВМ. М.: МАИ, 1996.-31 с.
- Иыуду К. А. Аналитическое моделирование надежности отказоустойчивости вычислительных систем // Приборы и системы управления. 1998. №.11.-С.40−42.
- Иыуду К. А. Надежность, контроль и диагностика вычислительных машин и систем. М.: Высшая школа, 1989. — 215 с.
- Иыуду К.А. Надежность контроль и диагностика машин и систем: учеб. пособие .- М Высшая школа, 1985., -216с.
- Иыуду К. А., Садчиков П. И, Шаповалов Ю. В. Вычислительные устройства и системы. М.: Высшая школа, 1988. — 237 с.
- Ушаков И.А. Вероятностные модели надежности информационно -вычислительных систем. -М.: Радио и связь, 1991. 132 с.
- Ушаков И.А. Методы расчета эффективности систем на этапе проектирования. -М.: Сов. радио, 1973. 103 с.
- Ушаков И.А. Методы решения простейших задач оптимального резервирования при наличии ограничений. -М.: Сов. радио, 1969. 175 с.
- Ушаков И.А., Литвак Е. И. Оценка параметров сетей со сложной структурой. -М.: ВЦАН СССР, 1986. 65 с.
- Шубинский И.Б. Методы и модели оценки живучести сложных систем. -М: Знание. 1987.,-116 с.
- Шубинский И.Б., Николаев В. И., Колганов С. К., Заяц A.M. Активная защита от отказов управляющих модульных систем. СПб.: Наука, 1993. — 283 с.
- Рябинин И.А. Надежность и безопасность структурно-сложных систем. СПб.: Политехника, 2000. — 248 с.
- Рябинин И.А. Логика и вероятность как инструменты исследования проблем надежности и безопасности сложных системю. СПб.: Политехника, 2001.-30 с.
- Рябинин И.А. Надежность, живучесть и безопасности корабельных электроэнергетических систем: Учебник. СПб., 1997. — 431с.
- Рябинин И. А. Черкесов Г. Н. Логико-вероятностные методы исследования надежности структурно-сложных систем: Учебник. М.: Радио и Связь, 1981.-264с.
- Рябинин И.А. Аналитические логико-вероятностные методы расчетасудовых электроэнергетических систем // Судостроение, (Л.) -1969., Вып. 33.1 .
- Лонгботтом Р. Надежность вычислительных систем: Пер. с англ. под ред. П. Л. Пархоменко. -М.: Энергоатомиздат, 1985. -288 с.
- Laprie J.C. Dependability of software-based critical systems // LAAS Toulouse Paper. -1999. -№ 99 369. 27 p.
- Avizienis A., Laprie J.C., Randell B. Fundamental concepts of dependability // LAAS Toulouse Paper. -2001. -№ 1 145. -19 p.
- Avizienis A. The N-version approach to fault-tolerant software // IEEE Trans. On SE. -1985. Vol. SE-11, No.12. -P. 1491−1501.
- Авиженис А. Отказоустойчивость свойство, обеспечивающее постоянную работоспособность цифровых систем // ТИИЭР-1978-№. 10. С. 5−25.
- Software product assurance for autonomy on-board spacecraft P. Blan-quart, M. Hernek, С Honvault et al. // LAAS Toulouse Paper. -2003. -№ 3 022. -6p.
- Okumoto K. A statistical method for software quality control // IEEE Trans, on software engineering. 1985. -Vol.ll, No.12. — P. 1424−1437.
- Randell В. System: structure for software fault tolerance // IEEE TSE. -1975.-Vol. SE-1.-P.220−232. '
- Dependable systems of systems: State of the art survey / J, Arlat, J.C. Fa-bre, V. Issanry et aL // LAAS Toulouse Paper. -2000: № 353. 97 p.
- State of the art / J. Arlat, К. Kanoun, H. Madeira, et al. // LAAS Toulouse Paper. -2001. -№ 1 605. 61p.
- Ricky Ж Я The SURE Approach to Reliability Analysis.// IEEE Trans, on reliability. 1992.- Vol:41, no.2.-P. 210−218.,
- White A. L, Palumbo D: L. State Reduction for Semi-Markov Reliability Model// Proceedings Annual Reliability and Maintainability Symposium: London, 1990. — P. 280−285.
- Spitzer C. R. DigitabAvionics Systems, principles and practice- NewYork: McGraw-Hill, Inc., second edition, 1993. -277 p.
- Goal A. L. Software reliability models: assumptions, limitations and applicability // IEEE Trans, on SE. -1985. -Vol. SEll, No. l2. -P. 1411−1423.
- Scott R. K., Gault J- W., Mcallister D. F. Fault-tolerant software reliability modeling // IEEE Trans. On SE. -1987. -Vol. SE-13. No. 5. -P. 582−592.
- Тейер Т., Липов M., Нельсон Э. Надежность программного обеспечения. М.:Мир, 1981.-323 с.
- Hoffman R. The top 10 myths of reliability management. 9 Process Plant Reliability Conference and Exhibition, Houston (Texas), 2000. Published at http://www.reliability-magazine.com/
- Seong Cheol Lee. Enhanced algorithms for reliability calculation of complex system. // Journal of the Korea Society for Industrial and Applied Mathematics Vol3. No2, 1999:
- Гобчанский О.П., Попов В. Д. Повышение радиационной стойкости индустриальных средств автоматики в составе бортовой аппаратуры. СТА 4/2001,С. 36−40.
- Поливанов А.П., Попов В. Д. Системные методы увеличения времени функционирования СБИС запоминающих устройств и бортовой аппаратуры космических аппаратов.
- Автоматизация проектирования радиоэлектронных средств. / Под ред. О. В. Алексеева. -М.: Высшая школа, 2000. 479 с.
- Левин В.В. Структура бортового накопителя данных с повышенной радиационной стойкостью. М.: ИКИ РАН, 2002. -98с.
- Козлов Б.А., Ушаков И. А. Краткий справочник по расчету надежности радиоэлектронной аппаратуры. М: Советское радио, 1966. — 432с.
- Додонов А.Г., Кузнецов М. Г., Горбачик Е. С. Введение в теорию систем. -Киев: Науко вадумка, 1990, -184с.
- Коваленко А.Б., Гула В. В. Отказоустойчивые микропроцессорные системы -Киев : Техника, 1986, -150с.
- Хорошевский В.Г. Инженерный анализ функционирования машин и систем. М.: Радио и Связь, 1987. -256с.
- GilleV Nluller- Michel Banatre, Nadine Peyrouze, Bruno Rochat. Lessons from FTM: An Experiment in- the Design & Implementation of Low-Cost Fault-Tolerant System // IEEE Transaction on Reliability. -1996. Vol. 45, №. 2, -P. 332 340.
- Tadashi Takano, Takahiro Yamada, Kohshiro Shutoh, Nobuyasu Kaneka-wa. In-Orbit Experiment on the Fault-Tolerant Space Computer Aboard the Satellite Hitten // IEEE Transaction on Reliability. -1996. Vol. 45. No. 4. -P. 624−631.
- Tay Wing N. Fault-Tolerant Computing // Adv. Comput. -1987. Vol. 26. -P. 201−279.
- Sang Bang Choi, Arun K. Somani Design and Performance Analysis of Load-Distributing Fault-Tolerant Network // IEEE Transaction on Computers. 1996. Vol. 45-P. 44−50.
- Каган Б.М. Электронные вычислительные системы и машины: Учеб. пособие для вузов, 2-е изд, перераб. доп. -М.: Энергоавтомиздат., 1985. -55с.
- Согомонян Е.С., Слабоков Е. В. Самопроверяемые устройства и отказоустойчивые системы. -М.: Радио и Связь, 1989. -208с.
- Куприянов М.С. Отказоустойчивые микропроцессорные системы управления -Л: О-во «Знание» РСФСР, ЛО, ЛДНТП, 1990. -20с.
- Куприянов М.С., Чернигов Л. М., Савкина И. В. Проектирование систем управления транспортными роботизированными комплексами ГПС Л.: О-во «Знание» РСФСР, ЛО, ЛДНТП, 1986. -32с.
- Алексенко А. Г., Бжезинский А. С, Куприянов М. С. Управление восстановлением работоспособности резервированных микропроцессорных систем. // Микроэлектроника. -1986. Том 15, вып. 3. -С. 205−208.
- Жиратков В.И. Введение в теорию отказоустойчивых вычислительных систем. — Новосибирск: НГТУ, 2001. 70с.
- Juh-Charn Liu and Kang G. Shin. Efficient Implementation Techniques for Gracefully Degradable Multiprocessor Systems. // IEEE Trans, on Сотр. 1995. Vol. 44, №. 4, -P. 503−517.
- R. K. Lyer, S. E. Burner and E. J. MeClusky. A Statistical Failure/ Load Relationship. Results of Multicomputer Study. // IEEE Trans, on Сотр. -1982. Vol. 31,-P. 697−706.
- M. D. Derk, L. S. Debrunner Reconfiguration for Fault Tolerance Using Graph Grammars // ACM Transaction on Computer Systems. -1998. Vol 16. №.1, -P. 41−54.
- McLean F.B. A Framework for Understanding Radiation-Induced Interface States in Si02 MOS Structures // IEEE Trans. Nucl. Sci. 1980. Vol. 27, № 6. -P. 1651−1657.
- Brown D.B., Saks N.S. Time-Dependence of Radiation-Induced Interface Trap Formation in Metal-Oside-Semiconductor Devises as a Function-of Oxide Thickness and Applied Field // J. Appl. Phys. -1991″. Vol. 70, № 7. -P. 3734−3747.
- Schwank J.R., Fleetwood D.M., Winokur P. S. et al. The Role of Hydrogen in Radiation-Induced Defect Formation in Polysilicon Gate MOS Devices// IEEE Trans. Nucl. Sci.-1987. Vol. 34, N6.-P. 1152−1158.
- Rashkeev S.N., Fleetwood, D.M., Schrimpf R. D, Pantelides S.T. Defect Generation by Hydrogen at the Si-Si02 Interface // Phys. Rev. Lett. -2001. Vol. 87, № 16.-P.1−4.
- Rashkeev S.N., Fleetwood D.M., Schrimpf R.D., Pantelides S.T. Proton-Induced Defect Generation at the Si-Si02 Interface // IEEE Trans. Nucl. Sci. -2001. Vol. 48, № 6. -P. 2086−2092.
- Fleetwood D.M., Shaneyfelt M.R., Schwank J.R. Simple Method to Estimate Oxide-Trap, Interface-Trap and Border-Trap Charge Densities in Metal-Oxide-Semiconductor Transistors //Appl. Phys. Lett. -1994. Vol. 64, № 15. -P. 1965−1967.
- Schwank J.R., Dawes W.R. Jr. Irradiated Silicon Gate MOS Device Bias Annealing // IEEE Trans. Nucl. Sci. -1983. Vol. 30, № 6. -P. 4100−4104.
- Никифоров А.Ю., Телец B.A., Чумаков А. И. Радиационные эффекты в КМОП ИС. М.: Радио и связь, 1994. — 164 с.
- Александровская Л.Н., Афанасьев А. П., Лисов А. А. Современные методы обеспечения безотказности сложных технических систем: Учебник. М.: Логос, 2003. — 208 с.
- Курочкин Ю.А., Смирнов А. С., Степанов В. А. Надежность и диагностирование цифровых устройств и систем. -СПб. 1993. 317с.
- Monsef Y. Modelisation et simulation des systemes complexes. Paris: TEC DOC, 1996.-277 p.
- Альянса, И. H. Моделирование вычислительных систем. Ленинград: Машиностроение, 1988. — 223с.
- Артамонов Г. Т., Брехов О. М. Оценка производительности ВС анали-тико-статистическими моделями. М.: Энергоатомиздат, 1993. — 301с.
- Платанов С. В., Романовский*А. С, Чухоров С. Ю. Применения компьютерных технологий // Вестник МВТУ. Приборостроение.-1999. № 2. С.70−77.
- Фритч В. Применение микропроцессоров в системах управления. М.: Мир, 1984.- 463 с.
- Погребинский С. Б., Стрельников В. П. Проектирование и надежность многопроцессорных ЭВМ. М.: Радио и связь, 1988. — 165 с.
- Липаев В. В. Надежность программных средств. М.: Синтег, 1998.232 с.
- Липаев В. В. надежность программного обеспечения АСУ. М.: Энер-го-издат, 1981.-239 с.
- Программный комплекс «Диана» (http://www.cs.ru)
- Программный комплекс Risk Spectrum вероятностного анализа, надежности и безопасности систем, (http://www.riskspectrum.com)
- Викторова B.C., Степанянц А. С. Анализ программного обеспечения моделирования надежности и безопасности систем // Надежность -2006. № 4 (19)-С. 46−56.
- Диллон Б. Сингх Ч. Инженерные методы обеспечения надежности систем. / Перевод с английского Е. Г. Коваленко- Под ред. Е. К. Масловского. -М.: Мир, 1984.-318 с.
- Черкесов Г. Н. Основные вопросы теории и практики надежности. М: Советское радио, 1979 г., 168с.
- Dijlcstra E.W. A note on two problems in connection with graphs. // Nume-rische Mathematik. -1959. V. 1, -P. 269.
- Ford L.R. Network flow theory. // Rand Corporation Report, -1946. -P-923.
- Moore E. F. The shortest path through a maze. // Proc. Int. Symp. on the Theory of Switching. -1957. Part II, -P. 285.
- Bellman R.' On a routing problem // Quart, of Applied Mathematics. -1958. .№>16, -P. 87.
- Floyd R. W. Algorithm 97- Shortest path // Comm. of ACM, -Л962. № 5, -P. 345.
- Yen J. Y. (1971), On the efficiencies of algorithms for detecting negative loops in networks // Santa Clara Business Review. -1995. -P. 52.
- Вержбицкий B.M. Основы численных методов М.:Высшая школа. -2002.- 840с.
- ГОСТ 27,002−73. Надежность в технике. Термины и определения. -М.: ГОС комитет СССР по стандартам, 1983. — 34с.
- Капур К., Ламберсон Л. Надежность и проектирование систем. / Перевод с английского Е. Г. Коваленко. -М.: Мир, 1980, -604с.
- Федоров В.К., Сергеев Н. П., Кондрашин А. А. Контроль и испытания в проектировании и производстве радиоэлектронных средств. М.: Техносфера, 2005. — 504с.
- Конструкторско-технологическое проектирование электронной аппаратуры: Учебник для вузов / К. И. Билибин, А. И. Власов, Л. В. Журавлева и др.- Под общ ред. В. А. Шахнова М.: Изд-во МГТУ им. Н. Э. Баумана, 2002. — 528 с.
- Jle Куанг Минь, Романовский А. С. Оценка эффективности применения методов активной защиты от отказов в иерархических вычислительных системах // Вестник МГТУ. Сер. Приборостроение. 2007. — № 4. — С. 62−69.
- Ле Куанг Минь, Смирнов А. С. Разработка программы поиска всех путей успешного функционирования системы для расчета показателей надежности структурно-сложной систем // Материалы межвузовскй научно-технической конференции. СПб.: 2003. — 4. V — С. 95−97.
- Ле Куанг Минь, Романовский А. С. Алгоритмы поиска всех путей успешного функционирования для расчёта показателей надёжности структурно-сложных систем // Информатика и системы управления в XXI веке: Сборник трудов МГТУ -2007.- № 5 С. 180−184.
- Ле Куанг Минь. Анализ эффективности применения методов повышения отказоустойчивости ИВС реального времени // Микроэлектроники и информатики 2007: Тез. докл. Всероссийская конференция. — М., 2007. -С.253.
- Ле Куанг Минь. Анализ методов обеспечения отказоустойчивости и живучести вычислительных систем // Естественные науки и технологии. — 2007.- № 3 С. 236−238.f