Submissions only by email to the TA
Email: robert.staudinger@gmail.com (due to problems with the university spam filter)

Late submissions will not be considered. No exceptions.

Reading Assignment 5 (due 6pm, Wed, Jan 31, 2007)

Read the following paper and prepare short summaries (3-4 bullet points / short paragraphs each).

• T. Nghiem, G. Pappas, A. Girard, R. Alur: Time-triggered Implementations of Dynamic Controllers. In Proc. of the 6th ACM & IEEE int. Conference on Embedded Software. EMSOFT 2006. p2.pdf

Reading Assignment 4 (due 6pm, Wed, Jan 10, 2007)

Read the following paper and prepare short summaries (3-4 bullet points / short paragraphs each).

• 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.

Reading Assignment 3 (due 6pm, Wed, Dec 13, 2006)

Read the following paper and prepare short summaries (3-4 bullet points / short paragraphs each).

• C. Sofronis, S. Tripakis and P. Caspi. A Memory-Optimal Buffering Protocol for Preservation of Synchronous Semantics under Preemptive Scheduling. In 6th ACM Intl.Conf. on Embedded Software (EMSOFT06), Click here for PDF file.

Reading Assignment 2 (due 6pm, Wed, Nov 29, 2006)

(Note extended deadline)

Read the following paper and prepare short summaries (3-4 bullet points / short paragraphs each).

• T.A. Henzinger and C.M. Kirsch: The Embedded Machine: predictable, portable real-time code, Proc. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2002, pp. 315-326, Click here for PDF file.

Reading Assignment 1 (due 6pm, Wed, Nov 8, 2006)

Read the following papers and prepare short summaries (3-4 bullet points each).

• Edward A. Lee: What's Ahead for Embedded Software? IEEE Computer Magazine, September 2000, pp. 18-26. Click here for PDF file.
• Edward A. Lee: The Problem with Threads, Technical Report No. UCB/EECS-2006-1. 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.