Genericity in Network Software: Using Type Systems and Formal Methods to Harness Diverse Theories and Calculi for Scalable and Safe Compositions of Network Services

网络软件的通用性:使用类型系统和形式化方法来利用不同的理论和计算来实现网络服务的可扩展和安全组合

基本信息

  • 批准号:
    0820138
  • 负责人:
  • 金额:
    $ 40万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    2008
  • 资助国家:
    美国
  • 起止时间:
    2008-09-01 至 2012-08-31
  • 项目状态:
    已结题

项目摘要

Proposal Number: 0820138Proposal Title: Genericity in Network Software: Using Type Systems and Formal Methods to Harness Diverse Theories and Calculi for Scalable and Safe Compositions of Network ServicesPrincipal Investigators: Assaf Kfoury, Azer Bestavros, and Abraham MattaThis research defines and implements a generic formal framework for writing compositional network specifications and programs; the latter can capture constraints on the contents, form, and representation of communications and interactions. The project contributions include the design of a polymorphic flow language and accompanying algorithms for type-inference and type-checking. Concrete type spaces are defined with which to instantiate this generic framework, reflecting sufficient bounds to ensure correctness of composing systems that can be specified in the framework; examples of such type spaces reflect useful results in coding theory, scheduling theory, control theory, network calculus (among several other disciplines) in which behaviors and properties can be structured into both qualitative and quantitative hierarchies and bounding sets. The result environment will enable network programmers to leverage useful results from valuable but less accessible (to the average network programmer) approaches to the safety and verification of composite software systems, and will integrate these approaches into familiar specification and programming practices.
提案编号:0820138提案标题:网络软件的通用性:使用类型系统和形式化方法来利用各种理论和演算来实现网络服务的可扩展和安全组合主要研究者:Assaf Kfoury, Azer Bestavros和Abraham matta本研究定义并实现了用于编写组合网络规范和程序的通用形式化框架;后者可以捕获通信和交互的内容、形式和表示的约束。该项目的贡献包括多态流语言的设计以及用于类型推断和类型检查的相关算法。定义了具体的类型空间,用它来实例化这个通用框架,反映了足够的边界,以确保可以在框架中指定的组合系统的正确性;这种类型空间的例子反映了编码理论、调度理论、控制理论、网络演算(以及其他几个学科)中有用的结果,其中行为和属性可以被结构成定性和定量层次结构和边界集。结果环境将使网络程序员能够利用有用的结果,这些结果来自于有价值但不易获得的(对一般网络程序员来说)方法,以确保组合软件系统的安全性和验证,并将这些方法集成到熟悉的规范和编程实践中。

项目成果

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

Assaf Kfoury其他文献

Efficient reassembling of graphs, part 1: the linear case
  • DOI:
    10.1007/s10878-016-0024-x
  • 发表时间:
    2016-05-06
  • 期刊:
  • 影响因子:
    1.100
  • 作者:
    Assaf Kfoury;Saber Mirzaei
  • 通讯作者:
    Saber Mirzaei

Assaf Kfoury的其他文献

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

{{ truncateString('Assaf Kfoury', 18)}}的其他基金

ITR/SY (CCR): Implementing Modular Program Analysis via Intersection and Union Types
ITR/SY (CCR):通过交集和并集类型实施模块化程序分析
  • 批准号:
    0113193
  • 财政年份:
    2001
  • 资助金额:
    $ 40万
  • 项目类别:
    Continuing Grant
A Paradigm Shift in Program Analysis and Transformation via Intersection and Union Types
通过交集和并集类型进行程序分析和转换的范式转变
  • 批准号:
    9988529
  • 财政年份:
    2000
  • 资助金额:
    $ 40万
  • 项目类别:
    Standard Grant
Experimental Software Systems: Collaborative Research: Applications of Flow Types in the Efficient, Modular, and Reliable Compilation of Higher-Order Typed Languages
实验软件系统:协作研究:流类型在高阶类型语言高效、模块化、可靠编译中的应用
  • 批准号:
    9806745
  • 财政年份:
    1998
  • 资助金额:
    $ 40万
  • 项目类别:
    Standard Grant
Combinatorial Problems in Typed Lambda-Calculi
类型 Lambda 演算中的组合问题
  • 批准号:
    9417382
  • 财政年份:
    1995
  • 资助金额:
    $ 40万
  • 项目类别:
    Continuing Grant
Type-Reconstruction Problems for the -Calculus and Functional Programming Languages
微积分和函数式编程语言的类型重构问题
  • 批准号:
    9113196
  • 财政年份:
    1991
  • 资助金额:
    $ 40万
  • 项目类别:
    Continuing Grant
Polymorphism, Types and Higher-Order Procedures, in Programming Languages
编程语言中的多态性、类型和高阶过程
  • 批准号:
    8901647
  • 财政年份:
    1989
  • 资助金额:
    $ 40万
  • 项目类别:
    Continuing Grant
Problems in Logics of Programs
程序逻辑问题
  • 批准号:
    8601592
  • 财政年份:
    1986
  • 资助金额:
    $ 40万
  • 项目类别:
    Standard Grant

相似国自然基金

多维在线跨语言Calling Network建模及其在可信国家电子税务软件中的实证应用
  • 批准号:
    91418205
  • 批准年份:
    2014
  • 资助金额:
    170.0 万元
  • 项目类别:
    重大研究计划
基于Wireless Mesh Network的分布式操作系统研究
  • 批准号:
    60673142
  • 批准年份:
    2006
  • 资助金额:
    27.0 万元
  • 项目类别:
    面上项目

相似海外基金

SWIFT-SAT: Software Defined Radio based Emulation of SAT-Terrestrial Network Coexistence in "FR3" Bands
SWIFT-SAT:“FR3”频段中基于软件定义无线电的 SAT 与地面网络共存仿真
  • 批准号:
    2332637
  • 财政年份:
    2023
  • 资助金额:
    $ 40万
  • 项目类别:
    Standard Grant
IMR: MM-1C: Fine-grained Network Monitoring via Software Imputation
IMR:MM-1C:通过软件插补进行细粒度网络监控
  • 批准号:
    2319442
  • 财政年份:
    2023
  • 资助金额:
    $ 40万
  • 项目类别:
    Standard Grant
eMB: Mouth to Mind: Leveraging network dynamical systems and software to understand diet, diabetes, dementia and modifiable risk factors delaying Alzheimer's disease
eMB:口耳相传:利用网络动态系统和软件来了解饮食、糖尿病、痴呆症和延缓阿尔茨海默病的可改变风险因素
  • 批准号:
    2325276
  • 财政年份:
    2023
  • 资助金额:
    $ 40万
  • 项目类别:
    Standard Grant
CRII: CNS: A Hybrid Software Defined Networking-Information Centric Networking Framework for the Reuse of Computation at the Network Edge
CRII:CNS:一种混合软件定义网络-以信息为中心的网络框架,用于在网络边缘重用计算
  • 批准号:
    2306685
  • 财政年份:
    2023
  • 资助金额:
    $ 40万
  • 项目类别:
    Standard Grant
Software-oriented Cloud-native Network Infrastructure towards Terabit-class Communications
面向太比特级通信的面向软件的云原生网络基础设施
  • 批准号:
    22H03581
  • 财政年份:
    2022
  • 资助金额:
    $ 40万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
I-Corps: Energy conservation network software that simultaneously audits, monitors, and manages energy use in buildings in real-time
I-Corps:节能网络软件,可同时实时审核、监控和管理建筑物的能源使用情况
  • 批准号:
    2227513
  • 财政年份:
    2022
  • 资助金额:
    $ 40万
  • 项目类别:
    Standard Grant
Intent-Based Network Management of Software Defined Wireless Sensor Networks
软件定义无线传感器网络的基于意图的网络管理
  • 批准号:
    RGPIN-2019-04454
  • 财政年份:
    2022
  • 资助金额:
    $ 40万
  • 项目类别:
    Discovery Grants Program - Individual
Core 2: Software Infrastructure for Network Models and Cell Maps
核心 2:网络模型和小区地图的软件基础设施
  • 批准号:
    10704622
  • 财政年份:
    2022
  • 资助金额:
    $ 40万
  • 项目类别:
Software defined networking-enabled beyond 5G network slicing for smart cities applications
软件定义网络支持超越 5G 网络切片的智慧城市应用
  • 批准号:
    570938-2021
  • 财政年份:
    2022
  • 资助金额:
    $ 40万
  • 项目类别:
    Alliance Grants
A Software-Defined Self-Adaptive Wireless Network Design
软件定义的自适应无线网络设计
  • 批准号:
    RGPIN-2019-05681
  • 财政年份:
    2022
  • 资助金额:
    $ 40万
  • 项目类别:
    Discovery Grants Program - Individual
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了