CLEARSY

CLEARSY es una empresa francesa con 160 empleados cuya principal especialidad es el diseño y la producción de sistemas y aplicaciones de softwares certificados seguros.

CLEARSY es líder en la utilización del método formal B basado en la prueba matemática; edita la herramienta de referencia ATELIER B, utilizada especialmente por los principales industriales para el desarrollo de automatismos de conducción de trenes y metros con o sin conductor.

La utilización del método formal B es una ventaja decisiva para cumplir con los más altos estándares de seguridad. Es el método utilizado por CLEARSY en el marco del desarrollo de sistemas certificados seguros. Muchos sistemas críticos de seguridad diseñados por CLEARSY están actualmente en funcionamiento tanto dentro como fuera de Francia, y sus herramientas de simulación y bancos de pruebas son utilizados por los principales operadores y laboratorios.

Están disponibles muchos productos:

• plataforma (calculador) de hardware y software de seguridad,
• herramienta de validación formal de datos críticos,
• supervisor e interfaz de seguridad de sistemas,
• gama completa de relés de seguridad SIL4: RS4,
• sistemas SIL4 para la apertura de puertas de andén, parada automática de trenes, etc.
• herramientas de simulación, bancos de pruebas, etc.

Los sectores de actividad de CLEARSY son el ferroviario, la defensa y el transporte y la energía, sector para el cual CLEARSY es un tercero técnico de confianza de EDF (Électricité de France) para los sistemas de control/mando clasificados.

CLEARSY está implantada en 4 emplazamientos: Aix-en-Provence, Lyon, París y Estrasburgo.