Высокоуровневое проектирование встраиваемых систем. Часть 1. Платунов А.Е - 104 стр.

UptoLike

103
накладываемых элементной базой. Суть этих ограничений такова, что не
каждый А-агрегат, являющийся объединением аспектных характеристик, может
быть реализован в элементной базе, доступной разработчику. Недоступность
элементной базы может быть вызвана совершенно разными причинами:
ограничениями производства печатных плат, недоступностью определенных
микросхем на рынке, квалификацией и размером коллектива, неразвитостью
технологий в мировом
масштабе.
В процессе проектирования можно создать некоторую идеальную систему
(модель), но которая в настоящий момент не может быть реализована силами
коллектива. Это вовсе не означает, что эта же А-модель системы не может быть
в то же самое время реализована никаким другим коллективом, или, что этот же
коллектив не сможет
реализовать ее через некоторое время, когда изменятся
факторы, внешние для модели системы, но внутренние для коллектива.
Таким образом, мы приходим к важнейшему свойству А-моделиее
реализуемости. В общем случае разрабатываемая ВС не является
математической абстракцией, она должна быть реализована в определенной
элементной базе и обладать заданной функциональностью. При этом
зачастую
не столь важно, каким образом система была спроектирована. В нашем случае
А-модель состоит из А-агрегатов. При этом при определении А-агрегата нигде
не выдвигалось требования его реализуемости. На самом деле это требование
вредно, так как автоматически привязало бы разработчика к определенной,
зачастую неоправданно выбранной элементной базе.
Ниже приводится
классификация А-агрегатов на основании их проекции в
аспектное пространство. Пусть ААнекий А-агрегат, F – аспектная полнота,
тогда возможны два взаимоисключающих варианта проекций:
0)( )0(
=
<
aaFii
i
ρ
, (2.7)
0)( )0(
<
aaFii
i
ρ
. (2.8)
А-агрегат, описывающий не все аспекты в рамках А-модели, называется
абстрактным А-агрегатом [см. формулу (2.7)]. То есть при создании и
использовании такого агрегата разработчик абстрагируется от тех или иных
характеристик системы, которые для него не важны (произвольны) или будут
доопределены впоследствии. Нетрудно заметить, что большинство технических
решений, протоколов, интерфейсов,
стандартов и являются такими
абстрактными А-агрегатами, из которых разработчик по факту создает систему.
В противоположность абстрактному А-агрегату, у которого существует хотя бы
один из неопределенных аспектов, полный А-агрегат [см. формулу (2.8)] такой,
у которого определены все аспекты, интересующие разработчика при
проектировании конкретной ВсС.
Очевидно, что реализуемость А-агрегата можно
обсуждать только для
полных А-агрегатов. В противном случае для А-агрегата остаются
произвольными или неопределенными аспекты, которые в конечной системе