7
Communication We defined communication as: messages sent from and to the different modules using the connexxion/relay unit A message consists of: coordinates time bus nr. arrival time send to address

8
GPS unit Input:none Output: Message m1, which contains: coordinates time bus nr. send to address Such that: the send to address is the location of the R&S-AS

10
Route & Speed aware system Input: A message m2 Output: A message m3 Such that: m3 = m2 U {Arrival Time, Send To Address} Where the Arrival Time, and the Send To Address are determined by the R&S- AS