Access the full text.
Sign up today, get DeepDyve free for 14 days.
Edward Lee, A. Sangiovanni-Vincentelli (1998)
A framework for comparing models of computationIEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 17
(2003)
Distributed localized algorithms and protocols for power minimization in networked embedded systems
T. Henzinger, C. Kirsch (2001)
The embedded machine: Predictable, portable real-time code
ARTIST. http://www.artist-embedded.org/overview
Benjamin Horowitz, Judith Liebman, Cedric Ma, T. Koo, A. Sangiovanni-Vincentelli, S. Sastry (2003)
Platform-based embedded software design and system integration for autonomous vehiclesProc. IEEE, 91
E. Kock, W. Smits, P. Wolf, J. Brunel, W. Kruijtzer, P. Lieverse, K. Vissers, G. Essink (2000)
YAPI: application modeling for signal processing systemsProceedings 37th Design Automation Conference
E. Caspi, Michael Chu, Randy Huang, J. Yeh, J. Wawrzynek, A. DeHon (2000)
Stream Computations Organized for Reconfigurable Execution (SCORE)
F. Balarin, M. Chiodo, P. Giusto, H. Hsieh, Attila Jurecska, L. Lavagno, A. Sangiovanni-Vincentelli, E. Sentovich, Kei Suzuki (1999)
Synthesis of Software Programs for Embedded Control Applications32nd Design Automation Conference
F. Balarin, Yosinori Watanabe, H. Hsieh, L. Lavagno, C. Passerone, A. Sangiovanni-Vincentelli (2003)
Metropolis: An Integrated Electronic System Design EnvironmentComputer, 36
IU C.L.L, J. Layland (1989)
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time EnvironmentJ. ACM, 20
(1998)
Methodology and technology for design of communications and multimedia products via system-level ip integration
Yau-Tsun Li, S. Malik (1995)
Performance analysis of embedded software using implicit path enumeration
Edward Lee, P. Varaiya (2000)
INTRODUCING SIGNALS AND SYSTEMS - THE BERKELEY APPROACH
A. Sangiovanni-Vincentelli, L. Carloni, F. Bernardinis, M. Sgroi (2004)
Benefits and challenges for platform-based designProceedings. 41st Design Automation Conference, 2004.
S. Borkar, R. Cohn, G. Cox, S. Gleason, T. Gross (1988)
iWarp: an integrated solution to high-speed parallel computingProceedings. SUPERCOMPUTING '88
(2005)
ACM Transactions on Embedded Computing Systems Embedded System Design Education at Berkeley @BULLET
D. Harel (1987)
Statecharts: A Visual Formalism for Complex SystemsSci. Comput. Program., 8
A. Pnueli (1977)
The temporal logic of programs18th Annual Symposium on Foundations of Computer Science (sfcs 1977)
R. Passerone, A. Sangiovanni-Vincentelli (2004)
Semantic foundations for heterogeneous systems
(2002)
Defining platform-based design. EEDesign of EETimes
A. Pinto, L. Carloni, A. Sangiovanni-Vincentelli (2002)
Constraint-driven communication synthesisProceedings 2002 Design Automation Conference (IEEE Cat. No.02CH37324)
A. Amir, L. Zimet, A. Sangiovanni-Vincentelli, S. Kao (2005)
An embedded system for an eye-detection sensorComput. Vis. Image Underst., 98
Niraj Shah, W. Plishker, K. Keutzer (2004)
NP-Click: A Programming Model for the Intel IXP1200
C. Ferdinand, R. Wilhelm (1998)
On Predicting Data Cache Behavior for Real-Time Systems
Edward Lee (2000)
DESIGNING A RELEVANT LAB FOR INTRODUCTORY SIGNALS AND SYSTEMS
R. Brayton, R. Rudell, A. Sangiovanni-Vincentelli, Albert Wang (1987)
MIS: A Multiple-Level Logic Optimization SystemIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 6
F. Kröger (1987)
Temporal Logic of Programs, 8
V. Zivojnovic, S. Pees, Heinrich Meyr (1996)
LISA-machine description language and generic machine model for HW/SW co-designVLSI Signal Processing, IX
G. Berry, Georges Gonthier (1992)
The Esterel Synchronous Programming Language: Design, Semantics, ImplementationSci. Comput. Program., 19
F. Balarin (1996)
Polis: a design environment for control-dominated embedded systems
David Gay, P. Levis, R. Behren, M. Welsh, E. Brewer, D. Culler (2003)
The nesC language: A holistic approach to networked embedded systems
T. Murata (1989)
Petri nets: Properties, analysis and applicationsProc. IEEE, 77
Edward Lee, D. Messerschmitt (1987)
Synchronous data flowProceedings of the IEEE, 75
(2004)
Received December ACM Transactions on Embedded Computing Systems
(2002)
http://www.cs.uni-salzburg.at/˜ck/teaching/eecs290o-spring
Edward Lee, P. Varaiya (2002)
Structure and interpretation of signals and systems
L. Carloni, A. Sangiovanni-Vincentelli (2004)
Latency-insensitive design
H. Kopetz, G. Grünsteidl (1994)
TTP - A Protocol for Fault-Tolerant Real-Time SystemsComputer, 27
R. Bryant (1989)
Graph-based Algorithm for Boolean Function ManipulationIEEE Transactions on Computers
Manish Vachharajani, Neil Vachharajani, D. Penry, J. Blome, David August (2004)
The Liberty Simulation Environment, version 1.0SIGMETRICS Perform. Evaluation Rev., 31
Massimo Baleani, Frank Gennari, Yunjian Jiang, Yatish Patel, R. Brayton, A. Sangiovanni-Vincentelli (2002)
HW/SW partitioning and code generation of embedded control applications on a reconfigurable architecture platformProceedings of the Tenth International Symposium on Hardware/Software Codesign. CODES 2002 (IEEE Cat. No.02TH8627)
T. Henzinger, Benjamin Horowitz, C. Kirsch (2001)
Giotto: a time-triggered language for embedded programming
J. Lygeros, C. Tomlin, S. Sastry (1999)
Controllers for reachability specifications for hybrid systemsAutom., 35
P. Caspi, D. Pilaud, N. Halbwachs, J. Plaice (1987)
LUSTRE: a declarative language for real-time programming
Embedded systems have been a traditional area of strength in the research agenda of the University of California at Berkeley. In parallel to this effort, a pattern of graduate and undergraduate classes has emerged that is the result of a distillation process of the research results. In this paper, we present the considerations that are driving our curriculum development and we review our undergraduate and graduate program. In particular, we describe in detail a graduate class (EECS249: Design of Embedded Systems: Modeling, Validation and Synthesis) that has been taught for six years. A common feature of our education agenda is the search for fundamentals of embedded system science rather than embedded system design techniques, an approach that today is rather unique.
ACM Transactions on Embedded Computing Systems (TECS) – Association for Computing Machinery
Published: Aug 1, 2005
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.