CONOCIMIENTOS TÉCNICOS


NUESTRO CONOCIMIENTO


picto-nautile-150

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

NUESTROS 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


La méthode B est une des méthodes formelles de développement système et logiciel que nous utilisons. Elle permet de rationaliser et modéliser à partir du langage B le comportement d’un programme, puis par raffinements successifs, d’aboutir à un modèle concret.

ELLE EST UTILISÉE DANS LE CADRE DE :
> 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 (por ejemplo : Desarrollo del software de seguridad SIL4 para los automatismo fijos de Val de Roissy).

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)

pictos-macbook

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.