Superar las expectativas en el desarrollo de sistemas y de software
Las empresas de software se dedican principalmente al desarrollo de sistemas y herramientas cada vez más fiables a un coste reducido, capaces de satisfacer las verdaderas necesidades de los usuarios. En la actualidad existen numerosas herramientas y métodos para ayudar a la industria, como ISO, Método RAD y JAVA, por nombrar algunos. A pesar de algunos fracasos, muchos sistemas de uso común gozan de una gran popularidad. Sin embargo, el desarrollo eficiente de software fiable, a prueba de fallos y a bajo coste es algo que aún no se ha conseguido. Para resolver este problema, ClearSy ha desarrollado un método formal denominado 'Método B' y un juego de herramientas relacionado, el Atelier B. Se ha comprobado que el método es muy efectivo en muchos sistemas industriales, ya que facilita la especificación de los requisitos y funciones del sistema. Con ayuda de un modelo matemático demostrado, se crea un modelo de sistema y se mejora constantemente, finalizándose únicamente cuando se cubren todas las especificaciones. Con las herramientas de Atelier B, se comprueban los modelos para detectar errores sintácticos y se validan automáticamente antes de seguir utilizándolos. El Método B y el juego de herramientas Atelier B ya se han usado en dos ámbitos industriales, la industria del motor y la ferroviaria. Después de ofrecer unas jornadas de formación a los expertos internos, capaces de definir una metodología concreta para los sistemas desarrollados, resultaron de gran ayuda para los usuarios ingenieros. La difusión del método podría permitir la prestación de nuevos servicios, como el desarrollo de software y herramientas para ingenieros, así como estudios y verificaciones de las especificaciones del sistema. Las herramientas y el Método B de modelado de formato se han usado para el desarrollo de software con el fin de controlar de manera completamente automática la línea 14 del metro de París. Hasta la fecha, no hay constancia de que el software relacionado presente algún problema. ClearSy busca colaboraciones con las industrias para usar de forma experimental u operativa el método B en su terreno. Así mismo, también se buscan socios para explorar nuevos campos industriales para adaptar el método.
