Submissions: use associated acronyms Su1, Su2, ... in the email's Subject field.

Reading Assignment (due Jan 18, 6:00 PM)

• Su7: P. Caspi, A. Curic, A. Maignan, C. Sofronis, S. Tripakis, P. Niebert: From Simulink to SCADE/Lustre to TTA: A Layered Approach for Distributed Embedded Applications. LCTES 2003.
  Click here for PDF file.

Comment: short summary (3-4 bullet items).

• Su6: N. Halbwachs, P. Caspi, P. Raymond, D. Pilaud: The synchronous dataflow programming language Lustre. In Proc. IEEE, vol. 79 (9), 1991.
  Click here for PDF file.

• Su5: T.A. Henzinger, C.M. Kirsch, S. Matic: Schedule-Carrying Code. EMSOFT 2003.
  Click here for PDF file.

• Su4: G.C. Buttazzo: Rate Monotonic vs. EDF: Judgment Day. In Proc. EMSOFT, October 2003, pp. 67-83.
  Click here for PDF file.

• Su3: T.A. Henzinger, C.M. Kirsch, M.A.A. Sanvido, W. Pree: From Control Models to Real-Time Code using Giotto. IEEE Control Systems Magazine, February, 2003.
  Click here for PDF file.

• Su2: T.A. Henzinger, C.M. Kirsch: The Embedded Machine: Predictable, Portable Real-Time Code. PLDI 2002.
  Click here for PDF file.

• Su1: Edward A. Lee: What's Ahead for Embedded Software? IEEE Computer Magazine, September 2000, pp. 18-26.
  Click here for PDF file.

List of Potential Papers

Papers on Programming Abstractions:

• T.A. Henzinger, C.M. Kirsch, B. Horowitz: Giotto: A Time-triggered Language for Embedded Programming. In Proc. IEEE, vol. 91 (1), 2003.
• Gérard Berry: The Foundations of Esterel. Proof, Language and Interaction: Essays in Honour of Robin Milner, MIT Press, 2000.
• N. Wirth: Toward a discipline of real-time programming. Communications of the ACM, vol. 20, 1977.

Papers on Runtime Abstractions:

• N. Wirth: Tasks versus threads: An alternative multiprocessing paradigm. Software: Concepts and Tools, vol. 17, Springer, 1996.

Papers on Model-Based Design:

• N. Scaife, C. Sofronis, P. Caspi, S. Tripakis, F. Maraninchi: Defining and translating a "safe" subset of Simulink/Stateflow into Lustre. EMSOFT 2004.
• P. Caspi, A. Curic, A. Maignan, C. Sofronis, S. Tripakis: Translating Discrete-Time Simulink to Lustre. EMSOFT 2003.

Papers on Clock Synchronization:

• Leslie Lamport: Time, clocks, and the ordering of events in a distributed system. Communications of the ACM, vol. 21 (7), 1978.

Papers on WCET Analysis:

• H. Theiling, C. Ferdinand, R. Wilhelm: Fast and precise WCET prediction by separated cache and path analyzes. Real-Time Systems, vol. 18 (2-3), 2000.