Model inference and testing of distributed systems

分布式系统的模型推理与测试

基本信息

  • 批准号:
    RGPIN-2014-04870
  • 负责人:
  • 金额:
    $ 1.68万
  • 依托单位:
  • 依托单位国家:
    加拿大
  • 项目类别:
    Discovery Grants Program - Individual
  • 财政年份:
    2018
  • 资助国家:
    加拿大
  • 起止时间:
    2018-01-01 至 2019-12-31
  • 项目状态:
    已结题

项目摘要

Recent important trends in software systems, such as big data and complex websites, are made possible by rapid advances in distributed systems. These systems are an integral part of the everyday web experience for billions of people worldwide. For example, the back-end services of all of the major companies are hosted in data-centers that execute complex distributed systems to provide scalable, reliable, and highly available services. However, developers of distributed systems continue to struggle in implementing and maintaining these systems as there are few tools that can help them understand a system's behaviors and test its correctness.**The objective of my proposal is to advance the state of the art in modeling and debugging of distributed systems. The outcome of this work will be a set of open source software tools that will help engineers to build robust distributed systems quicker and with fewer mistakes. This work will be relevant to both industry and academics. It will solve problems faced by everyday software engineers as well as extend our understanding of how to reason about complex executions of distributed systems and how to induce executions in these systems to explore and test their behaviors.**Further, this research will provide important and invaluable training to both graduate and undergraduate students. It will produce highly-qualified personnel with a distributed systems skill-set that is prized and actively sought after by all the major software companies in Canada.
软件系统中最近的重要趋势,如大数据和复杂网站,是由于分布式系统的快速发展而成为可能。这些系统是全球数十亿人日常网络体验的一个组成部分。例如,所有大公司的后端服务都托管在数据中心,这些数据中心执行复杂的分布式系统,以提供可扩展、可靠和高度可用的服务。然而,分布式系统的开发人员仍然在努力实现和维护这些系统,因为很少有工具可以帮助他们理解系统的行为并测试其正确性。我的建议的目的是推进在分布式系统的建模和调试的艺术状态。这项工作的成果将是一套开源软件工具,将帮助工程师更快地构建强大的分布式系统,并减少错误。这项工作将与工业界和学术界有关。它将解决日常软件工程师所面临的问题,并扩展我们对如何推理分布式系统的复杂执行以及如何诱导这些系统中的执行以探索和测试其行为的理解。此外,这项研究将提供重要的和宝贵的培训,研究生和本科生。它将培养出具有分布式系统技能的高素质人才,这些技能受到加拿大所有主要软件公司的重视和积极追捧。

项目成果

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

Beschastnikh, Ivan其他文献

Using Declarative Specification to Improve the Understanding, Extensibility, and Comparison of Model-Inference Algorithms
  • DOI:
    10.1109/tse.2014.2369047
  • 发表时间:
    2015-04-01
  • 期刊:
  • 影响因子:
    7.4
  • 作者:
    Beschastnikh, Ivan;Brun, Yuriy;Krishnamurthy, Arvind
  • 通讯作者:
    Krishnamurthy, Arvind
Biscotti: A Blockchain System for Private and Secure Federated Learning
Visualizing Distributed System Executions
可视化分布式系统执行

Beschastnikh, Ivan的其他文献

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

{{ truncateString('Beschastnikh, Ivan', 18)}}的其他基金

Compiling Distributed System Models into Implementations
将分布式系统模型编译为实现
  • 批准号:
    RGPIN-2020-05203
  • 财政年份:
    2022
  • 资助金额:
    $ 1.68万
  • 项目类别:
    Discovery Grants Program - Individual
Compiling Distributed System Models into Implementations
将分布式系统模型编译为实现
  • 批准号:
    RGPIN-2020-05203
  • 财政年份:
    2021
  • 资助金额:
    $ 1.68万
  • 项目类别:
    Discovery Grants Program - Individual
Compiling Distributed System Models into Implementations
将分布式系统模型编译为实现
  • 批准号:
    RGPIN-2020-05203
  • 财政年份:
    2020
  • 资助金额:
    $ 1.68万
  • 项目类别:
    Discovery Grants Program - Individual
Improving the Construction of Correct Distributed Systems
改进正确的分布式系统的构建
  • 批准号:
    RGPIN-2019-05090
  • 财政年份:
    2019
  • 资助金额:
    $ 1.68万
  • 项目类别:
    Discovery Grants Program - Individual
Model inference and testing of distributed systems
分布式系统的模型推理与测试
  • 批准号:
    RGPIN-2014-04870
  • 财政年份:
    2017
  • 资助金额:
    $ 1.68万
  • 项目类别:
    Discovery Grants Program - Individual
Optimizing compute task scheduling at Shopify
优化 Shopify 的计算任务调度
  • 批准号:
    514614-2017
  • 财政年份:
    2017
  • 资助金额:
    $ 1.68万
  • 项目类别:
    Engage Grants Program
Model inference and testing of distributed systems
分布式系统的模型推理与测试
  • 批准号:
    RGPIN-2014-04870
  • 财政年份:
    2016
  • 资助金额:
    $ 1.68万
  • 项目类别:
    Discovery Grants Program - Individual
Model inference and testing of distributed systems
分布式系统的模型推理与测试
  • 批准号:
    RGPIN-2014-04870
  • 财政年份:
    2015
  • 资助金额:
    $ 1.68万
  • 项目类别:
    Discovery Grants Program - Individual
Model inference and testing of distributed systems
分布式系统的模型推理与测试
  • 批准号:
    RGPIN-2014-04870
  • 财政年份:
    2014
  • 资助金额:
    $ 1.68万
  • 项目类别:
    Discovery Grants Program - Individual

相似海外基金

Model inference and testing of distributed systems
分布式系统的模型推理与测试
  • 批准号:
    RGPIN-2014-04870
  • 财政年份:
    2017
  • 资助金额:
    $ 1.68万
  • 项目类别:
    Discovery Grants Program - Individual
Integrating Multi-Scale Imaging, Reaction-Diffusion Simulation, and Markov Model Inference to Enhance Predictive Design and Interpretation of Single-Molecule Gene Regulation Experiments
集成多尺度成像、反应扩散模拟和马尔可夫模型推理,增强单分子基因调控实验的预测设计和解释
  • 批准号:
    10406604
  • 财政年份:
    2017
  • 资助金额:
    $ 1.68万
  • 项目类别:
Integrating Multi-Scale Imaging, Reaction-Diffusion Simulation, and Markov Model Inference to Enhance Predictive Design and Interpretation of Single-Molecule Gene Regulation Experiments
集成多尺度成像、反应扩散模拟和马尔可夫模型推理,增强单分子基因调控实验的预测设计和解释
  • 批准号:
    10704524
  • 财政年份:
    2017
  • 资助金额:
    $ 1.68万
  • 项目类别:
A Model Averaging Approach to Causal Inference in Substance Abuse Prevention Research
药物滥用预防研究中因果推理的模型平均方法
  • 批准号:
    9174042
  • 财政年份:
    2016
  • 资助金额:
    $ 1.68万
  • 项目类别:
Model inference and testing of distributed systems
分布式系统的模型推理与测试
  • 批准号:
    RGPIN-2014-04870
  • 财政年份:
    2016
  • 资助金额:
    $ 1.68万
  • 项目类别:
    Discovery Grants Program - Individual
A Model Averaging Approach to Causal Inference in Substance Abuse Prevention Research
药物滥用预防研究中因果推理的模型平均方法
  • 批准号:
    9293998
  • 财政年份:
    2016
  • 资助金额:
    $ 1.68万
  • 项目类别:
Model inference and testing of distributed systems
分布式系统的模型推理与测试
  • 批准号:
    RGPIN-2014-04870
  • 财政年份:
    2015
  • 资助金额:
    $ 1.68万
  • 项目类别:
    Discovery Grants Program - Individual
Testing Attitude Change Hypotheses of eWOM Messages Based on Inference Space Model
基于推理空间模型测试电子口碑消息的态度变化假设
  • 批准号:
    15K03752
  • 财政年份:
    2015
  • 资助金额:
    $ 1.68万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Model inference and testing of distributed systems
分布式系统的模型推理与测试
  • 批准号:
    RGPIN-2014-04870
  • 财政年份:
    2014
  • 资助金额:
    $ 1.68万
  • 项目类别:
    Discovery Grants Program - Individual
Development of a statistical inference model, based on the receiver operating characteristic curve, for the testing of cell population level differences in high-content screening data
开发基于受试者工作特征曲线的统计推断模型,用于测试高内涵筛选数据中的细胞群水平差异
  • 批准号:
    361902-2008
  • 财政年份:
    2008
  • 资助金额:
    $ 1.68万
  • 项目类别:
    Alexander Graham Bell Canada Graduate Scholarships - Master's
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了