The Ptolemy Projects

  • Research Projects - listed by student, which includes many of the projects below.
  • AF-TRUST - Ubiquitous Secure Technology: time-sensitive web services, information management, funded by the Air Force Office of Scientific Research and TRUST.
  • Center for Hybrid and Embedded Software Systems (CHESS) industrial interactions (Agilent, Bosch, Lockheed Martin, National Instruments, Toyota)
  • Cyber Physical Systems (CPS) seedling, funded by the NSF.
  • HCDDES MURI - High-Confidence Design for Distributed Embedded Systems: control systems, funded by the Air Force Office of Scientific Research.
  • MICRO - Timed distributed systems, funded by Agilent.
  • NAOMI - a tool that enables disparate modeling systems to work together, funded by Lockheed Martin Advanced Technology Laboratories
  • PRET - Precision timed machines, funded by the NSF.
  • PTESDF - Ptolemy Extensible Systems Dynamics Framework (PTESDF), funded by Rome Air Force Research Laboratory
  • PTIDES - Programming Temporally Integrated Distributed Embedded Systems
  • SGER Cyber Physical Systems (CPS)
  • SCOS - Scalable composition of subsystems, funded by the US Army Research Laboratory