课题基金 / 基金详情

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

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
财政年份：
2017
资助国家：
加拿大
项目状态：
已结题
起止时间：
2017-01-01 至 2018-12-31
来源：
https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=634632
关键词：
rificationparmodelcheckinget

项目摘要

项目成果

Boucheneb, Hanifa的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
La complexité grandissante et le caractère souvent critique des systèmes temps réel qui nous entourent rendent indispensable une démarche de conception et de validation rigoureuse permettant d'en assurer la fiabilité avant le déploiement. C’est dans ce but que les normes de certifications imposent l’intégration de méthodes formelles dans le processus de développement de tels systèmes. Cependant, l’utilisation de méthodes formelles dans l'industrie reste encore très limitée à des domaines particuliers. Elles sont jugées difficiles à comprendre et à appliquer, peu expressives, ou encore mal adaptées aux besoins de spécifications. De plus, leurs techniques de vérification sont complexes, indécidables, incomplètes ou encore souffrent du problème d’explosion combinatoire.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Vérification par model-checking et synthèse de contrôleur de systèmes temps réel complexes
  • 批准号：
    RGPIN-2016-06393
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $2.77万
  • 财政年份：
    2021
  • 负责人：
    Boucheneb, Hanifa
  • 依托单位：
    École Polytechnique de Montréal
Vérification par model-checking et synthèse de contrôleur de systèmes temps réel complexes
  • 批准号：
    RGPIN-2016-06393
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $2.77万
  • 财政年份：
    2020
  • 负责人：
    Boucheneb, Hanifa
  • 依托单位：
    École Polytechnique de Montréal
Vérification par model-checking et synthèse de contrôleur de systèmes temps réel complexes
  • 批准号：
    RGPIN-2016-06393
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $2.77万
  • 财政年份：
    2019
  • 负责人：
    Boucheneb, Hanifa
  • 依托单位：
    École Polytechnique de Montréal
Vérification par model-checking et synthèse de contrôleur de systèmes temps réel complexes
  • 批准号：
    RGPIN-2016-06393
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $2.77万
  • 财政年份：
    2018
  • 负责人：
    Boucheneb, Hanifa
  • 依托单位：
    École Polytechnique de Montréal
国内基金
海外基金
五步蛇蛇毒通过MMP1-PAR1途径促进大鼠血管内皮细胞铁死亡
  • 批准号：
    2025JJ90139
  • 项目类别：
    省市级项目
  • 资助金额：
    --
  • 批准年份：
    2025
  • 负责人：
    宾文凯
  • 依托单位：
    南华大学附属南华医院
靶向调控THBD-PAR1信号传导在成纤维细胞衰老促肺纤维化中的作用及机制研究
  • 批准号：
  • 项目类别：
    省市级项目
  • 资助金额：
    --
  • 批准年份：
    2025
  • 负责人：
    翁杰
  • 依托单位：
PAR-1调控NLRP3炎症小体激活在五步蛇毒素致急性肾损伤中的作用及机制研究
  • 批准号：
  • 项目类别：
    省市级项目
  • 资助金额：
    --
  • 批准年份：
    2025
  • 负责人：
    涂梦芸
  • 依托单位：
PAR1抑制剂沃拉帕沙通过激活FOXO1/HMOX1信号轴增敏大肠癌肿瘤细胞铁死亡的机制研究
  • 批准号：
  • 项目类别：
    青年科学基金项目
  • 资助金额：
    --
  • 批准年份：
    2024
  • 负责人：
    杜松涛
  • 依托单位：
    哈尔滨医科大学