Vers une démarche d'intégration des méthodes du temps réel fondée sur la modélisation du procédé de développement du logiciel

par Adel Khalfallah

Thèse de doctorat en Informatique

Sous la direction de Jean-Claude Derniame.

Soutenue en 1995

à Nancy 1 , en partenariat avec Université Henri Poincaré Nancy 1. Faculté des sciences et techniques (autre partenaire) .


  • Résumé

    Un grand nombre de méthodes de développement pour les systèmes temps réel sont actuellement proposées. Chacune présente des avantages et des inconvénients spécifiques et couvre une partie des activités du cycle de vie de ces systèmes. La complémentarité de leurs caractéristiques conduit à un besoin pour leur intégration. Cette thèse s'appuie sur la modélisation du procédé du logiciel pour proposer une démarche de construction d'une représentation intégrée des méthodes. La première partie de ce document s'attache à détailler la problématique de l'intégration des méthodes. Après avoir caractérisé les systèmes temps réel et passé en revue les différents types de méthodes existantes pour leur développement, une analyse détaillée ainsi qu'une structuration pour celles-ci est proposée. La deuxième partie est consacrée à la démarche d'intégration proposée. Elle définit trois niveaux d'abstraction appelés niveaux abstrait, concret et opérationnel. Le niveau abstrait permet de représenter les informations issues d'un modèle de cycle de vie donné. Le niveau concret traite de l'intégration des méthodes proprement dite. Il introduit un cadre de référence permettant l'expression de besoins en méthodes et une évaluation quantifiée de celles-ci. Il propose des heuristiques facilitant la représentation des méthodes dans un langage de modélisation du procédé de développement du logiciel: le langage MASP/DL. Il permet de classifier les composants des méthodes et de sélectionner les composants les plus adaptés aux besoins. Le niveau opérationnel s'appuie sur l'environnement ALF pour réaliser l'intégration des outils associés aux méthodes. Enfin, la troisième partie met en œuvre la démarche proposée dans le cas particulier des méthodes SA-RT, AMDEC, HMS et HOOD.

  • Titre traduit

    Towards an integration approach for real time systems development methods based on software process modelling


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (242 p.)
  • Annexes : Bibliogr. (178 réf.)

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université Savoie Mont Blanc (Annecy-le-Vieux). Bibliothèque de Polytech'Annecy-Chambéry, site d'Annecy.
  • Disponible pour le PEB
  • Cote : T P1995/195
  • Bibliothèque : Université de Lorraine (Villers-lès-Nancy, Meurthe-et-Moselle). Direction de la Documentation et de l'Edition - BU Sciences et Techniques.
  • Accessible pour le PEB

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire Joseph-Fourier.
  • Accessible pour le PEB
  • Cote : MF-1995-KHA
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.