托勒密项目目标

托勒密项目研究并发、实时、嵌入式系统。重点是组装并发组件。该项目的主要基本原则是使用定义明确的计算模型管理组件之间的交互。正在解决的一个主要问题领域是使用异构混合计算模型。一个名为托勒密二世的软件系统正在Java中构建。

项目所处理的系统类别有时称为无功系统反应系统是指与他们的环境以环境的速度发展。他们经常嵌入式系统，并与交互式系统进行了对比，它们以自己的速度与环境发生反应，以及转换系统，处理输入数据体以生成输出数据体。反应系统通常包括信号处理、通信和实时控制。他们是通常使用混合技术实现，可能包括嵌入式软件、定制数字硬件、可配置硬件、，模拟电路、微波电路和微电子机械系统（MEMS）。

托勒密项目的一个关键原则是使用多重层次异构中的计算模型设计环境。这项工作的前提是没有单一的通用模型很可能在不久的将来出现提供设计师需要的东西。对不同的实施进行建模技术及其交互在均质环境。考虑嵌入式DSP软件控制例如MEMS器件。MEMS设备需要物理建模使用微分方程，这是一种完全不适用于DSP软件。此外验证设计并合成高质量高级抽象模型的实现都是受到建模框架中通用性的影响。

该项目旨在开发技术支持异构建模，包括正式的“元模型”和用于实验异构建模的软件实验室。在此背景下，它探索了基于数据流的方法和过程网络、离散事件系统、同步/反应语言、有限状态机和通信顺序过程。它做出了从基本语义到综合的贡献嵌入式软件和定制硬件。

此时托勒密项目的方法包括：

使用编程语言概念，如语义、类型理论、反射和并发理论在电子系统的系统级设计中。
关注特定领域的建模和设计问题因此，设计者可以专注于问题，而不是工具。
强调理解力系统，即通过可视化表示、可执行模型、，和验证。
Java、设计模式、UML和现代软件工程的使用实践适应了学术研究的现实。

托勒密软件为实验提供了实验室项目的一方。它通过使用多态性和信息隐藏的面向对象原则。例如，使用托勒密软件，信号处理的高级数据流模型系统可以连接到硬件模拟器，而硬件模拟器又可以连接到通信网络的离散事件模型。

自从托勒密计划开始以来，语义学的许多进步，已经进行了设计、仿真和代码生成。托勒密项目的成果包括：

现代类型理论对块-图层次的适应系统规范。
通信顺序进程（CSP）的定时扩展和过程网络（PN）。
同步/反应式设计的模块化方法。
计算模型比较的数学框架并研究它们之间的相互作用。
过程网络的有界执行策略。
数据流计算模型的形式化。
使用高阶函数管理数据流图中的规则性。
多维多速率系统的自动化设计。
模拟和调度多维多速率系统。
模拟异构系统。
具有各种并发模型的模块化分层有限状态机。
从数据流图合成嵌入式软件。
并行调度技术。
在并行实现中优化处理器间通信。
推导硬件/软件划分的快速算法数据流图。
管理设计过程中的工具调用和数据依赖性。
集成异构设计可视化。

托勒密软件环境被广泛用于应用包括信号处理、电信、并行处理、无线通信、网络设计、投资光通信系统的管理和建模，实时系统和软硬件协同设计。托勒密软件也被用作信号处理和传播课程。目前的托勒密软件在全球各地拥有数百名活跃用户工业界、学术界和政府。