2.2.2.2 Недостатки диаграммы Бара для проектирования микроконтроллерных программ управления

Формальная модель предлагаемой диаграммы задач основана на концепциях диаграмм Р. Бара, предложившего метод объектно-ориентированного структурного проектирования программ, реализуемых на языке Ада [33]. Под объектами понимаются задачи и пакеты как черные ящики с известным интерфейсом. Применение нотации Бара в неизмененном виде в рассматриваемой предметной области не имеет смысла, поскольку нотация обладает рядом нижеперечисленных недостатков.

1) В язык Ада заложена возможность только синхронного взаимодействия объектов через механизм рандеву.

Сам Бар отмечает, что данное ограничение вызывает сомнения в способности языка Ада обеспечить организацию взаимодействия в реальном времени [33]. В среде, где несколько задач выполняются одним процессором, вынужденные излишние переключения контекстов задач для обеспечения условий рандеву увеличивают время реакции системы при работе в реальном масштабе времени.

2) Разработанные модули-пакеты не могут быть инициаторами взаимодействий на уровне графической нотации.

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

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