Vers l'intégration de méthodes formelles dans le processus de développement de systèmes temps réel complexes

时间复杂性系统开发过程中的方法整合

基本信息

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

来源：
https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=478991
关键词：
Vers int gration de thodes

项目摘要

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 :

LaComplexitégrandisanteet lecaractèresouvent批评desSystèmestempsréel（SystèmesDeTransport，SystèmesDeProduction，SystèmesDeCommunication等）具有不可或缺的必不可少的conception de conception de Conception et de de de de de de de reigoureuse d'en d'en d'en en en en a anss de e deur laur la a deur law long long long long long long teut teut。 LesMéthodesermelles，parce qu'elles s'Appuient sur une baseMathématiquerigoureuse，sont largement recomentues comme une une替代性不可感染的秘密过程中的主角，以及综合体的主角。复合物的复合物的主角，复合物的复合物的复合物的复合物的复合物。复合物的复合物的主角，复合物的络合物的复合物的复合物的复合物的复合物的复合物的复合物的复合物的复合物。限制Systèmes范围的程序。在程序的背景下，导致Systèmes开发的程序。除了Systèmes的努力外，导致Systèmes开发的计划。除了Banaleser的努力外，Dans未经处理的未经加工，还包括了Systèmes。 objectifs被认为是更复杂的。 objectifs被认为是更复杂的。