Tagged Signal Model
A high level abstraction model: Defines processes and their interaction using signals
Denotational view without any language
Fundamental entity of TSM: Event (value/tag pair)
- Tags: temporal behavior
- A set of events is a signal
Ex: An event “temperature” may occur any time the sensor interrupts indicating a value ( say a range of all possible values in 0-50 degree) at certain intervals.
Do all events have a value to share all the time?