I am a 5th year graduate student in the EECS department at UC Berkeley, being advised by Professor Edward A. Lee. I received my B.S. degree in Electrical Engineering from UC Santa Barbara in the spring of 2010.
My research interests include the design and verification of embedded systems, with a focus on hard and mixed-criticality real-time systems. In particular I am interested in how various methods of abstraction and tools can simplify and automate the design and verification of such systems. I am currently involved in the PRET and PTIDES projects.
- FlexPRET: A Predictable Processor for Mixed-Criticality Systems and Precision-Timed I/O
- Source code: https://github.com/pretis/flexpret
- Publication: FlexPRET: A Processor Platform for Mixed-Criticality Systems
- PTIDES on Multicore: Simulation and Optimization
- Pt1588: Open-source Implementation of the IEEE 1588 Precision Time Protocol for Real-Time Distributed Systems
- Implementation of Clustering Algorithms in DAGs
- SMT Solving for Nonlinear Constraints by Integrating CalCS and Interval Constraint Propagation
Michael Zimmer, J. Karl Hedrick, Edward A. Lee, "Ramifications of Software Implementation and Deployment: A Case Study on Yaw Moment Controller Design", to appear in Proceedings of the American Control Conference (ACC), July, 2015.
Hokeun Kim, David Broman, Edward A. Lee, Michael Zimmer, Aviral Shrivastava, Junkwang Oh, "A Predictable and Command-Level Priority-Based DRAM Controller for Mixed-Criticality Systems", to appear in Proceedings of the 21st IEEE Real-Time and Embedded Technology and Application Symposium (RTAS), April, 2015.
Patricia Derler, Edward A. Lee, Michael Zimmer, Logically Synchronous Models of Distributed Systems with Explicit Timing Specifications, in 20th IMEKO TC4 International Symposium and 18th International Workshop on ADC Modelling and Testing Research on Electric and Electronic Measurement for the Economic Upturn, September, 2014.
Michael Zimmer, David Broman, Chris Shaver, Edward A. Lee, FlexPRET: A Processor Platform for Mixed-Criticality Systems, in Proceedings of the 20th IEEE Real-Time and Embedded Technology and Application Symposium (RTAS), April, 2014.
David Broman, Michael Zimmer, Yooseong Kim, Hokeun Kim, Jian Cai, Aviral Shrivastava, Stephen A. Edwards, and Edward A. Lee, Precision Timed Infrastructure: Design Challenges, in Proceedings of the Electronic System Level Synthesis Conference (ESLsyn), Austin, Texas, USA, May 31-June 1, 2013.
Patricia Derler, John C. Eidson, Stuart Goose, Edward A. Lee, Slobodan Matic, Michael Zimmer, Using Ptides and Synchronized Clocks to Design Distributed Systems with Deterministic Systemwide Timing, in International IEEE Symposium on Precision Clock Synchronization for Measurement, Control and Communication, September, 2013. Technical Report No. UCB/EECS-2013-65.
Isaac Liu, Jan Reineke, David Broman, Michael Zimmer, Edward A. Lee, A PRET Microarchitecture Implementation with Repeatable Timing and Competitive Performance, in Proceedings of International Conference on Computer Design (ICCD), October, 2012.
Slobodan Matic, Ilge Akkaya, Michael Zimmer, John C. Eidson and Edward A. Lee, PTIDES Model on a Distributed Testbed Emulating Smart Grid Real-Time Applications, in Proceedings of the IEEE Conference on Innovative Smart Grid Technologies (ISGT-EUROPE), 2011.
Aaron A. Rowe, Andrew J. Bonham, Ryan J. White, Michael Zimmer, Ramsin J. Yadgar, Tony M. Hobza, Jim W. Honea, Ilan Ben-Yaacov, Kevin W. Plaxco. CheapStat: An Open-Source, 'Do-It-Yourself' Potentiostat for Analytical and Educational Applications", in PLoS One, 2011.