Analyse dans l'ingénierie des systèmes : caractérisation et multiformalisme

par Issa Traoré

Thèse de doctorat en Informatique industrielle et automatique

Sous la direction de Abd-El-Kader Sahraoui.

Soutenue en 1998

à Toulouse, INPT .

mots clés

• Spécification des systèmes
• Vdm
• Multiformalisme (informatique)
• Caractérisation (informatique)
• Ingénierie des systèmes
• Industrie -- Informatique

Résumé

L'une des plus grandes préoccupations actuelles, dans le monde de l'ingénierie des systèmes, concerne le développement de systèmes de grande qualité et sûrs de fonctionnement à des coûts et délais raisonnables. Cette nécessité est accentuée par le fait que plusieurs domaines d'application tels que l'aéronautique, le nucléaire, les télécommunications ou le médical, exigent un niveau de sûreté et de fiabilité élévé. L'utilisation des méthodes formelles apparaît, dans ce contexte, comme une des solutions principales. L'utilisation des méthodes formelles dans le processus de développement, améliore la compréhension des besoins, clarifie l'expression des besoins en levant les zones d'ombre, les contradictions et les ambigui͏̈tés dans la spécification. Elles permettent également la vérification et la validation de la spécification et de l'implémentation correspondantes, et facilitent le passage de la spécification/conception à l'implémentation. Malgré tous ces avantages, l'utilisation des méthodes formelles dans l'industrie est relativement restreinte. Cela est dû à un certain nombre de raisons telles que l'ésotérisme, le manque de convivialité des notations, le nombre restreint d'outils et le manque de maturité de ces derniers. L'objectif de cette thèse est de contribuer à la pénétration des approches formelles dans l'industrie, en proposant une stratégie incorporant des méthodes formelles dans le processus de développement. Une approche combinant les caractéristiques des méthodes semi-formelles de spécification (convivialité, communicabilité etc. ) et celles des méthodes formelles de spécification (rigueur, précision, vérifiabilité etc. ) a été développée [. . . ]

Pas de résumé disponible.