Ptolemy Project

Studies modeling, simulation, and design of concurrent, real-time, embedded systems. Focus: assembly of concurrent components. Key underlying principle: use of well-defined computation models that govern interaction between components.