Universidad de Castilla-La Mancha
 
Escuela Superior de Ingeniería Informática

 

  cambiar a curso:   2018-19   2020-21



Grado en Ingeniería Informática


TRABAJOS FIN DE GRADO
curso: 2019-20

Editor gráfico de casos de aseguramiento según el estándar SACM


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/

 


Tutor


DE LA VARA GONZALEZ, JOSE LUIS
 

Alumno



 

 

Sindicación  Sindicación  Sindicación  Sindicación

Curso: 2019-20
© Escuela Superior de Ingeniería Informática
Edificio Infante Don Juan Manuel
Avda. de España s/n
02071 Albacete

informatica.ab@uclm.es
aviso legal
generar código QR de la página