Manual metodologico en línea para el desarrollo de sistemas críticos
El proyecto MATISSE (metodologías y tecnologías para la ingeniería de sistemas de fuerza industriales), que emplea los métodos formales de ingeniería del software basada en las matemáticas, soporta la realización de chequeos de validación a lo largo de todo el ciclo de desarrollo. Estos chequeos incluyen técnicas de prueba, verificación de modelos y técnicas de simulación, que hacen posible que se establezcan pautas de creación y se produzca la expansión de metodologías y perfeccionamientos tecnológicos. Estructurado en tres componentes para distintas capacidades de ingeniería de software, el manual le permite al lector leer el documento completo o como tres documentos separados y relacionados. El material introductorio se dirige al nivel directivo y sirve como una introducción a la sección de gestión de proyectos, y acaba con la sección del profesional, que incluye ejemplos prácticos de funcionamiento. Globalmente, las 316 paginas perfilan las razones para el modelo de software y se basan en el análisis y la experiencia de tres estudios de casos industriales. Los dos estudios que han proporcionado la piedra angular para el espectro de posibilidades futuras de aplicación son un verificador integrado para sistemas de tarjetas inteligentes de aplicación múltiple y un sistema de señalización y control ferroviario. El tercero es un sistema de diagnóstico para la asistencia sanitaria, que todavía no está contrastado; sin embargo, el socio encargado de su desarrollo está deseando materializar los beneficios industriales para su organización. El propio software crítico se desarrolla de manera que la mayoría de los métodos puedan integrarse en sistemas existentes para el diseño de ciclos vitales, con lo que se reducen los costes de desarrollo futuro y en curso. Estas metodologías extienden el rango de aplicación de los métodos formales y perfeccionan las tecnologías asociadas a dichos métodos. Para decirlo brevemente, el proyecto tiene la intención de aprovechar y reforzar los métodos genéricos existentes vinculados a aplicaciones basadas en software crítico en términos técnicos. De esta forma MATISSE podrá nutrir de beneficios a la ingeniería del software mucho más de lo que podría lograrse por otros medios, ya que las ventajas de aplicación perdurarán más allá del propio proyecto. La Universidad de investigación francesa ofrece la utilización de sus herramientas complementarias de ingeniería de software a posibles socios que estén interesados en integrar sus métodos formales heterogéneos en esta metodología. El documento completo de 316 páginas es accesible permanentemente en la dirección siguiente: http://eriscs.esil.univmed.fr/dotclear/public/PAPERS/Matisse_Handbook.pdf(se abrirá en una nueva ventana)
