托勒密计划

托勒密图像 有关托勒密项目剥离出来的当前工作，请参见法国林加及其GitHub回购.

托勒密项目研究并发、实时嵌入式系统的建模、仿真和设计。重点是并发组件的组装。项目中的关键基本原则是使用定义明确的计算模型控制组件之间的交互。正在解决的一个主要问题是计算模型的异构混合的使用。一个名为托勒密二世的软件系统正在Java中构建。工作在工业网络物理系统中心（iCyPhy）在中电气工程与计算机科学系的加州大学伯克利分校.该项目由Edward Lee教授。该项目以以下名称命名托勒密，二世纪希腊天文学家、数学家和地理学家。

书：

关于托勒密计划：

当前研究重点：

  • 反应堆：这项工作正在开发用于组成反应器的多语言元语言，即交换带有时间戳的消息的并发组件。这种语言适用于分布式系统，尤其是那些具有时间敏感行为的系统。请参阅Lingua Franca GitHub存储库和维基.
  • 网络物理系统：具有时间和并发性的计算模型、元编程技术、代码生成和优化、特定领域的语言、可调度性分析、传感器网络编程。请参阅iCyPhy（工业网络物理系统）联盟而且很早立场文件和出版物页面用于详细说明。
  • 可理解的并发性：这项工作的重点是软件中的并发模型，这些模型比基于线程的主流抽象更容易理解和分析。请参见立场文件.
  • 系统体系：这项工作的重点是大规模系统的建模和设计，这些系统包括网络、数据库、网格计算和信息子系统。请参见示例开普勒项目这是一个科学的工作流管理系统。
  • 语义学：领域多态性、行为类型系统、语义元模型、计算比较模型。请参见语义学论文.
  • 混合动力系统：混合连续和离散动态、时间模型、操作语义、语言设计。请参阅混合系统语义论文和连续与离散混合系统的语义研究.

新闻：

新闻档案。