CSE 653: Seminar in Concurrency,
Spring 2002
Focus Area: Embedded Systems. [Announcements] |
In this seminar course/reading group, we will read several papers on design and computer-aided verification of embedded systems. We expect to cover the following subtopics:
No | Date | Topic | Lecturer |
1. | Jan 31 | Organizational meeting. | Radu Grosu |
2. | Feb 07 | Introduction to Embedded Systems | Radu Grosu |
3. | Feb 14 | Design of embedded systems: formal models, validation, and synthesis, S. Edwards, L. Lavagno, E.A. Lee, and A. Vicentelli | Radu Grosu |
4. | Feb 21 | The Synchronous Programming Language ESTEREL: Design, Semantics, Implementation,, G. Berry and G. Gonthier. | Radu Grosu |
5. | Feb 28 | Handbook on Verilog HDL, D.C. Hyde | Rohit Pai |
6. | Mar 07 | The VHDL Cookbook, P.J. Ashenden | Ashish Shah |
7. | Mar 14 | Scheduling of Conditional Process Graphs for the Synthesis of Embedded Systems, A. Doboli, P. Eles | Alexa Doboli |
8. | Mar 21 | Power Analysis and Minimization Techniques for Embedded DSP Software, M.T. Lee, V. Tiwari, S. Malik, M. Fujita | Jyoti Wagolikar |
*** | Mar 28 | Spring recess (no class) | |
9. | Apr 04 | Statecharts, a Visual Formalism for Complex Systems, D. Harel. | Paloma Mukherjee |
10. | Apr 11 | Synthesis of Embedded Software from Synchronous Dataflow Specifications, S. Bhattacharyya, P.K. Murthy, E.A. Lee | Vaishali Wani |
11. | Apr 18 | Hardware/Software Codesing and Rapid Prototyping of Embedded Systems, F. Slomka, M. Dorfel, R. Munzenberger, | Nat |
12. | Apr 25 | Modular Refinement of Hierarchic Reactive Machines, R. Alur, R. Grosu. | Qinghua Zhang |
13. | May 02 | VHDL-AMS, IEEE Standard 2001 | Harshad Kamat |
14. | May 09 |