Cyber-Physical Systems - Formal Modeling, Design, and Verification

信息物理系统 - 形式化建模、设计和验证

基本信息

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

项目摘要

MOTIVATION In our everyday living experience we come across invisible computers that are embedded in devices that we use, such as smart phones and automobiles. These computers are called embedded systems. It has been recognized that to serve the society better it is necessary to lift this paradigm to a higher level, where a network of embedded computers may control physical processes with feedback loops. The term Cyber-Physical Systems (CPS) refers to such systems. Application domains of CPS include healthcare, transportation, and critical infrastructure management. Because their ubiquitous nature affects the way we experience life, CPS must be built to be predictable and dependable. LONG TERM OBJECTIVE Laws of physics, that inherently include continuous time and concurrency, govern the real world, as opposed to the traditional discrete sequential computing in the current computing platforms. It is necessary to create a unified theory to deal with heterogeneity, uncertainty, contextual control and adaptation while keeping human-in-the-loop. A new model of computation that is faithful to the theory is needed, both for implementation and verification purposes. SCIENTIFIC APPROACH The research explores a holistic approach for building a predictable CPS operating in uncertain contexts. 1. Uncertainty, which may be introduced by actuators, sensors, human behaviors, and corrupted communication mediums, must be reduced to a level where it is tolerated. Temporal uncertainty, which arises when the discrete time of the cyber world meets the continuous time of the physical world, must be overcome. Models of physical-cyber entities which portray their heterogeneous characteristics and their interactions amidst uncertainties must be built. 2. A component-based formal hierarchical architecture for CPS is envisaged for taming heterogeneity and localizing uncertainty propagation in the design. A formally defined component type will have interface types to regulate dependable context-dependent interactions. Different interaction types, as suggested by real CPS examples, will be studied to refine and enrich interface types. 3. A Context-aware Labeled Transition System, to be defined, will serve as the Model of Computation (MoC) for CPS components and subsystems. Composition methods will be constrained by contract types at component interfaces and satisfaction of contextual situations. SIGNIFICANCE OF THE WORK Many research groups across the world are active in CPS research. I believe that my proposal to combine the two key issues uncertainty and heterogeneity with context-awareness in CPS modeling and design is new. This new approach will have a meaningful impact on the research community, and lead to transfer of knowledge to industry. In particular, my intended work on the case studies, selected from Health Care and Transportation domains, will be a significant contribution to Canada.
动机 在我们的日常生活中,我们会遇到嵌入在我们使用的设备(如智能手机和汽车)中的无形计算机。这些计算机被称为嵌入式系统。人们已经认识到,为了更好地为社会服务,有必要将这种模式提升到更高的水平,其中嵌入式计算机网络可以通过反馈回路控制物理过程。Cyber-Physical Systems(CPS)就是指这样的系统。CPS的应用领域包括医疗保健、交通运输和关键基础设施管理。因为它们无处不在的性质影响着我们体验生活的方式,CPS必须被构建成可预测和可靠的。 长远目标 物理定律,固有地包括连续时间和并发性,支配着真实的世界,而不是当前计算平台中的传统离散顺序计算。有必要创建一个统一的理论来处理异质性,不确定性,上下文控制和适应,同时保持人在回路中。一个新的计算模型,是忠实的理论是必要的,无论是实施和验证的目的。 科学方法 该研究探讨了一种整体的方法,建立一个可预测的CPS在不确定的情况下运行。 1.不确定性可能由执行器、传感器、人类行为和损坏的通信介质引入,必须降低到可容忍的水平。时间的不确定性,这是当网络世界的离散时间满足物理世界的连续时间,必须加以克服。必须建立物理-网络实体模型,描述其异质性特征及其在不确定性中的相互作用。 2.一个基于组件的CPS的正式层次架构的设想驯服异构性和本地化的不确定性传播的设计。一个正式定义的组件类型将有接口类型来规范依赖于上下文的可靠交互。不同的相互作用类型,建议由真实的CPS的例子,将研究细化和丰富的接口类型。 3.一个上下文感知的标签转换系统,将被定义,将作为计算模型(MoC)的CPS组件和子系统。组合方法将受到组件接口处的契约类型和上下文情况的满足的约束。 工作的意义 世界各地的许多研究小组都在积极从事CPS研究。我相信,我的建议结合联合收割机的两个关键问题的不确定性和异构性与上下文感知CPS建模和设计是新的。这种新方法将对研究界产生有意义的影响,并导致知识向工业转移。特别是,我打算从医疗保健和交通领域选择的案例研究工作,将是对加拿大的重大贡献。

项目成果

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

Alagar, Vangalur其他文献

Characterization and Efficient Management of Big Data in IoT-Driven Smart City Development
  • DOI:
    10.3390/s19112430
  • 发表时间:
    2019-06-01
  • 期刊:
  • 影响因子:
    3.9
  • 作者:
    Alsaig, Alaa;Alagar, Vangalur;Shiri, Nematollaah
  • 通讯作者:
    Shiri, Nematollaah
Contelog: A declarative language for modeling and reasoning with contextual knowledge
  • DOI:
    10.1016/j.knosys.2020.106403
  • 发表时间:
    2020-11-05
  • 期刊:
  • 影响因子:
    8.8
  • 作者:
    Alsaig, Ammar;Alagar, Vangalur;Nematollaah, Shiri
  • 通讯作者:
    Nematollaah, Shiri
Context-Aware Security Solutions for Cyber-Physical Systems
网络物理系统的上下文感知安全解决方案
  • DOI:
    10.1007/s11036-014-0495-x
  • 发表时间:
    2012-11
  • 期刊:
  • 影响因子:
    3.8
  • 作者:
    Wan, Kaiyu;Alagar, Vangalur
  • 通讯作者:
    Alagar, Vangalur

Alagar, Vangalur的其他文献

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

{{ truncateString('Alagar, Vangalur', 18)}}的其他基金

Cyber-Physical Systems - Formal Modeling, Design, and Verification
信息物理系统 - 形式化建模、设计和验证
  • 批准号:
    RGPIN-2015-05607
  • 财政年份:
    2019
  • 资助金额:
    $ 1.31万
  • 项目类别:
    Discovery Grants Program - Individual
Cyber-Physical Systems - Formal Modeling, Design, and Verification
信息物理系统 - 形式化建模、设计和验证
  • 批准号:
    RGPIN-2015-05607
  • 财政年份:
    2018
  • 资助金额:
    $ 1.31万
  • 项目类别:
    Discovery Grants Program - Individual
Cyber-Physical Systems - Formal Modeling, Design, and Verification
信息物理系统 - 形式化建模、设计和验证
  • 批准号:
    RGPIN-2015-05607
  • 财政年份:
    2017
  • 资助金额:
    $ 1.31万
  • 项目类别:
    Discovery Grants Program - Individual
Cyber-Physical Systems - Formal Modeling, Design, and Verification
信息物理系统 - 形式化建模、设计和验证
  • 批准号:
    RGPIN-2015-05607
  • 财政年份:
    2015
  • 资助金额:
    $ 1.31万
  • 项目类别:
    Discovery Grants Program - Individual
A framework for the development of a family of trustworthy systems
用于开发一系列值得信赖的系统的框架
  • 批准号:
    3552-2010
  • 财政年份:
    2011
  • 资助金额:
    $ 1.31万
  • 项目类别:
    Discovery Grants Program - Individual
A framework for the development of a family of trustworthy systems
用于开发一系列值得信赖的系统的框架
  • 批准号:
    3552-2010
  • 财政年份:
    2010
  • 资助金额:
    $ 1.31万
  • 项目类别:
    Discovery Grants Program - Individual
A framework ofr the development of secure safety critical systems
安全关键系统的开发框架
  • 批准号:
    3552-2005
  • 财政年份:
    2009
  • 资助金额:
    $ 1.31万
  • 项目类别:
    Discovery Grants Program - Individual
A framework ofr the development of secure safety critical systems
安全关键系统的开发框架
  • 批准号:
    3552-2005
  • 财政年份:
    2008
  • 资助金额:
    $ 1.31万
  • 项目类别:
    Discovery Grants Program - Individual
A framework ofr the development of secure safety critical systems
安全关键系统的开发框架
  • 批准号:
    3552-2005
  • 财政年份:
    2007
  • 资助金额:
    $ 1.31万
  • 项目类别:
    Discovery Grants Program - Individual
A framework ofr the development of secure safety critical systems
安全关键系统的开发框架
  • 批准号:
    3552-2005
  • 财政年份:
    2006
  • 资助金额:
    $ 1.31万
  • 项目类别:
    Discovery Grants Program - Individual

相似国自然基金

面向智能电网基础设施Cyber-Physical安全的自治愈基础理论研究
  • 批准号:
    61300132
  • 批准年份:
    2013
  • 资助金额:
    23.0 万元
  • 项目类别:
    青年科学基金项目

相似海外基金

Collaborative Research: CPS: Medium: Automating Complex Therapeutic Loops with Conflicts in Medical Cyber-Physical Systems
合作研究:CPS:中:自动化医疗网络物理系统中存在冲突的复杂治疗循环
  • 批准号:
    2322534
  • 财政年份:
    2024
  • 资助金额:
    $ 1.31万
  • 项目类别:
    Standard Grant
CRII: CPS: FAICYS: Model-Based Verification for AI-Enabled Cyber-Physical Systems Through Guided Falsification of Temporal Logic Properties
CRII:CPS:FAICYS:通过时态逻辑属性的引导伪造,对支持人工智能的网络物理系统进行基于模型的验证
  • 批准号:
    2347294
  • 财政年份:
    2024
  • 资助金额:
    $ 1.31万
  • 项目类别:
    Standard Grant
CAREER: Temporal Causal Reinforcement Learning and Control for Autonomous and Swarm Cyber-Physical Systems
职业:自治和群体网络物理系统的时间因果强化学习和控制
  • 批准号:
    2339774
  • 财政年份:
    2024
  • 资助金额:
    $ 1.31万
  • 项目类别:
    Continuing Grant
Conference: CPS: NSF Student Travel Grant for 2024 Cyber-Physical Systems and Internet-of-Things Week (CPS-IoT Week)
会议:CPS:2024 年网络物理系统和物联网周(CPS-IoT Week)的 NSF 学生旅行补助金
  • 批准号:
    2422416
  • 财政年份:
    2024
  • 资助金额:
    $ 1.31万
  • 项目类别:
    Standard Grant
Career: Learning-Enabled Medical Cyber-Physical Systems
职业:支持学习的医疗网络物理系统
  • 批准号:
    2339637
  • 财政年份:
    2024
  • 资助金额:
    $ 1.31万
  • 项目类别:
    Continuing Grant
CRII: CNS: Supporting Resilient Perception in Autonomous Cyber-physical Systems
CRII:CNS:支持自主网络物理系统中的弹性感知
  • 批准号:
    2348349
  • 财政年份:
    2024
  • 资助金额:
    $ 1.31万
  • 项目类别:
    Standard Grant
SHF: Small: A Hybrid Synchronous Language for Verifiable Execution of Cyber-Physical Systems
SHF:Small:一种用于网络物理系统可验证执行的混合同步语言
  • 批准号:
    2348706
  • 财政年份:
    2024
  • 资助金额:
    $ 1.31万
  • 项目类别:
    Standard Grant
Collaborative Research: CPS: Medium: Automating Complex Therapeutic Loops with Conflicts in Medical Cyber-Physical Systems
合作研究:CPS:中:自动化医疗网络物理系统中存在冲突的复杂治疗循环
  • 批准号:
    2322533
  • 财政年份:
    2024
  • 资助金额:
    $ 1.31万
  • 项目类别:
    Standard Grant
Collaborative Research: DESC: Type I: FLEX: Building Future-proof Learning-Enabled Cyber-Physical Systems with Cross-Layer Extensible and Adaptive Design
合作研究:DESC:类型 I:FLEX:通过跨层可扩展和自适应设计构建面向未来的、支持学习的网络物理系统
  • 批准号:
    2324936
  • 财政年份:
    2024
  • 资助金额:
    $ 1.31万
  • 项目类别:
    Standard Grant
Collaborative Research: DESC: Type I: FLEX: Building Future-proof Learning-Enabled Cyber-Physical Systems with Cross-Layer Extensible and Adaptive Design
合作研究:DESC:类型 I:FLEX:通过跨层可扩展和自适应设计构建面向未来的、支持学习的网络物理系统
  • 批准号:
    2324937
  • 财政年份:
    2024
  • 资助金额:
    $ 1.31万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了