Livrable L2.2 - Méthode de spécification d’une architec-ture de commande à base de COTS - CNRS - Centre national de la recherche scientifique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2012

Livrable L2.2 - Méthode de spécification d’une architec-ture de commande à base de COTS

Résumé

L’objectif de ce document est de décrire une démarche de spécification d’un système de con-trôle-commande ferroviaire à base de COTS. Par spécification, nous entendons un ensemble de modèles décrivant l’architecture logique de commande sous la forme de composants logiques élémen-taires – lorsqu’ils ne sont plus décomposables en sous-composants – ou composites – lorsqu’ils sont constitués par l’assemblage d’autres composants (élémentaires ou composites). Qu’ils soient élémentaires ou composites, les composants logiques sont caractérisés par, au moins : •les fonctions qu’ils supportent, •les propriétés fonctionnelles et/ou de sûreté qu’ils doivent respecter, •les propriétés d’interfaces (entrées/sorties du composant, type, …) nécessaires pour leur as-semblage, •leur contexte d’utilisation (hypothèses caractérisant l’environnement dans lequel est sensé s’exécuter le composant). Selon leur niveau de généricité, les composants (élémentaires ou composites) pourront être archivés en bibliothèque. Ils seront alors réutilisables pour des applications futures de contrôle-commande et seront qualifiés de COTS. La démarche de spécification d’un système de contrôle-commande proposée sera basée sur deux grandes phases : •une phase descendante dans laquelle les concepteurs seront guidés depuis la modélisation des exigences à partir des besoins recensés dans les cahiers des charges fournis par les clients jusqu’à l’obtention d’une architecture fonctionnelle répondant à ces exigences (modélisation et structuration fonctionnelle) puis organique (architecture de composants logiques et leurs carac-téristiques) utilisant des composants sur étagère, •une phase ascendante dans laquelle les concepteurs seront invités à archiver en bibliothèque les composants logiques (COTS) présentant un degré de généricité qui laisse présager de leur réuti-lisation dans d’autres applications de contrôle-commande. Des éléments pour la structuration de la bibliothèque, pour la recherche de composants ainsi que des métriques d’évaluation sont pro-posés. La cohérence entre ces deux phases devra être établie par comparaison entre les propriétés que doivent respecter les composants identifiés en phase descendante (propriétés locales aux composants et pro-priétés d’assemblage) et les propriétés associées à chacun des COTS utilisés. L’écart, s’il existe, devra être comblé par synthèse d’un ensemble de nouveaux composants, appelés « glue » ou « patch », ou, dans l’hypothèse où la synthèse ne serait pas possible, par la proposition d’un nouveau composant.
Fichier non déposé

Dates et versions

hal-01215741 , version 1 (14-10-2015)

Identifiants

  • HAL Id : hal-01215741 , version 1

Citer

David Gouyon, Dragos Dobre, Florent Peres, Jean-François Pétin, Mohamed Ghazel. Livrable L2.2 - Méthode de spécification d’une architec-ture de commande à base de COTS . [Rapport de recherche] CRAN. 2012. ⟨hal-01215741⟩
238 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More