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

研究启动奖:Cleopatra:嵌入式时间关键系统的编程环境

基本信息

  • 批准号:
    9308344
  • 负责人:
  • 金额:
    $ 9.98万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    1993
  • 资助国家:
    美国
  • 起止时间:
    1993-07-15 至 1996-12-31
  • 项目状态:
    已结题

项目摘要

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

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

Azer Bestavros其他文献

SETH: A VLSI Chip for the Real-Time Information Dispersal and Retrieval for Security and Fault-Tolerance
SETH:用于实时信息分发和检索的 VLSI 芯片,以实现安全性和容错性
Safe compositional specification of networking systems
网络系统的安全组成规范
  • DOI:
    10.1145/1031134.1031139
  • 发表时间:
    2004
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Azer Bestavros;A. Bradley;A. Kfoury;I. Matta
  • 通讯作者:
    I. Matta
Specification and verification of real-time embedded systems using time-constrained reactive automata
使用时间约束反应自动机的实时嵌入式系统的规范和验证
PeriScope: An active measurement API
PeriScope:主动测量 API
  • DOI:
  • 发表时间:
    2002
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Khaled Harfoush;Azer Bestavros;J. Byers
  • 通讯作者:
    J. Byers
Evaluation of a Load Profiling Approach to Routing Guaranteed Bandwidth Flows
用于路由保证带宽流的负载分析方法的评估
  • DOI:
    10.1007/978-1-4471-4884-5_9
  • 发表时间:
    1997
  • 期刊:
  • 影响因子:
    0
  • 作者:
    I. Matta;Azer Bestavros
  • 通讯作者:
    Azer Bestavros

Azer Bestavros的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Azer Bestavros', 18)}}的其他基金

SaTC: TTP: Small: Modular Platform for Web-based Secure Multi-Party Analytics
SaTC:TTP:小型:基于 Web 的安全多方分析的模块化平台
  • 批准号:
    1718135
  • 财政年份:
    2017
  • 资助金额:
    $ 9.98万
  • 项目类别:
    Standard Grant
Smart and Connected Communities Workshop: Visioning for Effective Community/University/Industry Collaboration Models
智能互联社区研讨会:有效社区/大学/行业合作模式的愿景
  • 批准号:
    1748189
  • 财政年份:
    2017
  • 资助金额:
    $ 9.98万
  • 项目类别:
    Standard Grant
PFI:BIC A Smart-city Cloud-based Open Platform and Ecosystem (SCOPE)
PFI:BIC 基于云的智慧城市开放平台和生态系统(SCOPE)
  • 批准号:
    1430145
  • 财政年份:
    2014
  • 资助金额:
    $ 9.98万
  • 项目类别:
    Standard Grant
TC:Large:Collaborative Research: Towards Trustworthy Interactions in the Cloud
TC:大型:协作研究:实现云中值得信赖的交互
  • 批准号:
    1012798
  • 财政年份:
    2010
  • 资助金额:
    $ 9.98万
  • 项目类别:
    Continuing Grant
US-Middle East: Regional Workshop On Emerging Networking Research
美国-中东:新兴网络研究区域研讨会
  • 批准号:
    0958498
  • 财政年份:
    2009
  • 资助金额:
    $ 9.98万
  • 项目类别:
    Standard Grant
EAGER: Towards a Marketplace for Colocation of Cloud Services
EAGER:迈向云服务托管市场
  • 批准号:
    0952145
  • 财政年份:
    2009
  • 资助金额:
    $ 9.98万
  • 项目类别:
    Standard Grant
(CSR--EHS/CPS) Leveraging Type Systems for the Development of High-Assurance Cyber-Physical Systems and Appications
(CSR--EHS/CPS)利用类型系统开发高保证的网络物理系统和应用程序
  • 批准号:
    0720604
  • 财政年份:
    2007
  • 资助金额:
    $ 9.98万
  • 项目类别:
    Standard Grant
CT-ISG: Towards Trusted Adaptation Dynamics in Computing Systems and Networks
CT-ISG:迈向计算系统和网络中的可信适应动态
  • 批准号:
    0524477
  • 财政年份:
    2005
  • 资助金额:
    $ 9.98万
  • 项目类别:
    Standard Grant
ICNP 2005 Travel Awards in Support of Graduate Students, Minority, and Minority-Serving Faculty
ICNP 2005 旅行奖支持研究生、少数族裔和少数族裔教师
  • 批准号:
    0548724
  • 财政年份:
    2005
  • 资助金额:
    $ 9.98万
  • 项目类别:
    Standard Grant
CISE Research Infrastructure: SENSORIUM: Research Infrastructure for Managing Spatio-Temporal Objects in Video Sensor Networks
CISE 研究基础设施:SENSORIUM:用于管理视频传感器网络中时空对象的研究基础设施
  • 批准号:
    0202067
  • 财政年份:
    2002
  • 资助金额:
    $ 9.98万
  • 项目类别:
    Continuing Grant

相似海外基金

Research Initiation Award: Integrated Approach Toward Examining Fecal Indicator Bacteria Trends in a Coastal Watershed
研究启动奖:检查沿海流域粪便指示细菌趋势的综合方法
  • 批准号:
    2300319
  • 财政年份:
    2023
  • 资助金额:
    $ 9.98万
  • 项目类别:
    Standard Grant
Research Initiation Award: Turan-type problems on partially ordered sets
研究启动奖:偏序集上的图兰型问题
  • 批准号:
    2247163
  • 财政年份:
    2023
  • 资助金额:
    $ 9.98万
  • 项目类别:
    Standard Grant
Research Initiation Award: A GNN+BiMCLSTM Based Framework to Model, Predict, and Traceback Malware Strains
研究启动奖:基于 GNN BiMCLSTM 的框架,用于建模、预测和追溯恶意软件菌株
  • 批准号:
    2300405
  • 财政年份:
    2023
  • 资助金额:
    $ 9.98万
  • 项目类别:
    Standard Grant
Research Initiation Award: Uncovering and Extracting Biological Information from Nanopore Long-read Sequencing Data with Machine Learning and Mathematical Approaches
研究启动奖:利用机器学习和数学方法从纳米孔长读长测序数据中发现和提取生物信息
  • 批准号:
    2300445
  • 财政年份:
    2023
  • 资助金额:
    $ 9.98万
  • 项目类别:
    Standard Grant
Research Initiation Award: Highly Stable Nanoparticle-Doped Metal-Organic Frameworks for Applications in Water Purification
研究启动奖:用于水净化应用的高度稳定的纳米颗粒掺杂金属有机框架
  • 批准号:
    2344742
  • 财政年份:
    2023
  • 资助金额:
    $ 9.98万
  • 项目类别:
    Standard Grant
Research Initiation Award: Implementing the Next-Generation IoT Ecosystem with AI Capabilities
研究启动奖:利用人工智能能力实施下一代物联网生态系统
  • 批准号:
    2200377
  • 财政年份:
    2023
  • 资助金额:
    $ 9.98万
  • 项目类别:
    Standard Grant
Research Initiation Award: Thermal Decomposition of Four-membered Heterocyclic Peroxides, Data Mining in Nonadiabatic Trajectories, and Chemiexcitation Efficiency
研究启动奖:四元杂环过氧化物的热分解、非绝热轨迹数据挖掘、化学激发效率
  • 批准号:
    2300321
  • 财政年份:
    2023
  • 资助金额:
    $ 9.98万
  • 项目类别:
    Standard Grant
Research Initiation Award: Analysis of Glycoprotein Composition and Function of PGE2 EP Receptors in Mammary-derived Cells
研究启动奖:乳腺细胞中 PGE2 EP 受体的糖蛋白组成和功能分析
  • 批准号:
    2300448
  • 财政年份:
    2023
  • 资助金额:
    $ 9.98万
  • 项目类别:
    Standard Grant
Research Initiation Award: Investigating Instructional Conditions for Robust Learning in Biology
研究启动奖:研究生物学稳健学习的教学条件
  • 批准号:
    2300454
  • 财政年份:
    2023
  • 资助金额:
    $ 9.98万
  • 项目类别:
    Standard Grant
Research Initiation Award: Exploring Class A G-Protein Coupled Receptors (GPCRs)-Ligand Interaction through Machine Learning Approaches
研究启动奖:通过机器学习方法探索 A 类 G 蛋白偶联受体 (GPCR)-配体相互作用
  • 批准号:
    2300475
  • 财政年份:
    2023
  • 资助金额:
    $ 9.98万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了