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

UptoLike

ВУЗ: 

Университет ИТМО | Санкт-Петербург

Составители: 

Рубрика: 

обозначавшей эти свойства), в отличие от операционного подхода (Тьюринг,
Марков, Чёрч).
Далее приводится денотативное описание объектно-событийных моделей
ВсС и способы вычисления временных характеристик объектно-событийных
моделей встроенных систем на основе денотативного описания [17, 18].
1.3.4.1 Денотативное описание объектно-событийных моделей ВсС
Как было показано в параграфе 1.1.4.5, модель TSM основана на
представлении вычислительной системы как совокупности сигналов. Сигнал, в
свою очередь, является множеством событий вида
},{ vte =
, где v есть некоторое
значение, элемент данных, а t есть ассоциированная с ним некоторая метка
(тэг). Событие
}
,{
ε
te
=
называется «пустым». В зависимости от свойств
множества меток T, понятие сигнала может иметь различный смысл. Компонент
вычислительного процесса (актор) представляет собой множество его
поведений. На основе теоретико-множественного подхода строится
математическое описание соединений между акторами, входных и выходных
сигналов, композиций акторов произвольной топологии, включая обратную
связь. Модель описывает также процедуру абстракции системы процессов в
один процесс и затрагивает вопросы эквивалентных структурных
преобразований системы акторов. TSM формально задает понятия времени, его
метрик, детерминизма, каузальности, монотонности и непрерывности акторов,
другие понятия, используемые при анализе ВсС.
В рамках денотативного описания ОСМВ (ДОМВ) в качестве модели
времени выбрано множество неотрицательных действительных чисел
+
R
, то
есть для ОСМВ множество тэгов
+
= RT
. Из приведенного выше определения
сигнала следует, что функциональный сигнал есть функция
V
Ts
→:
,
приписывающая каждой метке некоторое значение. Область определения этой
функции
)dom(s
есть начальный сегмент T (сигнал может быть известен лишь до
некоторого момента). Если
Ts =)dom(
, то сигнал называется целым (он до конца
известен).
Между сигналами можно задать отношение префикса, являющееся
обобщением префиксов строк и последовательностей. Для любых двух
сигналов
1
s
и
2
s
,
1
s
есть префикс
2
s
(обозначается
1
s
2
s
), если
и для всех
)dom(
1
st ∈
:
)()(
21
tsts =
. Иными словами, выражение
1
s
2
s
означает, что график функции
1
s
является частью графика
2
s
до некоторого t.
Для описания сигналов в объектно-событийных системах была задана
функция
TS →:
δ
, характеризующая минимальную разность между метками
непустых событий в сигнале. Обозначим
}',)'
(,)(),dom(
',|:
'{| tttstsst
tttD
s
≠≠≠∈
−=
εε
множество всех интервалов времени между непустыми событиями в сигнале s.
Тогда
70

Страницы