Методы расчёта количественных показателей надёжности сложных про граммных комплексов на стадии проектирования и разработки
Аннотация
Предложены методы расчёта количественных показателей надёжности специ ального программного обеспечения на стадии его проектирования и разработки. Для модели рования вычислительного процесса и расчёта количественных показателей его надёжности предлагается использовать математический аппарат полумарковских процессов. Моделиро вание производится в компьютерной математической системе MathCAD.Литература
Новиков И. С. Теоретические основы надежности автоматизированных систем управления. Учебное пособие. Петродворец.: ВВМУРЭ им А. С. Попова, 1989. 258 с.
Новиков И. С. Математические модели для обоснования количественных показателей надёж ности программного обеспечения, методы их оценки на этапах проектирования и испытаний // Научно-технический сборник 8. СПб.: МО, 1997.
Майерс Г. Надежность программного обеспечения. М.: Мир, 1980. 360 с.
Тайер Т., Липов М., Нельсон Э. Надежность программного обеспечения. М.: Мир,1981. 325 с.
Липаев В. В. Надежность программного обеспечения АСУ. М.: Энергия, 1981. 240 с.
Тоценко В. Г., Александров А. В., Парамонов Н. Б. Корректность, устойчивость, точность про граммного обеспечения. Киев: Наукова думка, 1990. 196 с.
Штрик А. А., Осовецкий Л. Г., Мессих И. Г. Структурное проектирование надежных программ встроенных ЭВМ. Л.: Машиностроение, 1989. 296 с.
Уилкс С. Математическая статистика. М.: Наука, 1967. 632 с.
Холстед М. Х. Начала науки о программах. М.: Финансы и статистика, 1981. 128 с.
Броди С. М., Власенко О. Н., Марченко Б. Г. Расчёт и планирование испытаний систем на на дёжность. Киев: Наукова думка, 1970. 192 с. 111
Новиков И. С. Математические модели для обоснования количественных показателей надёж ности программного обеспечения, методы их оценки на этапах проектирования и испытаний // Научно-технический сборник 8. СПб.: МО, 1997.
Майерс Г. Надежность программного обеспечения. М.: Мир, 1980. 360 с.
Тайер Т., Липов М., Нельсон Э. Надежность программного обеспечения. М.: Мир,1981. 325 с.
Липаев В. В. Надежность программного обеспечения АСУ. М.: Энергия, 1981. 240 с.
Тоценко В. Г., Александров А. В., Парамонов Н. Б. Корректность, устойчивость, точность про граммного обеспечения. Киев: Наукова думка, 1990. 196 с.
Штрик А. А., Осовецкий Л. Г., Мессих И. Г. Структурное проектирование надежных программ встроенных ЭВМ. Л.: Машиностроение, 1989. 296 с.
Уилкс С. Математическая статистика. М.: Наука, 1967. 632 с.
Холстед М. Х. Начала науки о программах. М.: Финансы и статистика, 1981. 128 с.
Броди С. М., Власенко О. Н., Марченко Б. Г. Расчёт и планирование испытаний систем на на дёжность. Киев: Наукова думка, 1970. 192 с. 111
Опубликован
2008-02-01
Как цитировать
Новиков,. (2008). Методы расчёта количественных показателей надёжности сложных про граммных комплексов на стадии проектирования и разработки. Труды СПИИРАН, (6), 86-11. https://doi.org/10.15622/sp.6.8
Выпуск
Раздел
Статьи
Авторы, которые публикуются в данном журнале, соглашаются со следующими условиями:
Авторы сохраняют за собой авторские права на работу и передают журналу право первой публикации вместе с работой, одновременно лицензируя ее на условиях Creative Commons Attribution License, которая позволяет другим распространять данную работу с обязательным указанием авторства данной работы и ссылкой на оригинальную публикацию в этом журнале.
Авторы сохраняют право заключать отдельные, дополнительные контрактные соглашения на неэксклюзивное распространение версии работы, опубликованной этим журналом (например, разместить ее в университетском хранилище или опубликовать ее в книге), со ссылкой на оригинальную публикацию в этом журнале.
Авторам разрешается размещать их работу в сети Интернет (например, в университетском хранилище или на их персональном веб-сайте) до и во время процесса рассмотрения ее данным журналом, так как это может привести к продуктивному обсуждению, а также к большему количеству ссылок на данную опубликованную работу (Смотри The Effect of Open Access).
