Relational Programs

关系型程序

基本信息

  • 批准号:
    9900922
  • 负责人:
  • 金额:
    $ 18.26万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    1999
  • 资助国家:
    美国
  • 起止时间:
    1999-10-01 至 2002-09-30
  • 项目状态:
    已结题

项目摘要

CCR-99000922 Bastani, Farokh B. The University of Texas at DallasThe increasing automation of critical applications is imposing increasing demands on software capabilities and assurance levels. To handle these challenges, several methods have been proposed to decompose requirements specifications into disjoint pieces that can be implemented independently. However, most of these methods do not directly facilitate the assessment of the resulting system. This research focuses on IDEAL (Independently Developable End-user Assessable Logical) components, i.e., components that can be analyzed, developed, and evaluated independently by the end-user. To compose a system of IDEAL components, each component is relational (returns all possible outputs for a given input). This approach has severalsignificant advantages, including high reliability and safety assurance, automated composition, and support for multiparadigm control strategies. A formal foundation for the existence of relational programs for several classes of applications will be developed. A library of heuristic rules, data types, operations, and coordination schemes will be developed to facilitate the writing of efficient relational programs. Methods will be developed to infer the properties (performance, reliability, safety, and stability) of a system of IDEAL components from the properties of its components. These will result in a rigorous and practical approach for achieving certifiable high assurance for critical applications.
达拉斯得克萨斯大学的CCR-99000922 Bastani,Farokh B.关键应用程序的自动化程度不断提高,对软件功能和保证水平的要求也越来越高。为了应对这些挑战,已经提出了几种方法来将需求规范分解成可以独立实现的不相交的部分。然而,这些方法中的大多数并不直接促进对所产生的系统的评估。本研究的重点是理想(独立可开发的最终用户可评估逻辑)组件,即可由最终用户独立分析、开发和评估的组件。要组成一个由理想组件组成的系统,每个组件都是相关的(返回给定输入的所有可能输出)。这种方法具有几个显著的优点,包括高可靠性和安全性保证、自动合成和支持多范例控制策略。将为几类应用程序的关系程序的存在建立一个正式的基础。将开发一个启发式规则、数据类型、操作和协调方案的库,以促进高效关系程序的编写。将开发方法来从其组件的属性推断理想组件系统的属性(性能、可靠性、安全性和稳定性)。这些将产生一种严格和实用的方法,以实现关键应用程序的可证明的高保证。

项目成果

期刊论文数量(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 }}

Farokh Bastani其他文献

A study of the model and algorithms for handling location-dependent continuous queries
  • DOI:
    10.1007/s10115-005-0196-7
  • 发表时间:
    2005-04-20
  • 期刊:
  • 影响因子:
    3.100
  • 作者:
    Manish Gupta;Manghui Tu;Latifur Khan;Farokh Bastani;I-Ling Yen
  • 通讯作者:
    I-Ling Yen

Farokh Bastani的其他文献

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

{{ truncateString('Farokh Bastani', 18)}}的其他基金

I/UCRC: NSF Net-centric and Cloud Software and Systems
I/UCRC:NSF 以网络为中心的云软件和系统
  • 批准号:
    1361795
  • 财政年份:
    2014
  • 资助金额:
    $ 18.26万
  • 项目类别:
    Continuing Grant
Collaborative Research: FRP: QoS-Assured Service Composition and Execution
合作研究:FRP:QoS保证的服务组合和执行
  • 批准号:
    1128270
  • 财政年份:
    2011
  • 资助金额:
    $ 18.26万
  • 项目类别:
    Standard Grant
MRI Consortium: Development of Instrumentation for Measuring the Dependability and Quality of Cloud Computing Systems
MRI 联盟:开发用于测量云计算系统可靠性和质量的仪器
  • 批准号:
    1126393
  • 财政年份:
    2011
  • 资助金额:
    $ 18.26万
  • 项目类别:
    Standard Grant
Collaborative Research: IUCRC Center Proposal: Net-Centric Software and Systems
合作研究:IUCRC 中心提案:以网络为中心的软件和系统
  • 批准号:
    0855944
  • 财政年份:
    2009
  • 资助金额:
    $ 18.26万
  • 项目类别:
    Continuing Grant
I/UCRC: A Planning Activity for Joining the Center for Embedded Systems
I/UCRC:加入嵌入式系统中心的规划活动
  • 批准号:
    0733940
  • 财政年份:
    2007
  • 资助金额:
    $ 18.26万
  • 项目类别:
    Standard Grant
Investigation of a Robust Software Architecture for Safety-Critical Applications
针对安全关键应用的鲁棒软件架构的研究
  • 批准号:
    9803993
  • 财政年份:
    1998
  • 资助金额:
    $ 18.26万
  • 项目类别:
    Standard Grant
The Experimental Evaluation of a Fuzzy Set Based Approach ToEstimating the Correctness of Computer Programs
基于模糊集的计算机程序正确性估计方法的实验评估
  • 批准号:
    8301745
  • 财政年份:
    1983
  • 资助金额:
    $ 18.26万
  • 项目类别:
    Standard Grant

相似海外基金

I-Corps: Translation potential of learning engagement and assessment programs in multi-person virtual reality
I-Corps:多人虚拟现实中学习参与和评估项目的翻译潜力
  • 批准号:
    2417857
  • 财政年份:
    2024
  • 资助金额:
    $ 18.26万
  • 项目类别:
    Standard Grant
Alabama Agricultural and Mechanical University ALSAMP Bridge to the Doctorate: Navigating BD Scholars’ Successful Transition to STEM Graduate Programs
阿拉巴马农业机械大学 ALSAMP 通往博士学位的桥梁:引导 BD 学者成功过渡到 STEM 研究生项目
  • 批准号:
    2404955
  • 财政年份:
    2024
  • 资助金额:
    $ 18.26万
  • 项目类别:
    Standard Grant
Planning: Pathways to Transforming Arctic Science Programs
规划:北极科学项目转型之路
  • 批准号:
    2421373
  • 财政年份:
    2024
  • 资助金额:
    $ 18.26万
  • 项目类别:
    Standard Grant
Ownership-based Alias Analysis for Securing Unsafe Rust Programs
用于保护不安全 Rust 程序的基于所有权的别名分析
  • 批准号:
    DP240103194
  • 财政年份:
    2024
  • 资助金额:
    $ 18.26万
  • 项目类别:
    Discovery Projects
Investigating the Outcome of EMI Programs in Higher Education Context: Cases from Japan and Mongolia
调查高等教育背景下 EMI 项目的成果:日本和蒙古的案例
  • 批准号:
    24K16709
  • 财政年份:
    2024
  • 资助金额:
    $ 18.26万
  • 项目类别:
    Grant-in-Aid for Early-Career Scientists
Leveraging Machine Learning to Examine Engineering Students Self-selection in Entrepreneurship Education Programs
利用机器学习检查工科学生在创业教育项目中的自我选择
  • 批准号:
    2321175
  • 财政年份:
    2024
  • 资助金额:
    $ 18.26万
  • 项目类别:
    Standard Grant
Mapping Transfer into Undergraduate Engineering Programs in the Central New York State Region
纽约州中部地区本科工程项目转学计划
  • 批准号:
    2322574
  • 财政年份:
    2024
  • 资助金额:
    $ 18.26万
  • 项目类别:
    Standard Grant
CRII: SHF: Embedding techniques for mechanized reasoning about existing programs
CRII:SHF:现有程序机械化推理的嵌入技术
  • 批准号:
    2348490
  • 财政年份:
    2024
  • 资助金额:
    $ 18.26万
  • 项目类别:
    Standard Grant
CAREER: Enabling Functional Biological Programs
职业:实现功能生物计划
  • 批准号:
    2339335
  • 财政年份:
    2024
  • 资助金额:
    $ 18.26万
  • 项目类别:
    Standard Grant
Workshops Supporting the Development of a Workbook for Liberal Arts Computing Programs
支持文科计算项目工作手册开发的研讨会
  • 批准号:
    2342587
  • 财政年份:
    2024
  • 资助金额:
    $ 18.26万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了