课题基金 / 基金详情

Deriving correct distributed system designs from global requirements

Deriving correct distributed system designs from global requirements
从全局需求中得出正确的分布式系统设计
批准号：
RGPIN-2016-03717
负责人：
Bochmann, Gregor
金额：
$2.26万
依托单位：
University of Ottawa
依托单位国家：
加拿大
项目类别：
Discovery Grants Program - Individual
财政年份：
2017
资助国家：
加拿大
项目状态：
已结题
起止时间：
2017-01-01 至 2018-12-31
来源：
https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=634447
关键词：
Derivingcorrectdistributedsystemdesigns

项目摘要

项目成果

Bochmann, Gregor的其他基金

相似基金

相关文献

中文摘要
翻译
该提案的总体主题是分布式系统设计的发展，这些设计在当前和未来的电子社会以及网络物理系统的应用中是正确的。大多数应用程序涉及通信：人与人之间的通信（电话和远程会议），人与计算机之间的通信（典型的Web应用程序、电子购物、视频点播和广播），或几台计算机之间的通信（分布式自动化业务流程、生产控制或共享道路的半自动汽车）。这些应用程序是通过分布式数据库、计算机、智能手机和许多其他设备实现的；它们需要复杂的软件来控制这些不同组件之间的交互。
英文摘要
The general theme of the proposal is the development of distributed system designs that are correct by construction for applications in the current and future e-society and for cyber-physical systems. Most applications involve communication: between humans (telephony and teleconferencing), between humans and computers (typical Web applications, e-shopping, video on demand, and broadcasting), or between several computers (distributed automated business processes, production control or semi-automatic cars sharing the road). These applications are realized using distributed databases, computers, smart phones, and many other devices; and they require complex software for controlling the interactions between these different components.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Deriving correct distributed system designs from global requirements
  • 批准号：
    RGPIN-2016-03717
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $2.26万
  • 财政年份：
    2021
  • 负责人：
    Bochmann, Gregor
  • 依托单位：
    University of Ottawa
Deriving correct distributed system designs from global requirements
  • 批准号：
    RGPIN-2016-03717
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $2.26万
  • 财政年份：
    2019
  • 负责人：
    Bochmann, Gregor
  • 依托单位：
    University of Ottawa
Deriving correct distributed system designs from global requirements
  • 批准号：
    RGPIN-2016-03717
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $2.26万
  • 财政年份：
    2018
  • 负责人：
    Bochmann, Gregor
  • 依托单位：
    University of Ottawa
Deriving correct distributed system designs from global requirements
  • 批准号：
    RGPIN-2016-03717
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $2.26万
  • 财政年份：
    2016
  • 负责人：
    Bochmann, Gregor
  • 依托单位：
    University of Ottawa
海外基金