|
51 время и часто в условиях экстремальных нагрузок. Ошибки же могут привести к таким последствиям, как опасность для жизни человека или большие материальные потери. Среди основных направлений повышения надежности ПО наиболее перспективным является разработка методов предотвращения как самих ошибок, так и условий их возникновения с использованием мультиверсионной методологии. Оценивая современное состояние методологии достаточно разнообразных средств и систем создания ПО, следует отметить, что внимание, как правило, уделяется лишь нескольким этапам разработки, т.е. существует ярко выраженная тенденция целевой ориентации инструментальных средств на определенные виды работ; при этом в подавляющем большинстве случаев технологические средства не обеспечивают все жизненные этапы ПО. Задачу создания ПО процессов управления КА можно разбить на два взаимосвязанных направления. Первое направление исследований ставит задачу собственно синтеза программ, связанную с разработкой проблемноориентированных языков и систем, способным по некоторым спецификациям программы синтезировать необходимый алгоритм и осуществить процесс вычислений. Результат исследований второго направления разработка автоматизированных систем (технологических сред) создания программного обеспечения. В силу большей простоты объекта исследований и, следовательно, самого решения исследуемой проблемы успехи первого направления более существенны. Созданы и опробованы системы автоматического синтеза программ для достаточно широкого круга предметных областей. Отметим систему программирования (СП) РЕАЛ, для автоматического программирования бортовых комплексов управления КА. В рамках СП разработан язык описания логики функционирования (ЛФ) БКУ в терминах проектировщиков, предложено модельное обеспечение, позволяющее на этапе проектирования анализировать и тестировать ПО ЛФ. Разработаны методики и алгоритмы построения инструментальных средств автоматизации формирования ПО ЛФ для различных версий программных машин бортового ПО. Решение задач второго направления сводится к созданию инструментальных комплексов, позволяющих значительно снижать стоимость готового программного продукта и трудозатраты программистов разработчиков ПО систем управления. Выделяют два подхода к решению этой проблемы: технологический и инструментальный. Разработкой соответствующего ПО занимается сейчас большое количество организаций. В целом для указанных разработок характерно отсутствие унификации в выборе оперативных систем и существенный параллелизм в разработке общего и специального ПО. Это обусловлено |
Результатами исследований задачи повышения управляемости процесса создания программных систем являются методы управления проектом, которые включают вопросы, касающиеся контроля за выполнением требований к ПО, отслеживания текущего состояния проекта, организации разработки и языков проектирования ПО. Задача повышения надежности ПО процессов управления КА приобретает особое значение, т.к. программы эксплуатируются длительное время и часто в условиях экстремальных нагрузок. Ошибки же могут привести к таким последствиям, как опасность для жизни человека или большие материальные потери [44]. Среди основных направлений повышения надежности ПО наиболее перспективным является разработка методов предотвращения как самих ошибок, так и условий их возникновения с использованием мультиверсионной методологии. Оценивая современное состояние методологии достаточно разнообразных средств и систем создания ПО, следует отметить, что внимание, как правило, уделяется лишь нескольким этапам разработки, т.е. существует ярко выраженная тенденция целевой ориентации инструментальных средств на определенные виды работ; при этом в подавляющем большинстве случаев технологические средства не обеспечивают все жизненные этапы ПО. Задачу создания ПО процессов управления КА можно разбить на два взаимосвязанных направления. Первое направление исследований ставит задачу собственно синтеза программ, связанную с разработкой проблемно-ориентированных языков и систем, способным по некоторым спецификациям программы синтезировать необходимый алгоритм и осуществить процесс вычислений. Результат исследований второго направления разработка автоматизированных систем (технологических сред) создания программного обеспечения. В силу большей простоты объекта исследований и, следовательно, самого решения исследуемой проблемы успехи первого направления более существенны. Созданы и опробованы системы автоматического синтеза программ для достаточно широкого круга предметных областей. Отметим систему программирования (СП) РЕАЛ [207], созданную автором для автоматического программирования бортовых комплексов управления КА. В рамках СП разработан язык описания логики функционирования (ЛФ) БКУ в терминах проектировщиков, предложено модельное обеспечение, позволяющее на этапе проектирования анализировать 45 и тестировать ПО ЛФ. Разработаны методики и алгоритмы построения инструментальных средств автоматизации формирования ПО ЛФ для различных версий программных машин бортового ПО. Решение задач второго направления сводится к созданию инструментальных комплексов, позволяющих значительно снижать стоимость готового программного продукта и трудозатраты программистов разработчиков ПО систем управления. Выделяют два подхода к решению этой проблемы: технологический и инструментальный. В [44], оценивая современное состояние средств автоматизации управления КА указано на все возрастающую оснащенность вычислительных комплексов систем реального времени ЭВМ различных серий. Объемы программного обеспечения для всех типов ЭВМ непрерывно растут, и вместе с тем непрерывно возрастает сложность и номенклатура задач управления КА, решаемых с помощью ЭВМ различного класса. Разработкой соответствующего ПО занимается сейчас большое количество организаций. В целом для указанных разработок характерно отсутствие унификации в выборе оперативных систем и существенный параллелизм в разработке общего и специального ПО. Это обусловлено отсутствием единой методологии в создании ПО, а также слабой координацией процесса разработки. Отрицательным последствием этого является: увеличение количества разнотипных программных модулей, выполняющих по сути сходные функции; неоправданное возрастание потребности в вычислительной технике из-за невозможности одновременной работы разнотипных модулей на общих вычислительных средствах; необходимость разработки дополнительного ПО для организации взаимодействия между разнотипными программными средствами; возрастание временных и материальных затрат на создание ПО, поскольку каждая организация вынуждена выполнять весь спектр работ как по специальному, так и по общесистемному ПО. При этом требуется большое количество высококвалифицированных специалистов, особенно для разработки общесистемных компонент. В этих условиях весьма актуальной представляется задача создания ПО процессов управления КА, которая формулируется следующим образом. Необходимо определить следующую методологию создания ПО, которая позволила бы, во-первых, обеспечить возможность взаимодействия 46 |