24 Глава 2. Формализация задач. В качестве примеров применения баз данных для автоматизации технологических процессов ниже рассматриваются две задачи. Это задача построения оптимального по времени технологического цикла управления космическим аппаратом и задача проведения взаимозачетов в системе предприятий. Обе задачи являются к классу переборными, требующими работы с большими объемами данных. СУБД, решающая задача автоматизации проведения взаимозачетов относится к классу АСУ ОТП, количество предприятий участвующих в проведении взаимозачетов может измеряться десятками тысяч, что требует соответствующей организации работы с входной информацией. СУБД, автоматизирующая ТЦУ принадлежит к классу АСУ ТП, работающих в реальном времена В главе 4 специфика технологии работы спутниковых систем рассмотрена более подробно с практической точки зрения. Таким образом, рассматриваемые иллюстрируют применение БД для автоматизации ТП. 2.1 Формирование технологических циклов управления КА. 2.1.1 Инженерное проектирование программного обеспечения Разработка и эксплуатация современных космических аппаратов (КА), на базе которых создаются распределенные системы реального времени (СРВ), непосредственно связана с разработкой программного обеспечения (ПО), которое функционирует как в контурах наземного комплекса управления (НКУ), так и в бортовых комплексах управления (БКУ), выполненных на базе бортовых цифровых вычислительных машин (БЦВМ). В настоящее время в разработке и эксплуатации КА используется сочетание серийных методов с индивидуальным производством, которое, с одной стороны, характеризуется высокой степенью унификации базового ПО, инженерных методов и методик его проектирования, а с другой применением уникального ПО (даже для КА одного типа). Процесс эксплуатации и функционирования КА на орбите регламентируется технологическими циклами управления (ТЦУ), которые определяют временные и информационные взаимосвязи между отдельными контурами управления КА, что выражается в установлении периодичности, планируемой длительности и порядка решения задач по обработке информации и управления КА. В процессе эксплуатации возможно изменение характеристик КА и режимов его функционирования, вследствие технических неисправностей или изменений в программах целевой работы, что отражается как на составе, |
Введение Разработка и эксплуатация современных космических аппаратов (КА), на базе которых создаются распределенные системы реального времени (СРВ) [1], непосредственно связана с разработкой программного обеспечения (ПО), которое функционирует как в контурах наземного комплекса управления (НКУ), так и в бортовых компексах управления (БКУ), выполненных на базе бортовых цифровых вычислительных машин (БЦВМ). В настоящее время в разработке и эксплуатации КА используется сочетание серийных методов с индивидуальным производством, которое, с одной стороны, характеризуется высокой степенью унификации базового ПО, инженерных методов и методик его проектирования, а с другой применением уникального ПО (даже для КА одного типа). Процесс эксплуатации и функционирования КА на орбите регламентируется технологическими циклами управления (ТЦУ), которые определяют временные и информационные взаимосвязи между отдельными контурами управления КА, что выражается в установлении периодичности, планируемой длительности и порядка решения задач по обработке информации и управления КА [2]. В процессе эксплуатации возможно изменение характеристик КА и режимов его функционирования, вследствие технических неисправностей или изменений в программах целевой работы, что отражается как на составе, так и на алгоритмах управляющего ПО. При этом в случае выведения КА из нештатных состояний (в соответствии с нештатными ТЦУ) ряд характеристик управляющего по, а также процесса его разработки, в частности, надежность, отказоустойчивость, быстродействие, определяет вероятность успешного завершения этой операции и размер ущерба [3]. Большое значение на современном этапе среди множества требований к качеству ПО, методам и методикам его разработки и сопровождения приобретают такие требования, как скорость и стоимостная эффективность разработки, внешние средства поддержжки исполнения, тестирования и анализа [4-6], а также доступность методов и инструментальных средств широкому кругу специалистов, ответственных за системы управления КА и технологические циклы управления в целом [7-9]. Мультиверсионное программирование как методология проектирования отказоустойчивых и высоконадежных систем ПО позволяет успешно решать указанные задачи при условии интеграции с методами инженер4 |