Tecnologías Específicas

Ingeniería del Software

Descripcion y Objetivos

Los sistemas críticos en dominios de aplicación como aerospacial, automoción, o el sector ferroviario están sujetos a una serie de procesos rigurosos para confirmar que los sistemas son fiables y seguros. Gran parte de esta confirmación se basa en la especificación y gestión de casos de aseguramiento ('assurance cae'), los cuáles justifican y dan evidencias de la confiabilidad de los sistemas.

Este trabajo tiene como fin el desarrollo de un editor gráfico para el estándar SACM (Structured Assurance Case Metamodel) para la especificación de casos de aseguramiento.

 

Metodología y Competencias

Para este trabajo se seguirá de manera general el ciclo de desarrollo incremental. Tras una primera fase de estudio del dominio de aplicación, se realizarán varias iteraciones de análisis, diseño, implementación y pruebas. No obstante, existirá libertad en la ejecución de estas tareas con el fin de poder explorar, probar y revisar distintas soluciones.

Las competencias que se trabajarán incluyen:

• [IS1] Capacidad para desarrollar, mantener y evaluar servicios y sistemas software que satisfagan todos los requisitos del usuario y se comporten de forma fiable y eficiente, sean asequibles de desarrollar y mantener y cumplan normas de calidad, aplicando las teorías, principios, métodos y prácticas de la Ingeniería del Software
• [IS2] Capacidad para valorar las necesidades del cliente y especificar los requisitos software para satisfacer estas necesidades, reconciliando objetivos en conflicto mediante la búsqueda de compromisos aceptables dentro de las limitaciones derivadas del coste, del tiempo, de la existencia de sistemas ya desarrollados y de las propias organizaciones.
• [IS4] Capacidad de identificar y analizar problemas y diseñar, desarrollar, implementar, verificar y documentar soluciones software sobre la base de un conocimiento adecuado de las teorías, modelos y técnicas actuales.
• [IS6] Capacidad para diseñar soluciones apropiadas en uno o más dominios de aplicación utilizando métodos de la ingeniería del software que integren aspectos éticos, sociales, legales y económicos.

 

Medios a utilizar

Los medios a utilizar son los básicos para el desarrollo de aplicaciones software, como un ordenador, un lenguaje de análisis y diseño (UML), un lenguaje de programación (Java), y un entorno de desarrollo (Eclipse).

 

Bibliografía

I. Habli: A Short Introductio to Assurance Cases, https://www.cs.york.ac.uk/assure2013/ASSURE2013Slides/0ASSURE_SC_Intro_Final.pptx.pdf

OMG: Structured Assurance Case Metamodel (SACM), https://www.omg.org/spec/SACM/

Eclipse Modeling Project: https://www.eclipse.org/modeling/