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
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=733033
• 关键词: rification; par; model; checking; et

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

应用辅助系统和协同临时工；应用程序系统（sims）；应用程序系统的温度调节；msamthodes formelles bassames sur des modles；模型校核及综合技术contrôleur；平行变性；变性技术；变性固有的<s:2>和/或所有的<s:2>和/或所有的<s:2>和所有的；固有的数量（温度、温度）；技术d 'abstraction;粒子技术