Система многоатрибутивного формирования мультиверсионных программных средств отказоустойчивых систем управления
Диссертация
На этапе создания ПО отказоустойчивых систем управления, а также при его развитии и модификации основное внимание направлено на разработку спецификаций, что позволяет привлекать к разработке мультиверсионных компонент непосредственно специалистов по управлению. Использование систем поддержки принятия решений при мультиверсионном программировании позволяет уделять основное внимание качеству… Читать ещё >
Список литературы
- Алимханов, A.M. Компьютерная поддержка мультивереионных методов формирования программного обеспечения в интегрированных корпоративных системах / Вестник НИИ СУВПТ. № 8. — Красноярск: НИИСУВПТ, 2003. — С. 116−119.
- Алимханов, A.M. Методы управления развитием корпоративных информационных технологий / Вестник НИИ СУВПТ. № 8. -Красноярск: НИИСУВПТ, 2003. — С. 111−115.
- Алимханов, A.M. Современные стратегии оптимального развития информационных технологий в интегрированных корпоративных структурах / Вестник НИИ СУВПТ «Адаптивные системы моделирования и управления». 4.2. — Красноярск: НИИ СУВПТ, 2000. — С. 12−15.
- Антамошкин, А.Н. Определение оптимальной структуры мультиверсионного программного обеспечения при ограничениях по времени и стоимости / А. Н. Антамошкин, И.В. Ковалев- Вестник САА. -№ 1. 2000. — С. 111−124.
- Беляева, М.Н. Обеспечение надежности микропроцессорных систем управления автоматизированным технологическим оборудованием путем актуализации связей между аппаратными и программными средствами:
- Автореферат диссертации на соискание ученой степени кандидата технических наук / Рыбинск: РГТА, 1998. 16 с.
- Боэм, Б. Характеристики качества программного обеспечения / Б. Боэм, Дж. Браун, X. Каспар, М. Липов, Г. Мак-Леод, М. Мерит. М.: Мир, 1981. — 208 с.
- Боэм, Б.У. Инженерное проектирование программного обеспечения / Пер. с англ. М.: Радио и связь, 1985. -512 с.
- Вальков, В.М. Автоматизация управления производством изделий электроники / М.: Радио и связь, 1982. 222 с.
- Вальков, В.М. Автоматизированные системы управления технологическими процессами / В. М. Вальков, В. Е. Вершин. 3-е изд., перераб. и доп. — Л.: Политехника, 1991. — 269 с.
- Вальков, В.М. Микроэлектронные управляющие вычислительные комплексы: системное проектирование и конструирование / Л.: Машиностроение, 1990. 224 с.
- Вахрамеев К. Защита данных от катастроф / «Открытые системы». № 3. -2000.-С. 8−16.
- Воеводин, В.В. Математические модели и методы в параллельных процессах / М.: Наука, 1986. 328 с.
- Волик, Б.Г. Методы анализа и синтеза структур управляющих систем / Под ред. Б. Г. Волика. М.: Энергоатомиздат, 1988. — 296 с.
- Вопросы анализа и процедуры принятия решений / М.: Мир, 1976.
- Гантер, Р. Методы управления проектированием программного обеспечения / Под ред. Е. К. Масловского. М.: Мир, 1981. — 392 с.
- Гафт, М. Г. Принятие решений при многих критериях / М.: Знание, 1979.
- Головкин, Б.А. Расчет характеристик и планирование параллельных вычислительных процессов / М.: Радио и связь, 1983. 272 с.
- Горбатов, В.А. САПР систем логического управления / В. А. Горбатов, А. В. Крылов, Н. В. Федоров. -М.: Энергоатомиздат, 1988. 230 с.
- Губанов, В.А. Введение в системный анализ / Под ред. Л. А. Петросяна. -Л.: ЛГУ, 1988.-232 с.
- Гудман, С. Введение в разработку и анализ алгоритмов / С. Гудман, С. Хидетниеми. Пер. с англ. — М.: Мир, 1981. — 366 с.
- Давыденко, О.В.. Оценка надежности программного обеспечения бортового комплекса управления / О. В. Давыденко, И. В. Ковалев. -Вестник КГТУ: Сб.научн.трудов- под ред. Б. П. Соустина. Вып.5. -Красноярск, 1996.-С. 119−121.
- Давыдов, И.Н. Технология надежностного программирования задач автоматизации управления в технических системах / И. Н. Давыдов, А. С. Привалов, А. А Ступина- Красноярск: НИИ СУВПТ, 2000. 207 с.
- Дубова, Н. На пути к управлению ИТ-услугами / «Открытые системы». -№ 7−8. 2000. — С. 49−57.
- Дубова, Н. Управление надежным хранением / «Открытые системы». № 6.-2002.-С. 37−43.
- Клейнрок, JI. Теория массового обслуживания / М.: Машиностроение, 1979.
- Князькин, Ю.М. Построение на встроенной ЦВМ интерпретатора алгоритмов логического управления сложным объектом / Ю. М Князькин, В. В. Хартов. Проблемы управления движением и навигацией, № 22, 1987.
- Ковалев, И.В. Автоматизация создания программных средств систем управления / В кн.: Микроэлектронные устройства: проектирование и технология. Красноярск. КПИ, 1990. — С. 79−85.
- Ковалев И.В. Многоатрибутивная модель формирования гарантоспособного набора проектов мультиверсионных программных систем / И. В. Ковалев, Р.Ю. Царев- Вестник НИИ СУВПТ. Вып.7. -Красноярск: НИИ СУВПТ, 2001. — С. 129−137.
- Ковалев, И.В. Оптимальное проектирование мультиверсионных систем управления / И. В. Ковалев, А. А. Попов, А. С. Привалов. Доклады НТК с международным участием «Информационные технологии в инновационных проектах». — Ижевск: ИжГТУ, 2000. — С. 24−29.
- Ковалев, И.В. Параллельные процессы в информационно-управляющих системах. Формирование и оптимизация: Монография/ И. В. Ковалев, Р. Ю. Царев, Ю. Г. Шиповалов. Под ред. д.т.н., проф. А. В. Медведева. -Красноярск: НИИ СУВПТ, 2001.-143 с.
- Ковалев, И.В. Система мультиверсионного формирования программного обеспечения управления космическими аппаратами: Диссертация на соискание ученой степени доктора технических наук / Красноярск: КГТУ, 1997.-228 с.
- Ковалев, И.В. Эффективность программно-алгоритмической реализации технологических режимов: Информационные процессы в промышленности: Сборник научных трудов / Кемерово: Кузбасский политехнический институт, 1989. С. 47−52.
- Кочетов, Ю.А. Задачи оптимального выбора состава систем технических средств при многоэтапном процессе выполнения работ / Препринт N 12. -Новосибирск, Ин-т математики СО АН СССР, 1987. -47 с.
- Ларичев, О.И. Человеко-машинные процедуры принятия решений / АиТ, 1971.-Вып. 12.-С. 130−142.
- Лебедев, В.А. Параллельные процессы обработки информации в управляющих системах: Монография / В. А. Лебедев, Н. Н. Трохов, Р. Ю. Царев. Красноярск: НИИ СУВПТ, 2001. — 137 с.
- Липаев, В.В. О проблемах оценивания качества программных средств / Информационные технологии. № 4. — 2002. — С. 19−23.
- Липаев, В.В. Проектирование математического обеспечения АСУ / М.: Советское радио, 1977. 400 с.
- Липаев, В.В. Технология проектирования комплексов программ АСУ / В. В. Липаев, Л. А. Серебровский. -М.: Радио и связь, 1983. 264 с.
- Липаев, В.В. Тестирование программ / М.: Радио и связь, 1986. 234 с.
- Майерс, Г. Надежность программного обеспечения: Пер. с англ./ Под ред. В. Ш. Кауфмана. М.: Мир, 1980. — 360 с.
- Мамиконов, А.Г. Типизация разработки модульных систем обработки данных / А. Г. Мамиконов, В. В. Кульба, С. А. Косяченко. М.: Наука, 1989. -165 с.
- Мамиконов, А.Г. Синтез оптимальных модульных систем обработки данных / А. Г. Мамиконов, В. В. Кульба. М.: Наука, 1986.
- Мамиконов, А.Г. Проектирование АСУ / М.: Высш. шк., 1987. 304 с.
- Месорович, М. Теория иерархических многоуровневых систем / М. Месорович, Д. Мако, А. Такахара. М.: Мир. 1973. — С. 344.
- Михалевич, B.C. Вычислительные методы исследования и проектирования сложных систем / B.C. Михалевич, B.JI. Волкович. -Наука, 1982.-286 с.
- Многокритериальные задачи принятия решений / М.: Машиностроение, 1978.5 8. Орлов, С. А. Технологии разработки программного обеспечения: разработка сложных программных средств / СПб.: Питер, 2002. 464 с.
- Орловский, С.А. Проблемы принятия решений при нечеткой исходной информации / М.: Наука, 1981. 208 с.
- Подиновский, В. В. Парето-оптимальные решения многокритериальных задач / В. В. Подиновский, В. Д. Ногин. -М.: Наука, 1982.
- Подиновский, В.В. Об относительной важности критериев в многокритериальных задачах принятия решений: Многокритериальные задачи принятия решений / М.: Машиностроение, 1978. С. 48−82.
- Попов, А.А. Бинарная модель отказоустойчивой системы программного обеспечения: Доклады НТК с международным участием «Информационные технологии в инновационных проектах» / А. А. Попов, А. С. Привалов. Ижевск: ИжГТУ, 2000. — С. 77−83.
- Принятие решения в задаче выбора предпочтительного варианта технического решения на этапе конструирования по векторному критерию: Методика / Горький: Горьковский филиал ВНИИНМАШ, 1980.
- Раздобаров, А.Б. Контроль состояния электронных систем управления при техническом обслуживании электровозов ВЛ80р / А. Б. Раздобаров, Н. Г. Шабалин. Труды ВЗИИТ, 1983. — № 11. — С. 144−149.
- Раинкшкс, К. Оценка надежности систем с использованием графов / К. Раинкшкс, И. А. Ушаков. М.: Радио и связь, 1988.
- Саркисян, А.А. Повышение качества программ на основе автоматизированных методов / М.: Радио и связь, 1991. 160 с.
- Системный анализ: Проектирование, оптимизация и приложения / В 2 т., под общ. Ред. Антамошкина А. Н. Красноярск: САА, 1996. — 206 с.
- Толковый словарь по вычислительным системам / Под ред. В. Иллигуорта и др.: Пер с англ. М.: Машиностроение, 1991. — 560 с.
- Фишберн, П. С. Теория полезности для принятия решений / М.: Наука, 1978.
- Фокс, Дж. Программное обеспечение и его разработка / Пер. с англ. Под ред. Д. Б. Подшивалова. — М.: Мир, 1985. — 268 с.
- Хетагуров, Я. А. Проектирование информационно-вычислительных комплексов / Я. А. Хетагуров, Ю. Г. Древе. М.: Высш. шк., 1987. — 280 с.
- Хорошевский, В.Г. Инженерный анализ функционирования вычислительных машин и систем / М.: Радио и связь, 1987.-256с.
- Царев, Р.Ю. Многокритериальное принятие решений при создании отказоустойчивого программного обеспечения / Вестник НИИ СУВПТ. -Вып.2. Красноярск: НИИ СУВПТ, 1999. — С. 190−194.
- Царев, Р.Ю. Преобразование атрибутов при многоатрибутивном принятии решения / Решетневские чтения. Тез. докл. V Всерос. Научн.-практ. конф. студентов, аспирантов молодых специалистов 12−15 ноября 2001 г. -Красноярск: САА, 2001. С. 119−120.
- Черняк, JI. Архитектура систем по Захману / «Открытые системы». № 12.-2001.-С. 28−29.
- Чжу, У. У. Копирование и размещение программных модулей в системе распределенной обработки в реальном времени / У. У. Чжу, Ц. К. Лян. -ТИИЭР, 1987. Т. 75, N 5. — С. 23−44.
- Юдин, Д.Б. Математические методы оптимизации устройств и алгоритмов АСУ / Д. Б. Юдин, А. П. Горяшко, А. С. Немировский. М.: Радио и связь, 1982.-288 с.
- Antamoshkina, О. Modeling, Optimization and Computer-Realization of Control Cyclograms / O. Antamoshkina, I. Kovalev. Krasnoyarsk: SAA. 1996.-74 p.
- Antamoshkin, A. System Analysis, Design and Optimization / A. Antamoshkin, H.P. Schwefel, and others. Ofset Press, Krasnoyarsk, 1993. — 312 p.
- Avizienis, A. The N-Version approach to fault-tolerant software / IEEE Trans, on Software Engineering. Vol. SE11, № 12, December, 1985. — P. 1491−1501.
- Bhatnagar, S.K. Network analysis techniques / Wiley Eastern Limited, New Delhi, 1986.-456 p.
- Boehm, B.W. Software Risk Management / IEEE CS Press Tutorial, 1989.
- Cesar, G. Interactive Fuzzy Programming with Preference Criteria in Multiobjective Decision-Making / Cesar G. Tapia and Bruce A. Mutagh. -School of Mechanical & Manufacturing Engineering, University of New South Wales, Australia.
- Clasen, U. Eine Moeglichkeit der numerischen Behandlung von zeitlich-stochastischen Netzplaenen / In: «Operations Research Proceedings», Springer Verlag Berlin-Heidelberg, 1994. P. 46−51.
- David, Ph. Development of a fault tolerant computer system for the Hermes Space Shuttle / Ph. David, C. Guidal. IEEE Trans., 1993. — P. 641−648.
- Dunham, J.R. Eds. Production of reliable flight crucial software: Validation method research for fault-tolerant avionics and control systems sub-working-group meeting / J.R. Dunham, C.J. Knight NASA Conf. Pub. 2222, NASA, 1985.
- Fishburn, P. C. Decision and value theory / New York: Wiley, 1964.
- Hecht, H. Fault tolerant software / IEEE Trans. Reliability, Vol. R-28, 1979. -P. 227−232.
- Highsmith, J.A. Adaptive Software Development: A Collaborative Approach to Managing Complex Systems / Dorset House Publishing, 2000. 392 p.
- Hwang, C.-L. A new approach for multiple objective decision making / C.-L. Hwang, Y.-J. Lai, T.-Y Liu.
- Grosspietsch, K.-E. Deriving the Optimal Structure of N-Version Software under Resource and Cost/Timing Constraints / K.-E. Grosspietsch, I. Kovalev- In: Ferenc Vajda (Ed.): Proceedings of the 26th Euromicro Conference
- Maastricht, The Netherlands, September 5−7, 2000). Volume II. — IEEE Computer Society, 2000. — P. 200−207.
- Iannino, A. Criteria for software reliability comparison / ACM Sigsoft Software Engineering Notes, Vol. 8, 1983. P. 227−232.
- Johnson, D.M. The systems engineer and the software crisis / ACM SIGSOFT: Software Engineering Notes, Vol. 21, no. 2, March 1996. P. 64−73.
- Knight, C.J. An experimental evaluation of the assumption of independence in Multiversion programming / C.J. Knight, N.G. Levenson. IEEE Trans. Software Engineering, Vol. SE-12, 1986. — P. 96−109.
- Kovalev, I. Computer-Aided Modelling of Production Cycles Optimal Sequence in: Letunovsky V.V.(Editor-in-chief): Problems of products quality assurance in machine-building: Proceedings of Int. Conf. KSTU / Krasnoyarsk, 1994. P. 43−48.
- Kovalev, I. Optimal Time Cyclograms of Spacecrafts Control Systems / I. Kovalev, O. Davydenko In: «Advances in Modeling and Analysis, C», Vol.48, № 2−3, 1996, AMSE PRESS. P. 19−23.
- Kovalev, I. Optimization Reliability Model for Telecommunications Software Systems / I. Kovalev, A. Privalov, Ju. Shipovalov. In: Modelling, Measurement and Control. — AMSE Periodicals, Vol.4−5, 2000. -P. 47−52.
- Kovalev, I. Software engineering of spacecraft control technological cycles / In: «Modelling, Measurement and Control, B». Vol.56, № 3. -AMSE PRESS, 1994.-P. 45−49.
- Kovalev, I. System of Multi-Version Development of Spacecrafts Control Software / Pro Universitate Verlag. Sinzheim, 2001. 77 p.
- Levendel, Y. Reliability analysis of large software systems: Defect data modeling / IEEE Trans. Software Engineering, 1990. Vol. 16. — P. 141 152.
- Oral, M. Modelling the process of multi attribute choice / M. Oral, O. Kettani. Res. Soc. 40, 1989. — P. 281−291.
- McFarlan, F.W. Portfolio approach to information systems / Harvard Business Rev. 59. P. 142−150.
- McKeen, J.D. Selecting MIS project by steering committee / J.D. McKeen, T. Guimares. Commun. ACM 28, 1985. — P. 1344−1352.
- Muralidhar, K. Using the analytic hierarchy process for information system project selection / K. Muralidhar, R. Santhanam, R. Wilson. Information Mgmt 18, 1990.-P. 87−95.
- Santhanam, R. A zero-one goal programming approach for information system project selection / OMEGA 17, 1989. P. 583−593.
- Schniederjans, M.J. A multi-objective constrained resource information system project selection problem / M.J. Schniederjans, R Santhanam. Eur. Res. 70, 1993.-P. 244−253.
- Silayeva, T. K.-E. An Innovative Method for Program Reliability Evaluation / T. Silayeva, K.-E. Grosspietsch. Euromicro '95. Como (Italy), September 1995.
- Silayeva, T Eine Methode zur Zuverlaessigkeits-abschaetzung fuer Software / T. Silayeva, K.-E. Grosspietsch. In: Workshop des DGLR-Fachausschusses Software Ingineering am 17. Mai 1995 in Neubiberg. UniBW Munich, 1995. — P. 51−59.r
- Sommerville, I. Software Engineering /6 ed. Addison-Wesley, 2001. -713 p.
- Tapia, C.G. Interactive fuzzy programming with preference criteria in multiobjective decision-making / C.G. Tapia, B.A. Murtagh. Computers Ops. Res., 1991.-Vol 18, No. 3. — P. 307−316.
- Whitehouse, G. E. Applied operations research: a survey, Wiley, Inc. / G. E. Whitehouse, B. L. Wechsler. New York, 1976. — 424 p.
- Zahedi, F. Software reliability allocation based on structure, utility, price, and cost / F. Zahedi, N. Ashrafi. IEEE Trans, on Software Engineering, April 1991. — Vol. 17, No. 4. — Pp. 345−356.
- Zeleny, M. Multiple Criteria Decision Making / McGraw-Hill, New York, 1982.-358 p.
- Блок-схема работы алгоритма TOPSISD