Vers l'intégration de méthodes formelles dans le processus de développement de systèmes temps réel complexes
时间复杂性系统开发过程中的方法整合
基本信息
- 批准号:238841-2011
- 负责人:
- 金额:$ 1.75万
- 依托单位:
- 依托单位国家:加拿大
- 项目类别:Discovery Grants Program - Individual
- 财政年份:2012
- 资助国家:加拿大
- 起止时间:2012-01-01 至 2013-12-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
La complexité grandissante et le caractère souvent critique des systèmes temps réel (systèmes de transport, systèmes de production, systèmes de communication, etc.) rendent indispensable une démarche de conception et de validation rigoureuse permettant d'en assurer la maîtrise, tout au long de leur cycle de vie. Les méthodes formelles, parce qu'elles s'appuient sur une base mathématique rigoureuse, sont largement reconnues comme étant une alternative incontournable pour développer des systèmes fiables. Cependant, l'intégration de ces méthodes dans les processus de développement dirigé par les modèles, utilisés en industrie, se heurte à plusieurs problèmes. Selon les concepteurs de systèmes, les méthodes formelles sont difficiles à comprendre et à appliquer, peu expressives, trop complexes ou mal adaptées aux besoins de spécifications. Par ailleurs, leurs techniques de vérification sont complexes, indécidables, souffrent du problème d'explosion combinatoire ou se limitent à des systèmes finis. Dans ce contexte, ce programme de recherche propose d'investiguer l'intégration de méthodes formelles dans le processus de développement de systèmes temps réel. Il vise, d'une part, à banaliser l'utilisation de ces méthodes en les enfouissant dans un processus de développement et, d'autre part, à parfaire et à étendre leur utilisation à des systèmes temps réel de plus en plus complexes. L'atteinte de ces objectifs généraux implique la réalisation des objectifs spécifiques suivants :
La complexité grandissante et le caractère souvent critique des systèmes temps réel(systèmes de transport,systèmes de production,systèmes de communication,etc.)在整个生命周期的Au,必须有一个严格的概念和验证步骤,以确保生命的完整性。形式化的方法,由于其适用于严格的数学基础,因此,它就像是一种不可替代的方法,可以用来解决系统的问题。然而,这些方法在工业上的应用,使其在模型开发过程中的整合问题更加突出。在系统概念上,形式化的方法难以理解和应用,表现力强,复杂性强,或适应于特定的要求。此外,验证技术复杂、不可忽略、不适合于组合爆炸问题或系统的局限性。在此背景下,研究方案建议研究将正式方法纳入有关系统的开发过程。Il vise,d'une part,à banaliser l'utilisation de ces methodes en les enfouissant dans un processus de dépement et,d'autre part,à parfaire et à étendre prosperisation à des systèmes temps réel de plus en plus complex. L'atteinte de ces objectifs généraux implique la realisation des objectifs specifiques suivants:
项目成果
期刊论文数量(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 }}
Boucheneb, Hanifa其他文献
Boucheneb, Hanifa的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ 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 - 财政年份:2021
- 资助金额:
$ 1.75万 - 项目类别:
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 - 财政年份:2020
- 资助金额:
$ 1.75万 - 项目类别:
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
- 资助金额:
$ 1.75万 - 项目类别:
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
- 资助金额:
$ 1.75万 - 项目类别:
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
- 资助金额:
$ 1.75万 - 项目类别:
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
- 资助金额:
$ 1.75万 - 项目类别:
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
- 资助金额:
$ 1.75万 - 项目类别:
Discovery Grants Program - Individual
Protection des réseaux d'entreprise dans les centres de données
保护儿童中心的房地产企业
- 批准号:
484432-2015 - 财政年份:2015
- 资助金额:
$ 1.75万 - 项目类别:
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
- 资助金额:
$ 1.75万 - 项目类别:
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
- 资助金额:
$ 1.75万 - 项目类别:
Discovery Grants Program - Individual
相似国自然基金
内源性逆转录病毒MER65-int调控人类胎
盘发育与子宫内膜重塑的功能研究
- 批准号:
- 批准年份:2025
- 资助金额:10.0 万元
- 项目类别:省市级项目
隐秘重组信号序列INT-RSS在T细胞受体基因Tcra重排中的功能和机制研究
- 批准号:32370939
- 批准年份:2023
- 资助金额:50 万元
- 项目类别:面上项目
HPV16 E7 通过 Int1 蛋白调控 Wnt 信号通路调节肿瘤局部树突状细胞活性
- 批准号:LQ22H160033
- 批准年份:2021
- 资助金额:0.0 万元
- 项目类别:省市级项目
选择性PPARγ激动剂INT131调控适应性产热和AD-MSCs分化成棕色样脂肪细胞的机制研究
- 批准号:81903680
- 批准年份:2019
- 资助金额:20.0 万元
- 项目类别:青年科学基金项目
INT复合物调节U snRNA 3'加工的结构基础
- 批准号:31800624
- 批准年份:2018
- 资助金额:28.0 万元
- 项目类别:青年科学基金项目
沉默Int6基因的骨髓间充质干细胞复合生物支架构建血管化腹股沟疝补片及其促补片血管化机制
- 批准号:81371698
- 批准年份:2013
- 资助金额:70.0 万元
- 项目类别:面上项目
HIF/Int6调控迟发型EPC体外增殖的机制及其治疗重度子痫前期的可行性
- 批准号:81100439
- 批准年份:2011
- 资助金额:22.0 万元
- 项目类别:青年科学基金项目
相似海外基金
Intégration optimale des sources et gestion intelligente des charges dans le contexte communautaire des réseaux autonomes en région isolée
在隔离区域自治社区的背景下,实现资源和收费智能管理的优化集成
- 批准号:
RGPIN-2020-03951 - 财政年份:2022
- 资助金额:
$ 1.75万 - 项目类别:
Discovery Grants Program - Individual
Intégration de l'hydrogène dans une chaîne de génération électrique à base d'énergies renouvelables
氢能与电力和可再生能源基础链的集成
- 批准号:
571176-2021 - 财政年份:2022
- 资助金额:
$ 1.75万 - 项目类别:
Applied Research and Development Grants - Level 2
Intégration de la capacité d'adaptation aux stress environnementaux dans les modèles de transfert de l'épinette blanche
白色皮内特转移模块中的环境压力适应能力集成
- 批准号:
560992-2020 - 财政年份:2022
- 资助金额:
$ 1.75万 - 项目类别:
Alliance Grants
Intégration du comportement dans un modèle mathématique épidémiologique
数学模型和数学模型的行为集成
- 批准号:
573138-2022 - 财政年份:2022
- 资助金额:
$ 1.75万 - 项目类别:
University Undergraduate Student Research Awards
Lien entre l'intégration des traits faciaux et les habiletés en identification de visages
面部识别特征与能力的结合
- 批准号:
571954-2022 - 财政年份:2022
- 资助金额:
$ 1.75万 - 项目类别:
University Undergraduate Student Research Awards
L'intégration perceptive des traits faciaux permet elle de prédire les différences individuelles en reconnaissance de visages?
Lintégration 感知特征 facioux permet elle de predire les individual différrences individuelles en consonance de Facebook?
- 批准号:
575669-2022 - 财政年份:2022
- 资助金额:
$ 1.75万 - 项目类别:
Alexander Graham Bell Canada Graduate Scholarships - Master's
Intégration des méthodes de détoxification dans les procédés acéricoles
在处理过程中整合去毒方法
- 批准号:
556067-2020 - 财政年份:2022
- 资助金额:
$ 1.75万 - 项目类别:
Alliance Grants
Intégration harmonieuse des antennes 5G
5G 天线集成和谐
- 批准号:
572890-2022 - 财政年份:2022
- 资助金额:
$ 1.75万 - 项目类别:
University Undergraduate Student Research Awards
Vers lèintégration de nouvelles innovations technologiques pour assurer la durabilité de production de plants forestiers à une échelle opérationnelle en pépinière
Vers läintégration de nouvelles 创新技术,确保植物林业生产的耐用性,并在 pàñépiniàre 上进行操作
- 批准号:
575838-2022 - 财政年份:2022
- 资助金额:
$ 1.75万 - 项目类别:
Alexander Graham Bell Canada Graduate Scholarships - Master's
L'intégration énergétique des systèmes au CO2 pour la revalorisation de chaleur.
二氧化碳系统能源整合,促进能源价值重估。
- 批准号:
RGPIN-2019-05826 - 财政年份:2022
- 资助金额:
$ 1.75万 - 项目类别:
Discovery Grants Program - Individual