Ce site utilise des cookies et autres technologies similaires pour vous offrir un meilleur service.

Si vous ne changez pas les paramètres de votre navigateur, vous acceptez l'utilisation de cookies sur ce site. En savoir plus

J'ai compris

Les Cookies

Cette rubrique vous permet d’en savoir plus sur l’origine et l’usage des informations de navigation traitées à l’occasion de votre consultation de notre site et sur vos droits.

Ainsi, lors de la consultation de notre site, des informations relatives à votre navigation sont susceptibles d’être enregistrées dans des fichiers Cookies installés sur votre terminal (ordinateur, tablette, smartphone, etc.).

Ces cookies sont émis par le site du CEA LIST dans le but de faciliter votre navigation sur notre site.

Sachez que seul l’émetteur d’un cookie est susceptible de lire ou de modifier des informations qui y sont contenues.

Si vous partagez l’utilisation de votre terminal avec d’autres personnes, nous ne pouvons pas nous assurer de manière certaine que les services et publicités destinés à votre terminal correspondent bien à votre propre utilisation de ce terminal et non à celle d’un autre utilisateur de ce terminal.

Les cookies que nous émettons

Les cookies que nous installons, dans votre terminal, nous permettent de reconnaître votre navigateur lorsque vous vous connectez à notre site.

Soucieux de servir nos clients au mieux, nous émettons des cookies afin :

  • D’établir des statistiques de fréquentation (nombre de visites, de pages vues, …) afin de suivre et d’améliorer la qualité de nos services.
  • D’adapter la présentation de notre site aux préférences d’affichage de votre terminal.
  • De mémoriser des informations saisies dans des formulaires, gérer et sécuriser l’accès à des espaces réservés et personnels tels que votre compte, le cas échéant.

Vos choix concernant les cookies

Plusieurs possibilités vous sont offertes pour gérer les cookies. Tout paramétrage que vous pouvez entreprendre sera susceptible de modifier votre navigation sur Internet et vos conditions d’accès à certains services nécessitant l’utilisation de Cookies.

Vous pouvez exprimer et modifier à tout moment vos souhaits en matière de cookies, par les moyens décrits ci-dessous.

Les choix qui vous sont offerts par votre logiciel de navigation

Vous pouvez configurer votre logiciel de navigation de manière à ce que des cookies soient enregistrés dans votre terminal ou, au contraire, qu’ils soient rejetés, soit systématiquement, soit selon leur émetteur.

Vous pouvez également configurer votre logiciel de navigation de manière à ce que l’acceptation ou le refus des cookies vous soient proposés ponctuellement, avant qu’un cookie soit susceptible d’être enregistré dans votre terminal.

Nous vous informons que si votre navigateur est configuré de manière à refuser tous les cookies, vous ne pourrez pas profiter de fonctions essentielles de notre site. Nous vous invitons à paramétrer votre navigateur au mieux.

La configuration de chaque navigateur est différente. Elle est décrite dans le menu d’aide de votre navigateur, qui vous permettra de savoir de quelle manière modifier vos souhaits en matière de cookies.

Vous trouverez ci-dessous des éléments de paramétrage des principaux navigateurs.

Internet explorer

  1. Dans le menu « Outils » en haut à droite de la barre de navigation, sélectionnez « Options Internet »
  2. Cliquez sur l’onglet « Confidentialité »
  3. Vous pouvez paramétrer vos choix concernant les cookies à l’aide d’un curseur. Si vous cliquez sur « Avancé » vous pouvez faire une gestion manuelle et avancée des cookies
  4. Sauvegardez vos préférences en cliquant sur « OK »

Mozilla Firefox

  1. Dans le menu en haut de la page cliquez sur « Outils » puis « Options »
  2. Sélectionnez l’onglet « Vie privée »
  3. Paragraphe Historique : Dans le menu déroulant « Règles de conservation », cliquez sur « utiliser les paramètres personnalisés pour l’historique »
  4. Les paramètres qui s’affichent vous permettent de paramétrer vos choix concernant les cookies et leur durée de conservation (refuser tous les cookies, d’accepter les cookies en refusant les cookies tiers)
  5. Sauvegardez vos préférences en cliquant sur « OK »

Google Chrome

  1. Cliquez sur l’icône personnaliser et contrôler Google Chrome située en haut à droite de la barre de navigation
  2. Sélectionnez « Paramètres » puis activez « afficher les paramètres avancés »
  3. Dans la partie confidentialité, activez le menu « paramètres de contenus »
  4. Paramétrez vos choix concernant les cookies, sélectionnez « Blocage des sites tiers »

Safari

  1. Dans la barre de menu en haut, cliquez sur « Safari », puis « Préférences »
  2. Sélectionnez l’icône « Confidentialité »
  3. Paramétrez vos choix concernant les cookies (Blocage des sites tiers)

3 novembre 2020 | CEA et Systerel : un nouveau pas vers la modélisation fonctionnelle des postes d’aiguillage du futur

CEA002405 HDL’institut CEA List et Systerel franchissent un jalon majeur dans la numérisation des systèmes ferroviaires, en livrant à SNCF Réseau une nouvelle version du module de modélisation fonctionnelle des postes d’aiguillage de nouvelle génération. Les deux partenaires accompagnent ainsi la montée en complexité de ces systèmes grâce au déploiement d’un environnement de modélisation et de validation performant.

SNCF Réseau a lancé en 2018 un appel d’offres pour le développement d’un « Atelier Métier de Signalisation », dédié à la spécification et la validation formelle des postes d’aiguillage informatiques (PAI) de nouvelle génération. C’est le groupement rassemblant le CEA List, institut de CEA Tech dédié aux systèmes numériques intelligents, et Systerel, ingénieriste des systèmes critiques, qui a remporté le marché en juin 2019, en mobilisant les expertises de chaque partenaire :

- CEA List : modélisation de systèmes complexes et ingénierie des langages,
- Systerel : preuve de propriétés de sécurité et domaine ferroviaire.

Simuler les scénarios d’exploitation en toute sécurité

L’Atelier Métier de Signalisation (AMS) comporte plusieurs phases de développement et d’implémentation de l’outillage, dédiées à la spécification des postes d’aiguillage et à leur validation par la simulation et les méthodes formelles.

Au cours de la première phase, les deux partenaires ont conçu et mis en œuvre l’Atelier Métier de Signalisation (AMS) à partir de l’outil Papyrus1 développé par le CEA List depuis plus de 10 ans. L’environnement proposé intègre ainsi l’ensemble des fonctionnalités nécessaires à la modélisation et à l’instanciation d’un poste d’aiguillage, et permet à SNCF Réseau de :

  • Spécifier les principes de signalisation,
  • Spécifier les paramètres de ces principes de signalisation,
  • Importer les paramètres fournis par un tiers,
  • Instancier automatiquement un poste d’aiguillage en fonction des principes de signalisation et des paramètres fournis par un tiers.

Systerel va désormais enrichir le module de fonctions de vérification formelle et d’animation de plans de voie, autorisant la simulation des scénarios d’exploitation et la preuve des propriétés de sécurité associées.

Un outillage open-source pour une adaptabilité optimale

L’AMS sera mis en open-source au fur et à mesure de son développement. Le module de modélisation fonctionnelle d’un poste d’aiguillage informatique (PAI) sera disponible dès début 2021 pour une mise à disposition complète de l’outil en 2023, date de mise en œuvre du premier PAI de nouvelle génération.

S’inscrivant dans le cadre du partenariat d’innovation ARGOS2, l’Atelier Métier de Signalisation donnera à SNCF Réseau les moyens de réduire significativement les temps et coûts de développement de la nouvelle génération de postes d’aiguillages et d’en conserver la maîtrise sur la durée. L’AMS contribuera à accroître l’interopérabilité de ces systèmes à grande échelle, capables de contrôler l’ensemble des équipements de signalisation avec l’agilité nécessaire pour s’adapter au réseau, quelle que soit sa complexité.


1www.eclipse.org/papyrus
2Le partenariat d’innovation Argos lancé par SNCF Réseau en 2018 vise à développer la 3ème génération de postes d’aiguillage informatisé, en collaboration avec les industriels Alstom, Hitachi-Ansaldo, Siemens et Thales.

A propos du CEA List

Le CEA List, implanté sur les centres CEA Paris Saclay et CEA Grenoble, est un institut de recherche technologique du CEA qui focalise ses recherches sur les systèmes numériques intelligents. Porteurs d’enjeux économiques et sociétaux majeurs, ses programmes de R&D concernent l’intelligence artificielle, l’usine du futur, les systèmes cyberphysiques et la santé numérique, et contribuent à la compétitivité industrielle de ses partenaires par l’innovation et le transfert technologique. Le CEA List est membre du réseau des Instituts Carnot.

Pour en savoir plus : www-list.cea.fr | @CEA_List | LinkedIn | YouTube

A propos de Systerel

Systerel est une entreprise indépendante, créée en 2002, dont le cœur de métier est le développement, la validation ou l’évaluation de systèmes critiques temps réel ou de sécurité. Son expertise technologique reconnue, la maîtrise des processus SIL, sa connaissance de la signalisation ferroviaire et sa capacité à développer des solutions outillées innovantes ont abouti à l’existence de relations privilégiées avec les grands acteurs du marché ferroviaire comme Alstom, Siemens, Hitachi-Ansaldo, la RATP ou SNCF.

www.systerel.fr | LinkedIn