Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
Statecharts: A visual formalism for complex systems
Science of Computer Programming
LUSTRE: a declarative language for real-time programming
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Warp: an integrated solution of high-speed parallel computing
Proceedings of the 1988 ACM/IEEE conference on Supercomputing
The ESTEREL synchronous programming language: design, semantics, implementation
Science of Computer Programming
Performance analysis of embedded software using implicit path enumeration
LCTES '95 Proceedings of the ACM SIGPLAN 1995 workshop on Languages, compilers, & tools for real-time systems
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
Journal of the ACM (JACM)
YAPI: application modeling for signal processing systems
Proceedings of the 37th Annual Design Automation Conference
The embedded machine: predictable, portable real-time code
PLDI '02 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation
Constraint-driven communication synthesis
Proceedings of the 39th annual Design Automation Conference
On Predicting Data Cache Behavior for Real-Time Systems
LCTES '98 Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems
Proceedings of the tenth international symposium on Hardware/software codesign
The nesC language: A holistic approach to networked embedded systems
PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation
Benefits and challenges for platform-based design
Proceedings of the 41st annual Design Automation Conference
Giotto: a time-triggered language for embedded programming
Giotto: a time-triggered language for embedded programming
Semantic foundations for heterogeneous systems
Semantic foundations for heterogeneous systems
The Liberty Simulation Environment, version 1.0
ACM SIGMETRICS Performance Evaluation Review - Special issue on tools for computer architecture research
Latency-insensitive design
Controllers for reachability specifications for hybrid systems
Automatica (Journal of IFAC)
A framework for comparing models of computation
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Towards laying common grounds for embedded system design education
ACM SIGBED Review - Special issue: The first workshop on embedded system education (WESE)
Bringing embedded software closer to computer science students
ACM SIGBED Review - Special issues on the second workshop on embedded system education (WESE)
ACM SIGBED Review - Special issues on the second workshop on embedded system education (WESE)
The development and deployment of embedded software curricula in Taiwan
ACM SIGBED Review - Special issues on the second workshop on embedded system education (WESE)
Embedded system education in Zhejiang University
AIC'07 Proceedings of the 7th Conference on 7th WSEAS International Conference on Applied Informatics and Communications - Volume 7
Risk areas in embedded software industry projects
WESE '10 Proceedings of the 2010 Workshop on Embedded Systems Education
Hi-index | 0.00 |
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.