CSR---SMA: Dynamic Analysis and Control for Robust Scalable Open Distributed Systems

CSR---SMA:鲁棒可扩展开放分布式系统的动态分析与控制

基本信息

  • 批准号:
    0509321
  • 负责人:
  • 金额:
    $ 70万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Continuing Grant
  • 财政年份:
    2005
  • 资助国家:
    美国
  • 起止时间:
    2005-07-01 至 2009-12-31
  • 项目状态:
    已结题

项目摘要

This project addresses the problem checking if a system's behavior meets its specification. The technical focus areas of the project are to integrate computing and networking to support reliable, complex distributed systems and to enable data driven applications for predicting system behavior. Specifically, the techniques will enable an assessment of the probability of systems failure due to software errors. Large-scale distributed systems and sensor networks have a crucial role in modern society. However, such systems are highly prone to failure because of software errors. This project will provide powerful ways of debugging and monitoring such systems to reduce errors. Specifically, it will provide ways of rigorously relating the tests to specifications and extending their coverage. This will enable software developers to catch errors in coding due to interactions between components in distributed systems. Moreover, the project will focus on efficient ways of distributed monitoring of systems so as to provide for timely checking while conserving communication bandwidth. A goal is to get the techniques to be sufficiently efficient that they can be applied to networks of embedded systems. The project will build new tools and experiment with applications in order to test the ideas.
这个项目解决了检查系统的行为是否满足其规范的问题。该项目的技术重点领域是集成计算和网络,以支持可靠、复杂的分布式系统,并使数据驱动的应用程序能够预测系统行为。具体地说,这些技术将能够评估由于软件错误而导致的系统故障的概率。大规模分布式系统和传感器网络在现代社会中发挥着至关重要的作用。然而,这样的系统很容易因为软件错误而失败。该项目将提供强大的调试和监控此类系统的方法,以减少错误。具体地说,它将提供严格地将测试与规范联系起来并扩展其覆盖范围的方法。这将使软件开发人员能够捕获由于分布式系统中组件之间的交互而导致的编码错误。此外,该项目将侧重于有效的分布式监控系统的方法,以便在节省通信带宽的同时提供及时的检查。目标是使这些技术足够有效,从而可以应用于嵌入式系统的网络。该项目将建立新的工具和实验应用程序,以测试这些想法。

项目成果

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

Gul Agha其他文献

Case Studies in Security and Resource Management for Mobile Object Systems
  • DOI:
    10.1023/a:1013444932711
  • 发表时间:
    2002-03-01
  • 期刊:
  • 影响因子:
    2.600
  • 作者:
    Dejan Milojicic;Gul Agha;Philippe Bernadat;Deepika Chauhan;Shai Guday;Nadeem Jamali;Dan Lambright;Franco Travostino
  • 通讯作者:
    Franco Travostino
Behavioural Types: Bridging Theory and Practice
行为类型:理论与实践的桥梁
  • DOI:
  • 发表时间:
    2022
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Mariangiola Dezani;Roland Kuhn;S. Lindley;A. Scalas;Actyx AG – München;Gul Agha;Simon Fowler;Philipp Haller;Raymond Hu;Eduard Kamburjan;Hernán C. Melgratti;Peter Thiemann;Marco Carbone;Stephanie Balzer;Ornela Dardha;Wen Kokke;F. Montesi;J. G. Morris;Jorge A. Pérez;Bernardo Toninho;Philip Munksgaard;Christian Bartolo Burlò;Mathias Jakobsen;Emilio Tuosto;Claudio Russo;Limin Jia;Simon Gay;Phil Trinder;Nobuko Yoshida;L. Bocchi;Simon Thompson;Laura Voinea;Daniela Marottoli;Fabrizio Montesi. Choreographic Programming . PhD ;S. Giallorenzo;L. Cruz;Eva Graversen;Lovro Lugovic;Philip Wadler;F. Zhou
  • 通讯作者:
    F. Zhou

Gul Agha的其他文献

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

{{ truncateString('Gul Agha', 18)}}的其他基金

SHF: Small: Design and Inference of Choreography Types to Reduce Concurrency Programming Errors
SHF:小型:编排类型的设计和推理以减少并发编程错误
  • 批准号:
    1617401
  • 财政年份:
    2016
  • 资助金额:
    $ 70万
  • 项目类别:
    Standard Grant
XPS: FULL: FP: Collaborative Research: Model-based, Event Driven Scalable Programming for the Mobile Cloud
XPS:完整:FP:协作研究:移动云的基于模型、事件驱动的可扩展编程
  • 批准号:
    1438982
  • 财政年份:
    2014
  • 资助金额:
    $ 70万
  • 项目类别:
    Standard Grant
CPS: Medium: Collaborative Research: Cyber-Physical Co-Design of Wireless Monitoring and Control for Civil Infrastructure
CPS:媒介:协作研究:民用基础设施无线监测和控制的网络物理协同设计
  • 批准号:
    1035562
  • 财政年份:
    2010
  • 资助金额:
    $ 70万
  • 项目类别:
    Standard Grant
Abstracting Component Interactions to Support Distributed Software Architectures
抽象组件交互以支持分布式软件架构
  • 批准号:
    9619522
  • 财政年份:
    1997
  • 资助金额:
    $ 70万
  • 项目类别:
    Standard Grant
Efficient Implementation of Dynamic Parallel Programs
动态并行程序的高效实现
  • 批准号:
    9523253
  • 财政年份:
    1996
  • 资助金额:
    $ 70万
  • 项目类别:
    Standard Grant
Collaborative Research: Reasoning About Open Systems
协作研究:关于开放系统的推理
  • 批准号:
    9312495
  • 财政年份:
    1995
  • 资助金额:
    $ 70万
  • 项目类别:
    Standard Grant
Prototyping Parallel Algorithms
并行算法原型设计
  • 批准号:
    9007195
  • 财政年份:
    1990
  • 资助金额:
    $ 70万
  • 项目类别:
    Continuing Grant
Object-Based Concurrent Programming: A Workshop Proposal Submitted to the NSF to be held Sept 25-26, 1988 in San Diego, California
基于对象的并发编程:向 NSF 提交的研讨会提案将于 1988 年 9 月 25 日至 26 日在加利福尼亚州圣地亚哥举行
  • 批准号:
    8814055
  • 财政年份:
    1988
  • 资助金额:
    $ 70万
  • 项目类别:
    Standard Grant

相似国自然基金

搭载SMN1基因的新型腺相关病毒治疗SMA的作用机制及应用基础研究
  • 批准号:
  • 批准年份:
    2025
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
基于突破性双靶点AAV基因疗法,治疗SMA脊髓性肌萎缩症
  • 批准号:
  • 批准年份:
    2025
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
多场耦合条件下SMA智能复合结构力学特性研究及结构优化
  • 批准号:
  • 批准年份:
    2024
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
高精度经颅电通过刺激SMA抑制纹状体-丘脑功能治疗强迫症的脑功能与代谢的研究
  • 批准号:
  • 批准年份:
    2024
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
CXCL12趋化CXCR4+/α-SMA+成骨前体细胞促进黄韧带骨化的机制研究
  • 批准号:
    82302745
  • 批准年份:
    2023
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目
新型Fe-SMA自预应力特性及对混凝土箱梁腹板抗裂提升研究
  • 批准号:
    52378139
  • 批准年份:
    2023
  • 资助金额:
    50 万元
  • 项目类别:
    面上项目
近断层桥梁刚度递增式SMA拉索减震体系研究
  • 批准号:
    52308520
  • 批准年份:
    2023
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目
UHPC-SMA连接新型自复位装配式混凝土剪力墙抗震性能及设计方法研究
  • 批准号:
    52368022
  • 批准年份:
    2023
  • 资助金额:
    32 万元
  • 项目类别:
    地区科学基金项目
配置SMA-剪切型钢复合阻尼器的冷弯型钢框架—支撑结构震损机理研究
  • 批准号:
    CSTB2023NSCQ-BHX0229
  • 批准年份:
    2023
  • 资助金额:
    10.0 万元
  • 项目类别:
    省市级项目
高抗疲劳铁基SMA自复位支撑三水准减震机理及结构韧性设计
  • 批准号:
    52308503
  • 批准年份:
    2023
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目

相似海外基金

Vision Servoing Based Micro Continuum Robot Actuated by SMA Wires for Precise Laser Irradiation during Transurethral Lithotripsy
基于视觉伺服的微型连续体机器人由 SMA 线驱动,用于经尿道碎石术期间的精确激光照射
  • 批准号:
    24K21116
  • 财政年份:
    2024
  • 资助金额:
    $ 70万
  • 项目类别:
    Grant-in-Aid for Early-Career Scientists
Neuroinflammation and motor neuron loss in SMA
SMA 中的神经炎症和运动神经元损失
  • 批准号:
    10863314
  • 财政年份:
    2023
  • 资助金额:
    $ 70万
  • 项目类别:
マルチワイヤ駆動によるSMAアクチュエータを用いた新原理音声デバイスの高機能化
使用多线驱动的 SMA 执行器的新原理音频设备的高功能
  • 批准号:
    23K03740
  • 财政年份:
    2023
  • 资助金额:
    $ 70万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Functionally graded shape memory alloy (SMA) micro-actuators for neurosurgical applications
用于神经外科应用的功能梯度形状记忆合金 (SMA) 微执行器
  • 批准号:
    2894767
  • 财政年份:
    2023
  • 资助金额:
    $ 70万
  • 项目类别:
    Studentship
Development of novel single-molecule analysis (SMA) system to measure real-time kinetics of low-affinity molecular interactions: a case study of Ras-e
开发新型单分子分析 (SMA) 系统来测量低亲和力分子相互作用的实时动力学:Ras-e 的案例研究
  • 批准号:
    2736904
  • 财政年份:
    2022
  • 资助金额:
    $ 70万
  • 项目类别:
    Studentship
Performance-based Seismic Design of Novel Shape Memory Alloy (SMA) based Braced Frame
新型形状记忆合金(SMA)支撑框架的基于性能的抗震设计
  • 批准号:
    547084-2020
  • 财政年份:
    2022
  • 资助金额:
    $ 70万
  • 项目类别:
    Postgraduate Scholarships - Doctoral
Performance-based Seismic Design of Novel Shape Memory Alloy (SMA) based Braced Frame
新型形状记忆合金(SMA)支撑框架的基于性能的抗震设计
  • 批准号:
    547084-2020
  • 财政年份:
    2021
  • 资助金额:
    $ 70万
  • 项目类别:
    Postgraduate Scholarships - Doctoral
Performance-based Seismic Design of Novel Shape Memory Alloy (SMA) based Braced Frame
新型形状记忆合金(SMA)支撑框架的基于性能的抗震设计
  • 批准号:
    547084-2020
  • 财政年份:
    2020
  • 资助金额:
    $ 70万
  • 项目类别:
    Postgraduate Scholarships - Doctoral
Mechanisms and therapeutic targeting of motor neuron death in SMA
SMA 运动神经元死亡的机制和治疗靶向
  • 批准号:
    10334501
  • 财政年份:
    2020
  • 资助金额:
    $ 70万
  • 项目类别:
ランダム周波数入力に対応するSMAワイヤの高速応答手法に基づく新原理音声デバイス
一种基于SMA线材快速响应方法、支持随机频率输入的新原理音频设备
  • 批准号:
    20K04340
  • 财政年份:
    2020
  • 资助金额:
    $ 70万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了