I. ВВЕДЕНИЕ
Создание программно-технических комплексов (ПТК), используемых в оборонной и научной сферах деятельности, является сложным и неоднозначным процессом, требующим больших материальных и временных затрат. При этом огромное значение имеет работоспособность ПТК, включенных в перечень критических технологий Российской Федерации и предназначенных для авиационных, космических объектов, атомных электростанций, химических производств, вследствие того, что они имеют первоочередное значение для национальной безопасности РФ [1]. Использование в космической и авиационной промышленности накладывает ряд дополнительных требований к данным системам, связанных в основном с надежностью функционирования комплексов в условиях воздействия радиационного излучения. Данные требования отражены в комплексе государственных стандартов «Мороз-6», «Климат-7» и документах, конкретизирующих их.
Задача обеспечения работоспособности таких систем может быть решена только с помощью комплексного подхода, включающего в себя совершенствование архитектуры и структуры вычислительных модулей, создание новой широкой номенклатуры функционально-ориентированной высокоинтегрированной электронной компонентной базы, высокую автоматизацию разработки ПТК.
Среди указанных мероприятий, задача автоматизации проектирования сложных блоков, составляющих основу ПТК и сохраняющих свою работоспособность при воздействии целого спектра дестабилизирующих факторов, является особенно важной. Решение данного вопроса позволит значительно ускорить процесс разработки сложных систем, уменьшить влияние человеческого фактора и повысить качество проектирования технических комплексов.
Как известно [2], неотъемлемым компонентом современных средств проектирования функциональных модулей, составляющих ПТК, является программное обеспечение, использование которого позволяет значительно повысить качество проектируемого технического комплекса. Адекватность результатов применения проблемно-ориентированного ПО во многом зависит от правильного выбора средств и среды программирования.
Рассмотрим подробнее эту задачу.
