ptolemy.eecs.berkeley.eduPtolemy Project Home Page

UC Berkeley EECS Dept. Quick Links People Download Publications Home Objectives Ptolemy II Other software People Sponsors Publications Conferences Presentations FAQ Download Home Ptolemy II Ptutorials Ptolemy Classic Software People Projects Sponsors Publications Conferences Presentations Links Projects Mailing lists Search FAQ Style Guide Events June 18, 2018: Ptolemy II 11.0.1 released. October 13, 2017: Edward A. Lee Festschrift Symposium: Principles of Modeling October 16, 2015: Eleventh Biennial Ptolemy Miniconference Ptolemy in a Nutshell The Ptolemy project studies modeling, simulation, and design of concurrent, real-time, embedded systems. The focus is on assembly of concurrent components. People Downloads Publications Skip to sidebar The Ptolemy Project(Watercolor by David Broman ) For current work, spun off from the Ptolemy Project, see Lingua Franca and its GitHub repo . The Ptolemy project studies modeling, simulation, and design of concurrent, real-time, embedded systems. The focus is on assembly of concurrent components. The key underlying principle in the project is the use of well-defined models of computation that govern the interaction between components. A major problem area being addressed is the use of heterogeneous mixtures of models of computation. A software system called Ptolemy II is being constructed in Java. The work is conducted in the Industrial Cyber-Physical Systems Center (iCyPhy) in the Department of Electrical Engineering and Computer Sciences of the University of California at Berkeley . The project is directed by Prof. Edward Lee . The project is named after Claudius Ptolemaeus , the second century Greek astronomer, mathematician, and geographer. Books: Principles of Modeling: Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday , Edited by Marten Lohstroh, Patricia Derler, and Marjan Sirjani, Springer, LNCS, volume 10760, 2018. System Design, Modeling, and Simulation using Ptolemy II , Published by ptolemy.org, 2014, available as a free PDF download and low-cost paperback. About the Ptolemy Project: Objectives of the project Tutorials on Ptolemy II Current Research Thrusts: Reactors : This effort is developing polyglot metalanguage for composing reactors, concurrent components that exchange timestamped messages. This language is intended for distributed systems, particularly those with time-sensitive behavior. See the Lingua Franca GitHub repository and Wiki . Swarm technologies : This effort is addressing the enormous potential (and associated risks) enabled by billions of networked sensing and actuating devices. See the TerraSwarm Research Center . Cyber-physical systems : Models of computation with time and concurrency, metaprogramming techniques, code generation and optimization, domain-specific languages, schedulability analysis, programming of sensor networks. See the iCyPhy (industrial cyber-physical systems) consortium and early position paper and publications page for elaborations. Understandable concurrency : This effort focuses on models of concurrency in software that are more understandable and analyzable than the prevailing abstractions based on threads. See a position paper . Systems of systems : This effort focuses on modeling and design of large scale systems, those that include networking, database, grid computing, and information subsystems. See for example the Kepler project , which is a scientific workflow management system. Semantics : Domain polymorphism, behavioral type systems, meta-modeling of semantics, comparative models of computation. See papers on semantics . Hybrid systems : Blended continuous and discrete dynamics, models of time, operational semantics, language design. See the paper on hybrid systems semantics and paper on semantics of mixed continuous and discrete systems . Upcoming events:News: September, 2019 : Lingua Franca project launched. June 18, 2018 : Ptolemy II 11.0.1 released December 22, 2017 : CapeCode0.1.devel released December 5, 2017 : CapeCode Tutorial, Paris October 13, 2017 : The Edward A. Lee Festschrift Symposium was held, photos are available. April 28, 2017 : Dissertation talk, by Edward Lee’s PhD student Hoken Kim, on Locally Centralized, Globally Distributed Authentication and Authorization for IoT , Berkeley, CA. October 21, 2016 : Eclipse Triquetrum Incubation 0.1.0 released . Triquetrum is a scientific workflow system that uses Ptolemy II February, 2016 : Berkeley EECS Annual Research Symposium (BEARS) October 16, 2015: The Eleventh Biennial Ptolemy Miniconference was held. January 26, 2015: Ptplot 5.10 released. December 17, 2014: Ptolemy II 10.0.1 online demonstrations, documentation and software released. October 2, 2014: John Eidson, working with the group of PI Lee, has exposed a serious flaw in a leading Internet standard for network clock synchronization , and has developed a fix to the protocol that will be voted on by the ITU this fall. February 13, 2014: TerraSwarm Lunch and Poster Session at the Berkeley EECS Annual Research Symposium (BEARS) November 7, 2013: The Tenth Biennial Ptolemy Miniconference will be held in Berkeley, California. October 23, 2013: bioKepler 1.0 Amazon Machine Image (AMI) released . Though bioKepler was not developed at UC Berkeley, it does use Ptolemy II. This release means that portions of Ptolemy II are available in the cloud. October 4, 2013: System Design, Modeling, and Simulation using Ptolemy II , Published by ptolemy.org, 2014, available as a free PDF download and low-cost paperback. August 22, 2013: bioKepler 1.0 Released . The bioKepler suite facilitates rapid development and scalable distributed execution of bioinformatics workflows in Kepler while simplifying access to a wide range of bioinformatics tools executed locally or distributedly. bioKepler 1.0 contains a set of Kepler actors, called "bioActors", which are specialized for running bioinformatics tools along with Kepler directors for distributed data-parallel (DDP) execution on Hadoop and Stratosphere engines. Additionally, over 40 example workflows demonstrating how to use these actors and directors have been packaged in this first release of bioKepler. Kepler uses Ptolemy II as its execution engine. April 28, 2013: jfmi1.0.2 , a Java Wrapper for the Functional Mock-up Interface was released. The Functional Mock-up Interface (FMI) is an emerging standard with the objective to make it easy to share modeling components between various simulation tools and environments. JFMI is a Java wrapper for FMI. This release fixes a bug involving reading strings and building shared libraries under Windows. March 10, 2013: jfmi1.0.1 , a Java Wrapper for the Functional Mock-up Interface was released. February 14, 2013: The BEARS lunch and poster session January 17, 2013: Professor Lee is leading the TerraSwarm Center . The TerraSwarm Research Center, launched on January 15, 2013, is addressing the huge potential (and associated risks) of pervasive integration of smart, networked sensors and actuators into our connected world. October 25-26, 2012: The NITRD National Workshop on The New Clockwork for Time-Critical Systems was held in Baltimore. June 18, 2012: JFMI , a Java Wrapper for the Functional Mock-up Interface was released. The Functional Mock-up Interface (FMI) is an emerging standard with the objective to make it easy to share modeling components between various simulation tools and environments. JFMI is a Java wrapper for FMI. February 23, 2012: As part of the Berkeley EECS Annual Research Symposium (BEARS) , the Ptolemy Project held a a Lunch and Poster Session in 545 Cory Hall in conjuction with the Center for Hybrid and Embedded Software Systems (CHESS) and the Donald O. Pederson Center for Electronic Systems Design . November 17, 2011: Dr. Patricia Derler has been awarded her degree sub auspiciis Praesidentis rei publicae (under the auspices of the President of Austria). Wikipedia’s Latin Honors page says that only one out of...