38
CS269: HW/SW Engineering of Embedded Systems, Winter02
Formalizing behaviors
•
function
b
mapping
event names
and
integers
to
event values
•
b
(message, 2) =
bye
•
b
(sample, 3) =
l
•
b
(play, 1) =
^
message
play
sample
hello
bye
h
e
l
l
o