<<< Back to Consistency      Forward to Discrete-Event Models >>>

Time-Triggered Models

Lecture notes

Homework

Homework exercises are due in one week, Friday, April 17. (Note that one page project status reports are due the same day).

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)