39
CS269: HW/SW Engineering of Embedded Systems, Winter02
Annotations
•
functions
mapping
event names
and
integers
to some domain,
e.g. reals in case of time
•
time(sample, 3) = 6
•
time(play, 1) = 3
•
we express constraints for annotated behaviors (
b
,{a
1
, a
2
...})
message
play
sample
hello
bye
h
e
l
l
o
1
3
8
4
5
6
7
9