EECS 249B
Spring 2015
Contents
Home
Logistics
Lectures Discussions
Assignments
Projects
Software
References
Seminar
Wiki
Course Development
SVN

Discussion Sections
Instructions
During each section, we will be discussing published papers related to the topics covered in class. We will consider both survey and research papers, which will be posted on the class website one week in advance. One or two students are required to prepare and give a 25minute presentation to the class. All other students are required to submit a review of the papers by email to Pierluigi. Paper reviews are due by 11.59pm, the day before the section (i.e., generally, on Mondays).
Try to be concise and to the point. Your review should consist of a few paragraphs of paper summary (no more than one page overall), covering your assessment of:
 Problem definition
 Proposed (surveyed) approaches
 Strengths, novel ideas
 Weaknesses, possible limitations
 How the presented work could be improved or extended
Reading List
 A. SangiovanniVincentelli, "Quo Vadis, SLD? Reasoning About
the Trends and Challenges of System Level Design", Due: 09/11/12,
Presenters: Safa Messaoud and Antonio Iannopollo, Slides.
 D. Harel and A. Naamad, "The STATEMATE Semantics of Statecharts", Due: 09/18/12,
Presenters: Hokeun Kim and Ben Zhang, Slides.
 M. Sgroi, et al., "Synthesis of Embedded Software Using FreeChoice Petri Nets",
C. Chaouiya, et al., "Petri net modelling of biological networks",
N. Viswanadham and N.R. Srinivasa Raghavan, "Performance analysis and design of supply chains: a Petri net approach",
Due: 09/25/12, Presenters: Wei Yang Tan and David Burnett, Slides.
 A. Benveniste and G. Berry, "The Synchronous Approach
to Reactive and RealTime Systems",
S. Tripakis, et al., "Implementing Synchronous Models on Loosely Time Triggered Architectures",
Due: 10/2/12, Presenters: Wei Yang Tan and David Burnett, Slides.
 E. A. Lee and T. M. Parks, "Dataflow Process Networks",
E. A. Lee and A. SangiovanniVincentelli, "A Framework for Comparing Models of Computation",
A. Pinto, et al., "A Methodology for ConstraintDriven Synthesis of OnChip Communications",
Due: 10/9/12, Presenters: Huy Vo (Slides) and Behrooz Shahsavari (Slides).
 C. L. Liu and
J. W. Layland, "Scheduling Algorithms for Multiprogramming in a HardRealTime Environment",
J. Goossens, "Scheduling of Offset Free Systems",
A. Davare, et al., "Period Optimization for Hard Realtime Distributed Automotive Systems",
Due: 11/08/12, Presenters: Ilge Akkaya and Forrest Iandola, Slides1, Slides2, Slides3.
 A. SangiovanniVincentelli, et al., "Taming Dr. Frankenstein: ContractBased Design for CyberPhysical Systems", Presenters: Antonio Iannopollo and Hokeun Kim, Slides1, Slides2.
P. Nuzzo, et al., "Methodology for the Design of Analog Integrated Interfaces Using Contracts", Presenters: Pierluigi, Safa Messaoud and Ben Zhang, Slides1, Slides2.
Due: 11/15/12
 A. Benveniste, et al., "Multiple Viewpoint ContractBased Specification and Design", Presenters: Huy Vo and Behrooz Shahsavari, Slides.
J.B. Raclet, et al., "Modal interfaces: unifying interface automata and modal specifications", Presenters: Ilge Akkaya and Forrest Iandola, Slides.
Due: 11/27/12
