Research Initiation Award: Cleopatra: A Programming Environment for Embedded Time-Critical Systems

可预测性-预测一个 实现不会违反一组指定的 要求-是一个至关重要的，非常可取的属性， 嵌入式系统 本研究旨在开发一种 编程环境（语言、库和工具）， 构建可预测的时间关键系统。 该环境的骨干是CLEOPATRA，一个编程 语言，这是明显适合 嵌入式系统的要求。 CLEOPATRA具有C- 就像描述计算的命令式语法一样， 这使得它更容易融入到已经存在的应用程序中， 利用C. 它是事件驱动的，因此适合于 嵌入式过程控制应用。它是面向对象的 和组合，从而倡导模块化， 可重用性 CLEOPATRA在语义上是合理的;它的对象 可以被机械地、毫不含糊地转化为 用于验证目的的形式TRA自动机，可以是 使用模型检查或定理提供 技术.自1989年以来，CLEOPATRA的祖先一直在 用作嵌入式系统的规范和仿真语言 时间紧迫的机器人流程。 本研究的目的 更进一步 它旨在建立一个综合的 基于CLEOPATRA的支持环境， 实时系统开发人员，无论是在学术界还是在 行业

Predictability - the ability to foretell that an implementation will not violate a set of specified requirements - is a crucial, highly desirable property of embedded systems. This research aims at developing a programming environment (language, libraries, and tools) for building predictable time-critical systems. The backbone of the environment is CLEOPATRA, a programming language that is demonstrably well-suited for the requirements of embedded systems. CLEOPATRA features a C- like imperative syntax for the description of computation, which makes it easier to incorporate in applications already using C. It is event-driven, and thus appropriate for embedded process control applications. It is object-oriented and compositional, thus advocating modularity and reusability. CLEOPATRA is semantically sound; its objects can be transformed, mechanically and unambiguously, into formal TRA automata for verification purposes, which can be pursued using model-checking or theorem providing techniques. Since 1989, an ancestor of CLEOPATRA has been in use as a specification and simulation language for embedded time-critical robotic processes. The goal of this research goes one step further. It aims at building an integrated CLEOPATRA-based support environment that would be useful for real-time system developers, both in academia and in industry.