Université Lille1 - Sciences et Technologies Conception de modèles de familles de systèmes temps réel Design of real time system family models Ligne de produits 005.1 Temps réel (informatique) Systèmes d'aide à la décision UML (informatique) Design patterns Text Electronic Thesis or Dissertation fr Pour réduire le temps de mise sur le marché des systèmes temps réel partageant des caractéristiques communes, une solution consiste à appliquer à leur développement le concept de familles de systèmes. L'idée réside en la construction d'un seul modèle appelé le modèle de la famille de systèmes Celui-ci contient les parties communes et les différences entre les modèles de chaque système d'une même famille, c.a.d. les variabilités. La modélisation de la variabilité peut être l'origine de plusieurs problèmes : comment exprimer la variation ? Comment assurer la cohérence entre les différentes vues du modèle ? Est-ce que le modèle d'une famille de systèmes couvre tout le domaine visé ? Pendant la dérivation, étape consistant à obtenir un système spécifique bien formé depuis le modèle de sa famille, il faut choisir les éléments variables dans le modèle d'une famille de systèmes. Nous pouvons nous demander quels sont les éléments variables à choisir ? Dans quel ordre ? La proposition décrite dans ce document, nommée SyF, contient une extension du langage UML permettant d'exprimer au mieux la variabilité dans les vues structurelles et comportementales d'un modèle SyF introduit également le concept de propagation des éléments variables comme moyen pour assurer la cohérence entre les éléments variables d'un modèle. Afin de pouvoir détecter des conflits éventuels entre les dérivations structurelles et comportementales du modèle d'une famille de systèmes, SyF propose également une étape d'analyse suite au calcul de toutes les dérivations possibles. Cette étape s'appuie sur un modèle de décisions, construit automatiquement par analyse du modèle d'une famille de systèmes. Ce modèle de décisions sert alors de support à une analyse de couverture de la famille de systèmes et assiste le concepteur au moment de la dérivation des produits. application/pdf 1 : 1 Mo https://pepite-depot.univ-lille.fr/RESTREINT/Th_Num/2005/50376-2005-248.pdf Tessier Patrick 1900-01-01 096666846 2005LIL10106 2005-01-01 Informatique Université Lille1 - Sciences et Technologies 026404184 Doctorat non oui Geib Jean-Marc 035777303 Gérard Sébastien 077017498 ddc:000 ASCII PDF 9999 restriction 2012-01-01 9999-01-01 restriction 2012-01-01 9999-01-01