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 .


  • Pas de résumé disponible.


  • 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 ambiguï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 [. . . ]

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 199 p.
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 173-180

Où se trouve cette thèse ?

  • Bibliothèque : Moyens Informatiques et Multimédia. Information.
  • Disponible pour le PEB
  • Cote : I.2-TRA
  • Bibliothèque : Ecole nationale supérieure d'électrotechnique, d'électronique, d'informatique, d'hydraulique et des télécommunications. Bibliothèque centrale.
  • Disponible pour le PEB
  • Cote : 98INPT011H/1
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.