Vérification par model-checking et synthèse de contrôleur de systèmes temps réel complexes

模型检查和系统时间控制综合的验证

基本信息

  • 批准号：
    RGPIN-2016-06393
  • 负责人：
    Boucheneb, Hanifa
  • 金额：
    $ 2.77万
  • 依托单位：
    École Polytechnique de Montréal
  • 依托单位国家：
    加拿大
  • 项目类别：
    Discovery Grants Program - Individual
  • 财政年份：
    2021
  • 资助国家：
    加拿大
  • 起止时间：
    2021-01-01 至 2022-12-31
  • 项目状态：
    已结题

项目摘要

Application aux systèmes d'édition collaborative temps réel; Application aux systèmes de sécurité; Application aux systèmes temps réel; Méthodes formelles basées sur des modèles; Model checking et Synthèse de contrôleur; Parallélisation de techniques de vérification; Propriétés qualitatives (sureté, vivacité, sécurité); Propriétés quantitatives (temps, coûts); Techniques d'abstraction; Techniques d'ordre partiel
应用程序包括协作温度；申请包括公司的协作；申请包括公司的协作；在SynthèsedePontrofôleur中进行模型检查；平行性技术； Propriétés定性（Seleté，Vivacité，Sécurité）； Propriétés定量（温度，coûts）；抽象的技术；技术零件

项目成果

期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）

数据更新时间：{{ journalArticles.updateTime }}

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ 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 }}

Boucheneb, Hanifa其他文献

Applying Formal Methods into Safety-Critical Health Applications

Boucheneb, Hanifa的其他文献

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

{{ truncateString('Boucheneb, Hanifa', 18)}}的其他基金

Vérification par model-checking et synthèse de contrôleur de systèmes temps réel complexes
模型检查和系统时间控制综合的验证
  • 批准号：
    RGPIN-2016-06393
  • 财政年份：
    2020
  • 资助金额：
    $ 2.77万
  • 项目类别：
    Discovery Grants Program - Individual
Vérification par model-checking et synthèse de contrôleur de systèmes temps réel complexes
模型检查和系统时间控制综合的验证
  • 批准号：
    RGPIN-2016-06393
  • 财政年份：
    2019
  • 资助金额：
    $ 2.77万
  • 项目类别：
    Discovery Grants Program - Individual
Vérification par model-checking et synthèse de contrôleur de systèmes temps réel complexes
模型检查和系统时间控制综合的验证
  • 批准号：
    RGPIN-2016-06393
  • 财政年份：
    2018
  • 资助金额：
    $ 2.77万
  • 项目类别：
    Discovery Grants Program - Individual
Vérification par model-checking et synthèse de contrôleur de systèmes temps réel complexes
模型检查和系统时间控制综合的验证
  • 批准号：
    RGPIN-2016-06393
  • 财政年份：
    2017
  • 资助金额：
    $ 2.77万
  • 项目类别：
    Discovery Grants Program - Individual
Vérification par model-checking et synthèse de contrôleur de systèmes temps réel complexes
模型检查和系统时间控制综合的验证
  • 批准号：
    RGPIN-2016-06393
  • 财政年份：
    2016
  • 资助金额：
    $ 2.77万
  • 项目类别：
    Discovery Grants Program - Individual
Vers l'intégration de méthodes formelles dans le processus de développement de systèmes temps réel complexes
时间复杂性系统开发过程中的方法整合
  • 批准号：
    238841-2011
  • 财政年份：
    2015
  • 资助金额：
    $ 2.77万
  • 项目类别：
    Discovery Grants Program - Individual
Protection des réseaux d'entreprise dans les centres de données
保护儿童中心的房地产企业
  • 批准号：
    484432-2015
  • 财政年份：
    2015
  • 资助金额：
    $ 2.77万
  • 项目类别：
    Engage Grants Program
Vers l'intégration de méthodes formelles dans le processus de développement de systèmes temps réel complexes
时间复杂性系统开发过程中的方法整合
  • 批准号：
    238841-2011
  • 财政年份：
    2014
  • 资助金额：
    $ 2.77万
  • 项目类别：
    Discovery Grants Program - Individual
Vers l'intégration de méthodes formelles dans le processus de développement de systèmes temps réel complexes
时间复杂性系统开发过程中的方法整合
  • 批准号：
    238841-2011
  • 财政年份：
    2013
  • 资助金额：
    $ 2.77万
  • 项目类别：
    Discovery Grants Program - Individual
Vers l'intégration de méthodes formelles dans le processus de développement de systèmes temps réel complexes
时间复杂性系统开发过程中的方法整合
  • 批准号：
    238841-2011
  • 财政年份：
    2012
  • 资助金额：
    $ 2.77万
  • 项目类别：
    Discovery Grants Program - Individual

相似国自然基金

基于体内外模型的Par3L调控结直肠癌发展及其与14-3-3相关分子机制的研究
  • 批准号：
    81760434
  • 批准年份：
    2017
  • 资助金额：
    36.0 万元
  • 项目类别：
    地区科学基金项目
PAR平台中算法程序模型变换正确性研究
  • 批准号：
    61662036
  • 批准年份：
    2016
  • 资助金额：
    39.0 万元
  • 项目类别：
    地区科学基金项目
基于MC活化-PAR2-CGRP环路探讨电针治疗PI-IBS模型大鼠内脏高敏感的作用机制
  • 批准号：
    81473748
  • 批准年份：
    2014
  • 资助金额：
    74.0 万元
  • 项目类别：
    面上项目
模型驱动的高可靠图算法构件自动生成研究
  • 批准号：
    61363013
  • 批准年份：
    2013
  • 资助金额：
    45.0 万元
  • 项目类别：
    地区科学基金项目
区分直射与散射的植被光合有效辐射吸收模型研究
  • 批准号：
    41101324
  • 批准年份：
    2011
  • 资助金额：
    25.0 万元
  • 项目类别：
    青年科学基金项目

相似海外基金

Vérification par model-checking et synthèse de contrôleur de systèmes temps réel complexes
模型检查和系统时间控制综合的验证
  • 批准号：
    RGPIN-2016-06393
  • 财政年份：
    2020
  • 资助金额：
    $ 2.77万
  • 项目类别：
    Discovery Grants Program - Individual
Vérification par model-checking et synthèse de contrôleur de systèmes temps réel complexes
模型检查和系统时间控制综合的验证
  • 批准号：
    RGPIN-2016-06393
  • 财政年份：
    2019
  • 资助金额：
    $ 2.77万
  • 项目类别：
    Discovery Grants Program - Individual
Vérification par model-checking et synthèse de contrôleur de systèmes temps réel complexes
模型检查和系统时间控制综合的验证
  • 批准号：
    RGPIN-2016-06393
  • 财政年份：
    2018
  • 资助金额：
    $ 2.77万
  • 项目类别：
    Discovery Grants Program - Individual
Vérification par model-checking et synthèse de contrôleur de systèmes temps réel complexes
模型检查和系统时间控制综合的验证
  • 批准号：
    RGPIN-2016-06393
  • 财政年份：
    2017
  • 资助金额：
    $ 2.77万
  • 项目类别：
    Discovery Grants Program - Individual
Vérification par model-checking et synthèse de contrôleur de systèmes temps réel complexes
模型检查和系统时间控制综合的验证
  • 批准号：
    RGPIN-2016-06393
  • 财政年份：
    2016
  • 资助金额：
    $ 2.77万
  • 项目类别：
    Discovery Grants Program - Individual
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了