1. Наука
  2. Видання
  3. Збірник наукових праць Харківського національного університету Повітряних Сил
  4. 3(40)'2014
  5. Анализирование жизненного цикла моделирования космических объектов

Анализирование жизненного цикла моделирования космических объектов

А.Л. Бердникова, Ю.С. Манжос
Аннотации на языках:

Рассмотрен жизненный цикл моделирования космических объектов и построены вероятностные модели переходов. Предложена система уравнений Колмогорова, определяющая потоки вероятностей состояний модели жизненного цикла. Исследованы продолжительности итераций этапов жизненного цикла, вероятности внесения дефектов во время реальных программных проектов и их влияние на программные риски. Исследованы численные решения математической модели жизненного цикла для разнообразных исходных данных. Предложены способы уменьшения рисков.
Ключевые слова: математическая модель, жизненный цикл, уравнения Колмогорова, вероятность, верификация программного обеспечения