Индустрия программирования


Интегрированный подход к разработке крупных программных систем управления реального времени - часть 3


замкнутой схеме ;
  • получать загрузочные модули для специализированной управляющей ЭВМ;
  • отлаживать полный комплекс программного обеспечения, загружаемый в
    специализированную ЭВМ и взаимодействующий с математическими
    моделями бортовых систем, функционирующих в универсальной ЭВМ.
    Интегрированные комплекс для разработки программного обеспечения включает большой набор
    сервисных средств, позволяющих:

    • проводить статический контроль программного обеспечения по
      формальным описаниям алгоритмов, переменных, входным и выходным
      воздействиям и т.д.
    • при отладке задавать условия испытаний программного обеспечения
      управлять процессом сбора, отображения и анализа всей необходимой
      информации для каждого конкретного разработчика; в ходе автономной
      отладки обеспечивался контроль выполнения требований жесткого реального
      времени.

    Благодаря использованию интегрированного комплекса при разработке программного
    обеспечения МКС "БУРАН" за 4 года было создано и отработано ПО для управления системами
    МКС "БУРАН" и необходимая инфраструктура объемом свыше миллиона операторов.

    В рамках второго этапа работ были разработаны язык СИПРОЛ, который является упрощенным
    вариантом языка ПРОЛ2, и интегрированная система проектирования и разработки СИПРОЛ-
    программ .

    В ходе этих работ решались следующие проблемы:

    • проблема разработки языка и пользовательского интерфейса, который
      позволял бы более активно участвовать в процессе проектирования систем
      управления специалистам в области аппаратуры и технологам;
    • проблема ускорения технологического микроцикла разработки, состоящего
      в редактировании и отладке, в стиле "Турбо-систем";
    • проблема интеграции различных инструментов, поддерживающих
      проектирование, кодирование, отладку и тестирование систем управления.

    Все перечисленные проблемы были решены. Реализованная система СИПРОЛ была разработана
    для IBM-совместимых платформ в качестве инструментальной ЭВМ. Для расширения спектра
    целевых ЭВМ генератор кода позволял получать исполнимый код в форме С-программ.


    - Начало -  - Назад -  - Вперед -