<<< Back to Discrete-Event models      Forward to PTIDES >>>

Time-Triggered Models

Lecture notes

Homework

Homework 6 due Tuesday, 11/22.

Reading

Assigned reading:

  1. Tripakis, Sofronis, Caspi and Curic (2005). Translating discrete-time Simulink to Lustre. ACM Transactions on Embedded Computing Systems (TECS) 4(4): 779 - 818.
  2. Henzinger, Horowitz and Kirsch (2001). Giotto: A Time-Triggered Language for Embedded Programming. EMSOFT 2001, Tahoe City, CA, Springer-Verlag. (Study group paper)