Программная модель

Cтраница 3

На этапе создания программной модели специальное математическое обеспечение управления согласовывается с техническими средствами автоматизации и общесистемным математическим обеспечением. На этом этапе завершаются работы по приданию ему способности адаптироваться к реальному времени и конфигурации технических средств. Особого внимания на этом этапе заслуживают вопросы оптимизации размещения модулей программной модели в памяти вычислительных средств и проверки правильности программной модели. Фактически это последний этап разработки, на котором проверка правильности завершается силами авторского коллектива. [31]

При комплексной отладке программной модели множество процессов выполняются совместно, и могут возникать ошибки, вызванные самим объединением программ. Эти ошибки очень трудно проследить и исправить. Наличие упорядоченной документации может существенно помочь в этом. [32]

На рис. 11.4 показана программная модель системы прерываний, написанная на языке Паскаль, которая дает представление о том, как микропроцессор 6809 проверяет и управляет запросами на прерывание. Процедура CheckForlnterrupt показывает, как проверяются запросы на прерывание после выполнения каждой команды. [33]

Семиуровневый конвейер. [34]

На рис. 3.4 показана программная модель блока программного управления с регистрами и системным стеком. [35]

На рис. 4.4 показана программная модель блока программного управления с регистрами и системным стеком. [36]

Рассмотрим основные принципы разработки программных моделей и некоторые вопросы технологии их построения. [37]

Основная трудность проверки правильности программной модели определяется формой ее представления. Если правильность информационной модели еще можно было проверить неавтоматизированным методом, изучая и логически анализируя ее, то для программной модели такой метод совершенно не пригоден. [38]

В принципе автономная отладка программной модели большой системы распадается на множество отладок отдельных процессов, каждая из которых может вестись по методикам отладки отдельных процедур. Однако в отладке процессов программных моделей больших систем существуют некоторые трудности. [39]

Система проектирования команд содержит программную модель ОУ и средства отладки команд. Она позволяет формировать настроечную информацию, заносимую в библиотеку операторов, для разрабатываемой команды. Библиотека операторов содержит необходимые данные для расширения набора команд, из которого можно формировать массив настроечной информации для загрузки в ЗУ в соответствии с требуемым набором команд. Библиотека может пополняться новыми командами, разработанными в процессе эксплуатации системы. [40]

ЭВМ, на которой изготовлена программная модель - машины. [41]

Подобным образом автоматизируются процессы согласования программной модели с уже существующей средой общесистемного и специального математического обеспечения. Для этого программная модель должна сопровождаться параметрическим описанием ее состава и свойств отдельных элементов. Автоматическая обработка параметрического описания позволит заполнить данными служебные массивы, определяющие место каждой программной модели в общем составе средств автоматизации управления. Программная модель должна строиться с максимальным использованием стандартизации. В состав средств автоматизации управления ( на момент разработки конкретной программной модели) могут входить модули, способные выполнять часть функций программной модели. Включение таких модулей в состав программной модели может осуществляться как статически, так и динамически. При динамическом включении такой модуль вызывается в нужный момент на поле оперативной памяти, и вычисления по нему производятся в составе программной модели. [42]

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

Для проведения исследований при построении программной модели необходимы методы оптимального ее размещения в вычислительной среде, обеспечивающего заданную оперативность выработки решений при управлении. [44]

На втором этапе комплексной отладки программной модели проверяется соответствие информации алгоритму поведения процессов. При этом широко применяются временные диаграммы функционирования компонентов модели. На этом этапе отладки в программы процессов вставляются операторы выдачи содержимого их таблиц и отладки, предоставляемые системой моделирования. По окончании проверки эти операторы отладки исключаются из тела процессов. Существенно помогает при этом наличие в системе моделирования библиотеки процессов и средств оперативной компоновки модели из нее. Развитые средства автоматизации моделирования, как правило, предоставляют в распоряжение разработчика широкий спектр диагностических сообщений об ошибках динамики имитации. [45]

Страницы: 1 2 3 4