CONOCIMIENTOS TÉCNICOS


NUESTROS RECURSOS


pictos-mains-150x150

> B
> El método B, técnica formal demostrada y renombrada
> Fiabilidad operativa

picto-b

B

B es una técnica de modelado aplicable a las especificaciones de los sistemas. También se puede usar para desarrollar software. Gracias a su asociación con mecanismos de prueba, este método formal es único. Permite obtener ESPECIFICACIONES DE SISTEMA DEMOSTRADAS y PROGRAMAS DEMOSTRADOS SEGÚN LAS EXIGENCIAS FUNCIONALES.

EL MÉTODO B


EL MÉTODO B, TÉCNICA FORMAL DEMOSTRADA Y RENOMBRADA

> En 1980, Jean-Raymond ABRIAL inventó el método B. El lenguaje B se basa en los conceptos matemáticos de la teoría de conjuntos. Integra mecanismos de prueba y puede cubrir sin interrupción todo un ciclo de desarrollo, hasta el código para los elementos de software. El B Book (de J.R. ABRIAL, publicado en 1996 por Cambridge University Press) es la obra de referencia sobre B.

> En el diseño de Météor (línea 14 del metro parisino que funciona de manera totalmente automática, sin conductor) se recurrió a B y su entorno industrial (Atelier B). Desde las primeras pruebas de los sistemas de seguridad en noviembre de 1997, no se ha producido ningún error en los servicios desarrollados con B. CLEARSY comercializa Atelier B desde 1993.

FIABILIDAD OPERATIVA


La fiabilidad o seguridad operativa pretende mantener el funcionamiento correcto de un sistema, de un producto o de sus componentes, a lo largo de su vida útil, con un coste mínimo. La seguridad operativa se basa en distintos factores: fiabilidad, disponibilidad, seguridad, mantenimiento y logística.