L’objectif de ce document est d’appliquer la démarche de spécification d’un système de con-trôle-commande ferroviaire à base de COTS proposée dans le livrable 2.2. sur un cas d’étude simplifié. Pour rappel, nous entendons par spécification un ensemble de modèles relatifs : •aux besoins clients formulés sous la forme d’un cahier des charges textuel, •à la définition et l’analyse des exigences « système » : odescription du contexte et des parties prenantes : le système considéré ici est le système de contrôle-commande des accès voyageurs. ostructuration, reformulation, voire raffinement de besoins initiaux aboutissant à la description des propriétés logiques fonctionnelles, de sûreté ou d’interface que la solution devra respecter, •à la proposition d’une architecture fonctionnelle constituée d’un réseau de fonctions échangeant des flux d’informations •à la proposition d’une architecture structurelle décrivant l’architecture logique de commande sous la forme d’un réseau de composants logiques élémentaires – 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). Les contraintes de traçabilité imposent de conserver les relations existantes entre composants logiques, les fonctions qu’ils supportent, les propriétés fonctionnelles et de sûreté qu’ils doivent respecter, les propriétés d’interfaces (entrées/sorties du composant, type, …) nécessaires pour leur assemblage, ainsi que leur contexte d’utilisation (hypothèses sur l’environnement d’exécution du composant). L’application de la démarche proposée dans le livrable 2.1. se limite dans ce document à la phase descendante dans laquelle les concepteurs seront guidés depuis la définition et l’analyse des exigences à partir des besoins recensés dans le cahier des charges jusqu’à l’obtention d’une architecture fonctionnelle répondant à ces exigences puis structurelle (architecture de composants logiques et leurs caractéristiques) utilisant des COTS logiques (composants logiques sur étagère). Les modèles proposés (architectures fonctionnelle et logique) feront ensuite l’objet : •d’une vérification des propriétés qu’elles doivent respecter, en particulier les propriétés locales aux COTS et les propriétés d’assemblage, •de la synthèse d’un composant de contextualisation d’un COTS (patch) dans le cas où les propriétés locales d’un COTS ne seraient pas respectées •de la synthèse d’un composant de coordination d’un macro-composants (glue) au cas où les propriétés d’assemblage ne seraient pas vérifiées. Ces actions de validation et de synthèse seront réalisées sur la base de la démarche proposée dans les livrables du lot 3. Afin de pouvoir illustrer les démarches de synthèse, certains des COTS choisis pour concevoir les architectures logiques proposées dans ce document ne respecteront pas totalement les propriétés locales et d’assemblages.