Передатчик читает значение этого бита прямо на линии в процессе передачи и понимает, что в случае наличия доминирующего бита (логического 0) в этом поле, хотя бы один узел принял сообщение правильно.

При этом возможно, что все узлы, настроенные на данный идентификатор сообщения, приняли его правильно ,возможно ,что не все. Передатчик этого по данному виду контроля не распознает. Но если хотя бы один принял правильно , то передатчик считает , что он сообщение передал и далее у него проблем нет, а проблемы у того, кто не смог принять сообщение , и «успокаивается».

Таким образом, философия линии более «эгоистична» , чем , например ,в 1553 В.

Получив информацию об ошибке, передающий узел повторяет передачу исходного сообщения. Таким образом, имеет место решающая обратная связь при передаче данных. Имеется еще один вид контроля правильности передачи. Если проверка передатчиком уровня сигнала на линии на совпадение с уровнем сигнала , который был направлен в линию на участке арбитража позволяет обнаружить коллизию, то вне участка арбитража и «аск» контроля эта проверка не прекращает передачу сообщения, но может обнаружить искажения при передаче . В этом случае передача должна быть повторена.

При появлении информации об ошибках переданное ошибочное сообщение уничтожается во всех узлах сети. Имеется счетчик пере­данных ошибочных сообщений. Переполнение счетчика является ос­нованием для запрета узлу передавать сообщения, которые не воспринимаются ни одним узлом сети..

Необходимость резервирования элементов и ЛПИ определяется разработчиком сети и осуществляется, при необходимости, вне рамок протокола CAN.

Адресация сообщений в CAN

В протоколе CAN отсутствует прямая адресация сообщений по уникальному адресу абонента.

Имеется идентификатор сообщения, который определяет при­оритет и тип информации сообщения. При передаче сообщение получают все абоненты и проверяют тип сообщения. Абонент берет в обработку только тот тип сообщения, идентификатор которого «зашит» у него в памяти. Каждый абонент может обрабатывать до 15ти типов сообщений.

Таким образом, в CAN имеется возможность одновременной передачи сообщений нескольким абонентам, в том числе синхро­сигналов для всех.

Кроме того новые узлы, добавленные в сеть, не меняют ПО существующих узлов, если они являются потребителями или производи­телями имеющихся в сети типов сообщений.

Вопросы для самопровераки

Физический уровень сети MILSTD 1553B

Централизованный метод доступа абонентов в сеть MILSTD1553B

Типы и форматы сообщений сети MILSTD 1553B

Защита информации в сети MILSTD1553B

Сеть CAN-контроллерная местная сеть (Controller Area Network).

Физический уровень сети CAN

Формат кадров сети CAN

Распределенный доступ абонентов в сети CAN. Арбитраж при возникновении столкновений сообщений

Обеспечение надежности передачи в сети CAN

Адресация сообщений в CAN

Лекция 7. Программное обеспечение управления сложными техническими системами. Параллельные физические процессы СТС и многозадачная работа ПО управления СТС

Сложную техническую систему, которая в результате декомпозиции- разбиения на относительно независимые части состоит из нескольких подсистем, порождает, объединяя в единое целое, программное обеспечение встроенных в неё вычислительных средств.

Это связано с тем, что выделенным подсистемам СТС соответствуют выделенные части структуры ПО, управляющие ими, но прежде всего потому что взаимодействие между подсистемами осуществляются на программном уровне путем реализации связей по управлению и данным между соответствующими частями ПО. Это взаимодействие может быть логически достаточно сложным и обеспечивает выполнение целей функционирования системы, как единого целого, для чего выделяются специальные структурные части ПО.

В сложных технических системах одновременно протекают несколько физических процессов. Причем в каждой подсистеме СТС может протекать не один физический процесс. Применительно к ПО встроенных в систему ЦВМ физический процесс - задача может реализовываться работой одной или некоторой совокупности структурных единиц ПО. При этом одновременно развивающимся во времени физическим процессам должна соответствовать параллельная работа нескольких подсистем и соответствующих им программ ПО, обеспечивающих управление этими физическими процессами и их синхронизацию, что делается специальными механизмами операционных систем (ОС).

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

Декомпозиция сложной системы порождает представление ПО управления ею в виде иерархической структуры. В общем случае такая структура ПО управления СТС достаточно универсальна, мало зависит от назначения сложной системы и принципиально связана с частотным разделением процессов управления на долгосрочное планирование, диспетчерское оперативное управление и исполнение низкоуровневых рабочих функций. В рамках этой структуры удобно проводить разработку и модернизацию управления ПО.

Из иерархической структуры построения ПО не видно, когда какой процесс начинается и когда заканчивается, какие задачи и соответствующие им процессы исполняются параллельно, как программные процессы взаимодействуют во времени. Без этой информации разработать ПО управления СТС в реальном времени невозможно. Поэтому для разработки ПО управления структурное представление ПО всегда дополняется схемами взаимодействия его структурных частей во времени в той или иной форме. Эти схемы строятся для каждого варианта функционирования (использования) сложной системы и являются основой для решения вопросов организации многозадачного вычислительного процесса встроенной ЦВМ.

В централизованной системе ПО обмен данными между процессами всегда проводится через общую память. При этом надо преодолеть изоляцию памяти процессов, к которой мы стремились с точки зрения безопасности работы ПО и которую обеспечивает ОС.

Параллельное исполнение программ и процессов несет в себе некоторые угрозы, требующие развития методов защиты ресурсов ЦВМ от ошибок совместного их использования. Проблема защиты критических ресурсов при попытке их совместного использования параллельными процессами является центральной проблемой реализации многозадачности при конструировании безопасного ПО.

Декомпозиция и интеграция СТС – путь через программное обеспечение

Путь декомпозиции СТС и последующей её интеграции «проходит» через программное обеспечение встроенных в СТС вычислительных средств. Это происходит не столько потому, что выделенным из СТС подсистемам соответствуют выделенные части структуры ПО, управляющие ими, но прежде всего потому что взаимодействие между подсистемами осуществляются на программном уровне путем реализации связей по управлению и данным между соответствующими частями ПО.

Поэтому понимание природы управляемого процесса, динамических свойств системы и подсистем, теории управления - половина необходимых слагаемых для успешного решения задач управления СТС. Другая половина успеха – суметь структурировать , а затем интегрировать в рамках и терминах программного обеспечения полученное теоретическое решение задачи управления (рис.4.1).

Нами рассмотрены системы управления, полученные в результате декомпозиции сложной технической системы, для которых имеется один контур управления и одна или несколько управляемых координат. В сложных технических системах необходимо управлять сразу многими координатами, определяющими состояние многомерного объекта управления. Например, температурой и уровнем воды, скоростью и направлением вращения барабана в стиральной машине. Управление по трем углам ориентации в пространстве в летательном аппарате для того, чтобы он летел в заданном направлении и выполнял целевую задачу и т.п.

В сложных системах одновременно протекают несколько физических процессов управления. Физический процесс управления - упорядоченная последовательность действий в системе над информацией, энергией или материей, приводящая к требуемому результату. Физические процессы состоят из задач. Задачами будем называть функциональные единицы деятельности, которые разбивают физические процессы системы как во времени, так и по физическим компонентам. Обычно в СТС одновременно активны и исполняются несколько задач и это можно использовать, чтобы описать параллелизм физических процессов в системе, реализующий сложное её поведение

При техническом проектировании системы управления перед переходом к конструированию ПО, необходимо формализовать поведение системы – представить его в виде совокупности параллельно выполняемых задач, которые в свою очередь могут быть представлены, как переходы между состояниями используемых объектов внутри каждой задачи. Условия перехода могут быть связаны с определенной логикой управления, реализуемой соответствующим контуром управления.

Реализация одновременно протекающих физических процессов через параллельную работу ПО

Применительно к ПО ЦВМ физический процесс (задача) может реализовываться работой одной или некоторой совокупностью структурных единиц ПО.

Передатчик читает значение этого бита прямо на линии в процессе передачи и понимает, что в случае наличия доминирующего бита (логического 0) в этом поле, хотя бы один узел принял сообщение правильно. - student2.ru

.

ДЕКОМПОЗИЦИЯ СИСТЕМЫ   …

           
   
Подсистема n Цели Задачи и связи Связи
   
Подсистема 1 Цели Задачи и связи  
 
  Передатчик читает значение этого бита прямо на линии в процессе передачи и понимает, что в случае наличия доминирующего бита (логического 0) в этом поле, хотя бы один узел принял сообщение правильно. - student2.ru

Рис.4.1. Путь декомпозиции и интеграции сложной системы проходит через ПО

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

Если говорить об однопроцессорной ЦВМ, то в каждый момент времени в ней может решаться только одна задача. Таким образом, в проекции на программную реализацию одновременно протекающим физическим процессам должны соответствовать параллельно работающие программы, процессы или потоки. Два процесса или две задачи, или программы называются параллельными, если их выполнение может перекрываться во времени т.е. второй процесс начинается до завершения первого.

Техника параллельного исполнения задач в однопроцессорной ЦВМ всегда связана с разделением времени процессора путем выделения каждой задаче (процессу) последовательно кванта времени для исполнения, за который задача может быть решена полностью или частично. Если за выделенный квант времени задача не успеет решиться, то решение её прерывается и будет продолжено в следующем выделенном для неё кванте. Если эти кванты времени невелики и переключения с задачи на задачу будут достаточно быстрыми, то все задачи будут решаться параллельно. Параллельные процессы – классический способ описания поведения сложных технических систем[47].

Задачи и стоящие за ними процессы могут исполняться параллельно без проблем до тех пор, пока не возникнет потребность обращения их к общим ресурсам ЦВМ или в организации взаимодействия между ними - обмена данными или управлением. При этом возникают определенные угрозы и ограничения, связанные с очередностью (последовательностью) выполнения программ, с необходимостью наличия подготовленной информации к моменту обращения за ней и разделением общих ресурсов ЦВМ и т.п. Невыполнение этих ограничений приводят к ошибочным результатам работы ПО. Поэтому необходима синхронизация параллельно работающих программ ПО или процессов.

Идея параллельного исполнения программ ПО в реализации не безопасна не только в связи с возможными ошибками при разделении времени процессора, но и в связи с возможными пересечениями параллельно исполняющихся программ по памяти, так как в этом случае они могут подхватить чужие данные или исказить их. Кардинальный способ обеспечения безопасности в этом случае изоляция каждой исполняемой программы в своем виртуальном адресном пространстве – информационном «отсеке». Точно также поступают корабельные инженеры, обеспечивая безопасность - непотопляемость корабля.

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

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

Многозадачная работа ПО СТС. Причины многозадачности.

В результате программное обеспечение сложных технических систем выполняется в виде набора программ, разработанных коллективно и объединенных в многозадачный программный комплекс, части которого исполняются параллельно. Этому имеется несколько причин.

1. Наличие множества параллельных физических процессов управления в соответствующих подсистемах и многофункциональности СТС. При этом целесообразно по возможности для выполнения различных функций использовать один и тот же набор подсистем и ПО, но в различных сочетаниях. Это, кстати, один из принципов определения границ подсистем в процессе декомпозиции.

2.Отсутствия специалистов одинаково грамотно разбирающихся в разнородных предметных областях, соответствующих подсистемам сложной системы. Имеется естественная техническая и организационная специализация разработчиков системы и разработчиков ПО. При этом для обеспечения сроков разработки ПО (для сокращения времени его создания) требуется подключение нескольких разработчиков, а не создание некоего суперразработчика ПО. Даже если он и освоит все предметные области - делать ПО он будет очень долго.

Поэтому каждый из разработчиков независимо от других разработчиков разрабатывает программы в рамках своей предметной компетенции. Организационно правильным в данной ситуации – компиляция данных порозень разработанных частей ПО также должна быть независимой и раздельной.

3. Еще один источник многозадачности связан с необходимостью работы задач в реальном времени. Программирование задач реального времени отличается от чисто последовательного программирования тем, что внешние сигналы или события могут возникать в случайные моменты времени и требуют программного обслуживания на фоне уже решаемых задач. Время реакции на эти события должно удовлетворять заданным ограничениям.

Многозадачность поддерживается операционными системами(ОС). Реализация многозадачности может быть различной в различных ОС. Однако, в настоящее время сформировался некоторый единообразный подход, связанный с определением «процессов и потоков» [19,22,24,25,40]. В деталях эти понятия могут для различных ОС несколько различаться, но принципиально для авторитетных ОС эти понятия одинаковы благодаря стандарту POSIX (Portable Operation Systems Interface). Это развивающийся стандарт, призванный обеспечить переносимость исходных текстов прикладных программ между различными ОС. Термины, используемые в ОС UNIX, QNX и других юниксоподобных ОС а также системные вызовы этих ОС соответствуют стандарту. Множество других ОС следуют стандарту POSIX, хотя и делают это не в полной мере, ссылаясь на сложившуюся практику. При рассмотрении стандарта иногда возникает впечатление, что некоторые формулировки имели цель: не вывести из категории удовлетворяющих стандарту какие-то прикладные программы или операционные системы. Однако, главная цель POSIX - это все-таки обеспечение мобильности прикладных программ.

Если системная ЦВМ однопроцессорная (и одноядерная), то многозадачная работа ПО осуществляется путем поочередного переключения по определенным правилам задач - разделения времени процессора между задачами. При этом производительность процессора ЦВМ должна быть настолько высокой, чтобы все задачи решались в РМВ. Тогда каждая задача- процесс, как бы не "чувствует" наличие других процессов - они ей не мешают. В многопроцессорных и многоядерных вычислительных системах возможна истинная параллельная работа процессоров или ЦВМ - истинное параллельное решение задач. При этом в обоих случаях возникают дополнительные затраты процессорного времени.

В случае однопроцессорной ЦВМ - это затраты на переключение между задачами и ожидания для синхронизации, в случае многопроцессорной или многомашинной вычислительной системы - это затраты на синхронизацию процессов и обмен данными между процессами в различных процессорах.

Иерархическое структурирование ПО - средство обеспечения его многофункциональности

Конечно, требуется рассмотрение примеров СТС, на которых можно показать методы реализации управления СТС на практике. На этих примерах также будет показана определяющая роль компьютерного управления и ПО компьютеров, встроенных в систему управления, реализующих сложность поведения СТС. Сложная техническая система совсем не обязательно связана с управлением ракетой, спутником или самолетом .

Рассмотрим простой пример - СТС, например, компьютеризированную стиральную машину, работа которой всем понятна [41]. Управление работой этой системы осуществляется от встроенной ЦВМ. Стиральная машина многорежимна и обладает всеми признаками сложного поведения и по нашей классификации является СТС. Проектирование системы и ПО надо начинать с разработки её структуры. Этот процесс имеет также названия структурирование, декомпозиция. При декомпозиции сложной системы на ряд подсистем естественным образом происходит и декомпозиция (структуризация) ПО. Получаемые части ПО имеют названия – синонимы: программы, структурные единицы ПО, модули, компоненты ПО, подсистемы.

       
  Передатчик читает значение этого бита прямо на линии в процессе передачи и понимает, что в случае наличия доминирующего бита (логического 0) в этом поле, хотя бы один узел принял сообщение правильно. - student2.ru
 
    Передатчик читает значение этого бита прямо на линии в процессе передачи и понимает, что в случае наличия доминирующего бита (логического 0) в этом поле, хотя бы один узел принял сообщение правильно. - student2.ru

 
  Передатчик читает значение этого бита прямо на линии в процессе передачи и понимает, что в случае наличия доминирующего бита (логического 0) в этом поле, хотя бы один узел принял сообщение правильно. - student2.ru

Передатчик читает значение этого бита прямо на линии в процессе передачи и понимает, что в случае наличия доминирующего бита (логического 0) в этом поле, хотя бы один узел принял сообщение правильно. - student2.ru Управление циклом выполнения заданного режима стирки Передатчик читает значение этого бита прямо на линии в процессе передачи и понимает, что в случае наличия доминирующего бита (логического 0) в этом поле, хотя бы один узел принял сообщение правильно. - student2.ru

Передатчик читает значение этого бита прямо на линии в процессе передачи и понимает, что в случае наличия доминирующего бита (логического 0) в этом поле, хотя бы один узел принял сообщение правильно. - student2.ru Передатчик читает значение этого бита прямо на линии в процессе передачи и понимает, что в случае наличия доминирующего бита (логического 0) в этом поле, хотя бы один узел принял сообщение правильно. - student2.ru Передатчик читает значение этого бита прямо на линии в процессе передачи и понимает, что в случае наличия доминирующего бита (логического 0) в этом поле, хотя бы один узел принял сообщение правильно. - student2.ru Передатчик читает значение этого бита прямо на линии в процессе передачи и понимает, что в случае наличия доминирующего бита (логического 0) в этом поле, хотя бы один узел принял сообщение правильно. - student2.ru Передатчик читает значение этого бита прямо на линии в процессе передачи и понимает, что в случае наличия доминирующего бита (логического 0) в этом поле, хотя бы один узел принял сообщение правильно. - student2.ru Передатчик читает значение этого бита прямо на линии в процессе передачи и понимает, что в случае наличия доминирующего бита (логического 0) в этом поле, хотя бы один узел принял сообщение правильно. - student2.ru Передатчик читает значение этого бита прямо на линии в процессе передачи и понимает, что в случае наличия доминирующего бита (логического 0) в этом поле, хотя бы один узел принял сообщение правильно. - student2.ru

Передатчик читает значение этого бита прямо на линии в процессе передачи и понимает, что в случае наличия доминирующего бита (логического 0) в этом поле, хотя бы один узел принял сообщение правильно. - student2.ru

Рис.4.2. Иерархическая структурная схема ПО управления стиральной машиной и метод её получения

Проведем черту, ниже которой последовательно запишем наименования оборудования, которое должно управляться от ЦВМ ( Рис.4.2). Сразу над чертой запишем задачи по управлению каждой единицей (подсистемой) оборудования. Каждой из этих задач в ЦВМ соответствует программа ПО, выполняющая только данную элементарную задачу. Например, программа, которая умеет включать и выключать двигатель на заданную угловую скорость вращения или программа, умеющая открывать и закрывать клапан холодной воды, конечно, когда ее об этом «попросят» – передадут на нее управление. Кто же это сделает? Это должна сделать специальная программа, беспечивающая последовательное в нужном для проведении стирки порядке включение аппаратуры стиральной машины.

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

Таким образом, ПО управления стиральной машины предстает в виде двухуровневой иерархической структуры.

Программа «управление циклом выполнения заданного режима стирки» имеет задачу реализации заданной последовательности работы устройств стиральной машины (в необходимых случаях параллельной работы) при выполнении выбранного оператором режима стирки. Таких программ, которые мы назвали программы комплексного функционирования (ПКФ), должно быть столько сколько режимов стирки имеется у машины. Программа реализует последовательность управления устройствами машины путем обращения и инициализации по определенной временной диаграмме программ нижнего уровня, управляющих работой отдельных устройств машины.

Далее рассмотрен более сложный пример - управления подсистемами спутника. Рассмотренный принцип естественного формирования структуры ПО справедлив и здесь. Отличия - в масштабе системы, сложности алгоритмов управления и потребных ресурсах ЦВМ. Декомпозиция этой системы для представления СТС в виде, позволяющем разделить общую задачу управления на части, рассмотрена нами в Главе 2.

Более серьёзное отличие структуры управления данной СТС связано с автоматическим выбором необходимой ПКФ программами ПО планирования работы спутника по информации, переданной с земли. Это образует еще один уровень иерархии ПО. Тогда как в стиральной машине выбор режима – ПКФ осуществляется напрямую оператором.

Программы планирования, получая данные от оператора и запуская соответствующий режим-ПКФ, должны также подготовить необходимые исходные данные для работы этой ПКФ, преобразовывая полученную от оператора информацию. При этом необходимо учитывать тенденцию к упрощению (автоматизации) работы оператора, который требует предоставления ему возможностей обобщенной без деталей выдачи информации на систему.

Удобство проведение изменений в иерархической структуре ПО

В сложные системы всегда закладывается способность к развитию. Эта способность позволяет улучшать характеристики прототипа с затратами существенно меньшими, чем затраты на разработку новой системы и её ПО. Иногда это развитие с улучшением характеристик связано с изменением аппаратных компонент системы. Но эти изменения как правило требуют изменений и в ПО управления этими компонентами. Иногда развитие систем напрямую связано с улучшением управления системой, сопровождаемое изменениями в ПО.

Способность ПО к развитию и изменению не возникает сама собой и не является следствием удачного стечения обстоятельств. Она требует определенных умственных усилий для анализа и предвидения, чтобы определить, где и каким образом потребуется необходимость изменений, требует определенной стратегии структуризации ПО. В основном изменения должны быть изолированы в особых частях ПО и не затрагивать остальные части при их проведении.

В данных структурных схемах ПКФ тот самый элемент ПО, который должен аккумулировать в себе все функциональные изменения при развитии системы и ПО путем создания новых «вариантов использования» системы. Изменением ПКФ можно вводить новые варианты функционирования системы, не затрагивая управление в подсистемах

С другой стороны, при таком иерархическом структурировании модернизация отдельных агрегатов и подсистем СТС, затрагивающая и ПО управления ими, также локализована в программных модулях управления только модернизируемым агрегатом.

Наши рекомендации