Inicio - El ferrocarril en el mundo - Nuestras implementaciones - Nuestra oferta - Nuestros recursos - Conocimientos técnicos - Señales e indicadores - Documentos - ¿Quiénes somos? - Clientes y socios - Salóns - Enlaces - Contacto

Conocimientos técnicos

En el marco de nuestro enfoque de seguridad, desarrollamos sistemas y programas de software seguros que garantizan la total seguridad de los usuarios.

Por eso, trabajamos en distintas disciplinas para movilizar nuestras competencias en distintos campos de conocimiento:

  • Desarrollo de sistemas de seguridad utilizando métodos formales
  • Fiabilidad operativa
  • Desarrollo de sistemas según las normas ferroviarias
  • Software de seguridad
  • Electrónica

Estos sectores constituyen la base de un sistema de seguridad fiable e innovador.

Uso de métodos formales

El método B es uno de los métodos formales de desarrollo de sistemas y software que utilizamos. Nos permite racionalizar y modelar el comportamiento de un programa a través del lenguaje B, mediante mejoras sucesivas, para crear un modelo concreto.

Este método se usa para:

  • Crear software preciso mediante construcción
  • Modelar sistemas en su entorno

Este método se aplica industrialmente en el sector ferroviario. Su uso está extendido y cuenta con el reconocimiento del mundo académico.

ClearSy está desarrollando este método en colaboración con diferentes industrias, y centros de investigación.

Fiabilidad operativa

La seguridad operativa (SDF de sus siglas en francés) representa un paso obligatorio en el estudio de la viabilidad y la coexistencia del sistema con su entorno. Permite garantizar el perfecto funcionamiento del sistema en distintas situaciones, manteniendo la integridad de su entorno.

Para realizar el estudio de fiabilidad, ClearSy sigue distintos pasos, por ejemplo:

  • Análisis preliminar de riesgos (APR)
  • Análisis de modos de fallos y efectos críticos (AMFEC o FMAEC)
  • Análisis de los efectos de los errores del software (AEES)
  • Árboles de causa (AC o FTA)
  • Método de combinaciones de errores resumidos
  • Otros…

Los consultores de ClearSy han contribuido a mejorar estos conocidos métodos con:

  • Análisis formal de modos de fallos y efectos críticos (AFMFEC)
  • Árboles formales de causa (AFC)

Sistemas compatibles con las normas ferroviarias

ClearSy trabaja en proyectos de tipo SIL2, SIL3 et SIL4 (normas IEC 61508, EN 50126, EN 50128, EN 50129) y en estrecha colaboración con operadores, comanditarios y socios industriales destacados del mundo ferroviario. (ALSTOM, RATP, etc.)

Electrónica

ClearSy trabaja actualmente en numerosos proyectos en los que es necesario integrar componentes eléctricos.