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

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：

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 :