Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
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
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
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
The delft MS curriculum on embedded systems
ACM SIGBED Review - Special issues on the second workshop on embedded system education (WESE)
Toward HW/SW integration: a networked embedded system course in Taiwan
ACM SIGBED Review - Special issues on the second workshop on embedded system education (WESE)
Multi-processor programming in the embedded system curriculum
ACM SIGBED Review
Proceedings of the Workshop on Embedded and Cyber-Physical Systems Education
| Hi-index | 0.00 |
Embedded systems are emerging as an essential component of modern electronic products. Embedded system design problems are posing challenges that involve entirely new skills for engineers. These skills are related to the combination of traditionally disjoint engineering disciplines. There is a shared concern that today's educational systems are not providing the appropriate foundations for embedded systems. We believe a new education paradigm is needed.We will argue this point using the example of an emerging curriculum on embedded systems at the University of California at Berkeley. This curriculum is the result of a distillation process of more than ten years of intense research work. We will present the considerations that are driving the 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.