An Overview of Embedded System Design Education at Berkeley

ACM Transactions on Embedded Computing Systems

Volumn 4, Issue 3, 2005, Pages 472-499

  Sangiovanni Vincentelli, Alberto L ^a   Pinto, Alessandro ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

architectural design; Design; embedded software; embedded systems; functional design; Graduate and undergraduate education; sourcework; Standardization; Theory; Verification

Indexed keywords

EID: 85008051269     PISSN: 15399087     EISSN: 15583465     Source Type: Journal    
DOI: 10.1145/1086519.1086521     Document Type: Article

References (39)

1. Balarin, F. et al. 1997. Polis: ADesign Environment for Control-Dominated Embedded Systems. Kluwer, Boston, MA.
2. Balarin, F. et al. 1999. Synthesis of software programs for embedded control application. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
3. Balarin, F., Watanabe, Y., Hsieh, H., Lavagno, L., Passerone, C., Sangiovanni-Vincentelli, A., 2003. Metropolis: an integrated electronic system design environment. IEEE Computer.
4. Baleani, M., Gennari, F., Jiang, Y., Patel, Y., Brayton, R. K., Sangiovanni-Vincentelli, A., 2002. HW/SW partitioning and code generation of embedded control applications on a reconfigurable architecture platform. In Proceedings of the 10th International Symposium on Hardware/Software Codesign (CODES), Estes Park, Colorado.
5. Berry, G., Gonthier, G., 1992. The esterel synchronous programming language: Design, semantics, implementation. Science of Computer Programming 19, 2, 87-152.
6. Borkar, S., Cohn, R., Cox, G., Gleason, S., Gross, T., 1988. Warp: An integrated solution of high-speed parallel computing. In Supercomputing '88: Proceedings of the 1988 ACM/IEEE Conference on Supercomputing. IEEE Computer Society Press. 330-339.
7. Brayton, R. K., Rudell, R., Sangiovanni-Vincentelli, A., Wang, A. R., 1987. Mis: A multiple-level logic optimization system. IEEE Trans. Comput.-Aided Design Integrated Circuits 6, 6 (Nov.), 1062-1081.
8. Bryant, R. E., 1986. Graph-based algorithms for Boolean function manipulation. IEEE Trans. Comput. C-35, 8 (Aug.), 677-691.
9. Carloni, L. P., 2004. Latency-Insensitive Design. Ph.D. thesis, University of California at Berkeley, Electronics Research Laboratory, College of Engineering, Berkeley, CA 94720. Memorandum No. UCB/ERL M04/29.
10. Caspi, P., Pilaud, D., Halbwachs, N., Plaice, J. A., 1987. Lustre: A declarative language for realtime programming. In POPL '87: Proceedings of the 14th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages. ACM Press, New York. 178-188.
11. Caspi, E., Chu, M., Huang, R., Yeh, J., Wawrzynek, J., Dehon, A., 2000. Stream computations organized for reconfigurable execution (score). In FPL '00: Proceedings of the The Roadmap to Reconfigurable Computing, 10th International Workshop on Field-Programmable Logic and Applications. Springer-Verlag. 605-614.
12. Kock De, E. A., Essink, G., Smits, W. J. M., van der Wolf, P., Brunel, J.-Y., Kruijtzer, W. M., Lieverse, P., and Vissers, K. A. 2000. Yapi: Application modeling for signal processing systems. Proceedings of the Design Automation Conference.
13. Ferdinand, C., Wilhelm, R., 1998. On predicting data cache behavior for real-time systems. In Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems. Springer-Verlag, 16-30.
14. Gay, D., Levis, P., Vonbehren, R., Welsh, M., Brewer, E., Culler, D., 2003. The nesc language: A holistic approach to networked embedded systems. SIGPLAN Not. 38, 5, 1-11.
15. Harel, D., 1987. Statecharts: A visual formalism for complex systems. Science of Computer Programming 8, 3 (June), 231-274.
16. Henzinger, T. A., Horowitz, B., Kirsch, C. M., 2003. Giotto: A time-triggered language for embedded programming. Proceedings of the IEEE 91, 84-99.
17. Henzinger, T. A., Kirsch, C. M., 2002. The embedded machine: Predictable, portable realtime code. In Proceedings of the International Conference on Programming Language Design and Implementation. ACM Press, New York, 315-326.
18. Horowitz, B., Liebman, J., Ma, C., Koo, J., Sangiovanni-Vincentelli, A., Sastry, S., 2003. Platform-based embedded software design and system integration for autonomous vehicles. In Proceedings of the IEEE.
19. Kopetz, H., Grunsteidl, G., 1994. Ttp-a protocol for fault-tolerant real-time systems. Computer 27, 1, 14-23.
20. Koushanfar, F., Davare, A., Nguyen, D. T., Potkonjak, M., Sangiovanni-Vincentelli, A., 2003. Distributed localized algorithms and protocols for power minimization in networked embedded systems. In ACM/IEEE International Symposium On Low Power Electronics and Design.
21. Lee, E. A., 2000. Designing a relevant lab for introductory signals and systems. Proc. of the First Signal Processing Education Workshop.
22. Lee, E. A., Messerschmitt, D. G., 1987. Synchronous data flow. In Proceedings of the IEEE.
23. Lee, E. A., Sangiovanni-Vincentelli, A. L., 1998. A framework for comparing models of computation. IEEE Trans. Comput.-Aided Design Integrated Circuits 17, 12 (Dec.), 1217-1229.
24. Lee, E. A., Varaiya, P., 2000. Introducing signals and systems-the Berkeley approach. Proc. of the First Signal Processing Education Workshop.
25. Lee, E. A., Varaiya, P., 2003. Structure and interpretation of signals and systems. Addison-Wesley, Reading, MA.
26. Li, Y.-T.S., Malik, S., 1995. Performance analysis of embedded software using implicit path enumeration. In Workshop on Languages, Compilers and Tools for Real-Time Systems. 88-98.
27. Liu, C. L., Layland, J. W., 1973. Scheduling algorithms for multiprogramming in a hard-realtime environment. Journal of the ACM 20, 1, 46-61.
28. Lygeros, J., Tomlin, C., Sastry, S., 1999. Controllers for reachability specifications for hybrid systems. In Automatica, Special Issue on Hybrid Systems.
29. Martin, G., Salefski, B., 1998. Methodology and technology for design of communications and multimedia products via system-level ip integration. In Proceedings of the Conference on Design, Automation and Test in Europe. IEEE Computer Society.
30. Murata, T., 1989. Petri nets: Properties, analysis and applications. In Proceedings ofthe IEEE. 541-580. Newsletterlnfo: 33. Published as Proceedings ofthe IEEE, 77, 4.
31. Passerone, R., 2004. Semantic foundations for heterogeneous systems. Ph.D. thesis, University of California, Berkeley.
32. Pinto, A., Carloni, L., Sangiovanni-Vincentelli, A., 2002. Constraint-driven communication synthesis. In Proceedings of the Design Automation Conference 2002 (DAC'02).
33. Pnueli, A., 1977. The temporal logic of programs. In Proceedings ofthe 18th IEEE Symposium on the Foundations of Computer Science (FOCS-77). IEEE, IEEE Computer Society Press, Providence, Rhode Island, 46-57.
34. Sangiovanni-Vincentelli, A., 2002. Defining platform-based design. EEDesign of EETimes.
35. Sangiovanni-Vincentelli, A., Carloni, L., Bernardinis, F. D., Sgroi, M., 2004. Benefits and challenges for platform-based design. In Proceedings ofthe 41st Annual Conference on Design Automation. ACM Press, New York, 409-414.
36. Shah, N., Plishker, W., Keutzer, K., 2004. NP-Click: A Programming Model for the Intel IXP 1200, 1 ed. Vol. 2. Elsevier, Chapter 9, 181-201.
37. Vachharajani, M., Vachharajani, N., Penry, D. A., Blome, J., August, D. I., 2004. The liberty simulation environment, version 1.0. Performance Evaluation Review: Special Issue on Tools for Architecture Research 31, 4 (Mar.).
38. Zimet, L., Kao, S., Amir, A., Sangiovanni-Vincentelli, A., 2004. An embedded system for an eye detection sensor. In Computer Vision and Image Understanding: Special Issue on Eye detection and Tracking.
39. Zivojnovic, V., Pees, S., Meyr, H., 1996. Lisa-machine description language and generic machine model for hw/sw co-design. IEEE Workshop on VLSI Signal Processing.