EE382C Embedded Software Systems - Handouts

Prof. Brian L. Evans, Spring 2004, MW 11:00 AM - 12:30 PM, ENS 116, Unique Number 14955.

The reader for the course is available from the HKN office in ENS 104. The reader is produced at the cost of materials by HKN members. Here is the table of contents of the reader:

A. Course Description (PDF)
B. Resources for Project Ideas (PDF)
C. Learning Resource Center (PDF)
D. Mathematica (PDF)
E. Matlab (PDF)
F. Upcoming Conference Deadlines
G. Bhattacharyya, Leupers, and Marwedel, "Software Synthesis and Code Generation for Signal Processing Systems", IEEE Transactions on Circuits and Systems II: Analog and Digital Signal Processing, 47(9), Sept. 2000.
H. Parks, Pino and Lee, "A Comparison of Synchronous and Cyclo-Static Dataflow", Proc. IEEE Asilomar Conference on Signals, Systems, and Computers, Nov. 1995.
I. Edwards and Lee, "The Semantics and Execution of a Synchronous Block-Diagram Language", Science of Computer Programming, vol. 48, no. 1, pp. 21-42, July 2003.
J. Parks, Bounded Scheduling of Process Networks, Technical Report UCB/ERL-95-105, PhD Dissertation, EECS Department, University of California, Berkeley, CA 94720, December 1995.
K. Lee, "The Problem with Threads", Technical Report UCB/EECS-2006-1, EECS Department, University of California, Berkeley, CA 94720, January, 2006.
L. Pino and Kalbasi, "Cosimulating Dataflow with Analog RF Circuits", Proc. IEEE Asilomar Conference on Signals, Systems, and Computers, Pacific Grove, CA, Nov. 1998.
M. Evans and Arslan, "A Signal Processing System-Level Design Course", Proc. IEEE Signal Processing Education Workshop, Oct. 15-18, 2000, Hunt, Texas, invited paper.
N. Menard, Chillet, and Sentieys, Floating-to-Fixed-Point Conversion for Digital Signal Processors, EURASIP Journal on Applied Signal Processing, vol. 2006, art. 96421, pp 1-19.
O. Bhattacharyya and Lee, "Looped Schedules for dataflow descriptions of multirate signal processing algorithms", Journal of Formal Methods in System Design, vol. 5, no. 3, pp. 183-205, Dec. 1994.
P. Bhattacharyya, Murthy, and Lee, "Synthesis of embedded software from synchronous dataflow specifications", Journal of VLSI Signal Processing Systems, vol. 21, no. 2, pp. 151-166, Jun. 1999.
Q. Bilsen, Engels, Lauwereins, and Peperstraete, "Cyclo-static dataflow", IEEE Transactions on Signal Processing, vol. 44, no. 2, pp. 397-408, Feb. 1996.
R. Buck and Vaidyanathan, "Heterogeneous modeling and simulation of embedded systems in El Greco", Proc. Int. Workshop on Hardware/Software Codesign, San Diego, CA, May 2000.
S. Buck, Ha, Lee, and Messerschmitt, "Ptolemy: A mixed-paradigm simulation/prototype platform in C++", Proc. C++ At Work Conference, Santa Clara, CA, Nov. 1991.
T. Andrade and Kovner, "Software synthesis from dataflow models for G and LabVIEW", Proc. IEEE Asilomar Conf. on Signals, Systems, and Computers, vol. 2, pp. 1705-1709, Nov. 1998.
U. Kahn, "The semantics of a simple language for parallel programming", Proc. IFIP Congress on Information Processing, pp. 471-475, Stockholm, Sweden, Aug. 1974.
V. Karp and Miller, "Properties of a model for parallel computations: Determinacy, termination, and queueing", SIAM Journal on Applied Mathematics, vol. 14, no. 6, pp. 1390-1411, Nov. 1966.
W. Lee and Messerschmitt, "Static scheduling of synchronous data flow programs for digital signal processing", IEEE Transactions on Computers, vol. C-36, no. 1, pp. 24-35, Jan. 1987.
X. Lee and Messerschmitt, "Synchronous data flow", Proceedings of the IEEE, vol. 75, no. 9, pp. 1235-1245, Sep. 1987.
Y. Liu and Layland, "Scheduling algorithms for multiprogramming in a hard real-time environment", Journal of the Association for Computing Machinery, vol. 20, no. 1, pp. 46-61, Jan. 1973.
Z. Bhattacharyya, "Hardware/Software Co-Synthesis of DSP Systems", Programmable Digital Signal Processors: Architecture, Programming, and Applications, pp. 333-378, 2002.

Other key papers are

Philip Baldwin, Sanjeev Kohli, Edward A. Lee, Xiaojun Liu, and Yang Zhao, "Modeling of Sensor Nets in Ptolemy II", Proc. Information Processing in Sensor Networks, Apr. 26-27, 2004, Berkeley, CA, USA.
Marc Geilen and Twan Basten, "Requirements on the Execution of Kahn Process Networks", Proc. European Symposium on Programming Languages and Systems, pp. 319-334, April 7-11, 2003. Available in Lecture Notes in Computer Science 2618, Springer, Berlin, Germany, 2003.

In the class, the following will be handed out:

Pocket Guide to Digital Signal Processors, by Berkeley Design Technology Inc.
Andrew P. Black, "Better Abstractions: an Agenda for Embedded Systems Research", Panel Presentation at DARPA-NSF Workshop on Embedded and Hybrid Systems.

Handouts given in previous offerings of the course that are no longer handed out:

Soonhoi Ha, "Efficient Code Synthesis from Extended Dataflow Graphs for Multimedia Applications", slides presented on January 28, 2002.
Hamid Sheikh, Shizhong Liu, Brian L. Evans and Alan C. Bovik, "Real-Time Foveation Techniques for H.263 Video Encoding in Software", Proc. IEEE Int. Conf. on Acoustics, Speech, and Signal Proc.,
Jose Luis Pino, Shuvra S. Bhattacharyya, and Edward A. Lee, "A Hierarchical Multiprocessor Scheduling System for DSP Applications", Proc. IEEE Asilomar Conference on Signals, Systems, and Computers, Nov. 1995. May 7-11, 2001, vol. 3, pp. 1781-1784, Salt Lake City, UT.
Software Development in the Unix Environment
"Software Tools", IEEE Spectrum, Jan. 1997, pp. 61-64.
"Software Engineering", IEEE Spectrum, Jan. 1997, pp. 65-69.
Pages 120-130 of P. P. Vaidyanathan, Multirate Systems and Filter Banks, Prentice-Hall, ISBN 0-13-605718-7, 1993.
Harel, "Statecharts: A visual formalism for complex systems", Science of Computer Programming, vol. 8, no. 3, pp. 231-274, Jun. 1987.

Updated 02/10/06.