2006 Research Summaries for the Ptolemy Project

These research summaries give a snapshot of many of the research efforts within the Ptolemy Project. These summaries appear in the collection of research abstracts EECS/ERL Research Summary. The research summary is published once a year by the EECS Industrial and Public Relations Office, Electrical Engineering and Computer Sciences Department, and the Electronics Research Laboratory of the University of California at Berkeley. The EECS/ERL Industrial Relations program office can be reached at +1-510-643-6691 or indrelations at eecs berkeley edu

Researcher(s)	Project Title
Christopher Brooks, Edward Lee, Yang Zhao, Haiyang Zheng	Ptolemy II- Heterogeneous Concurrent Modeling and Design in Java
Adam Cataldo	Building An Actor-Oriented Language
Adam Cataldo Eleftherios Matsikoudis Haiyang Zheng	Abstract Semantics
Haiyang Zheng and Ye Zhou	Causality Interfaces and Compositional Causality Analysis
Haiyang Zheng	An Operational Semantics for Hybrid Systems
Eleftherios D. Matsikoudis	Semantic Interpretation of Timed Discrete-Event Systems
Rachel Zhou	Extension of Finite State Machine
Shamik Bandyopadhyay Christopher Brooks Elaine Cheong Jackie Man-Kit Leung Gang Zhou Rachel Zhou	Real-Time Software Systems
Elaine Cheong	Actor-Oriented Programming for Wireless Sensor Networks
Elaine Cheong Yang Zhao Christopher Brooks	Viptos: A Graphical Development and Simulation Environment for TinyOS-based Wireless Sensor Networks
Eleftherios D. Matsikoudis	Compositional Dataflow
Gang Zhou	Dynamic Dataflow and Boolean Dataflow in Ptolemy II
Thomas Feng	Distributed Modeling and Simulation with Backtracking
Rachel Zhou	Heterochronous Dataflow

Last updated 10/17/05