Recherche Avancée

Thèse soutenue

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

FR
Auteur / Autrice : Issa Traoré
Direction : Abd-El-Kader Sahraoui
Type : Thèse de doctorat
Discipline(s) : Informatique industrielle et automatique
Date : Soutenance en 1998
Etablissement(s) : Toulouse, INPT

Résumé

FR

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 [. . . ]