Descripcion y Objetivos

Los sistemas cuyos fallos pueden causar daños en las personas, como por ejemplo sistemas en automoción, aviación, o salud, suelen tener que justificar que son confiables para aceptar su uso. Dicha justificación se puede realizar mediante argumentos estructurados para facilitar su elaboración y revisión. Esta tarea puede beneficiarse del uso de patrones que definan una estructura abstracta genérica válida a partir de la cual elaborar argumentos concretos. Se recomienda estos medios y son especialmente útiles para nuevas tecnologías, sistemas y aplicaciones, para los que puede no haberse definido cómo garantizar y justificar su confiabilidad. Un ejemplo es el uso de realidad extendida en salud mental. Además, este tipo de sistemas y de aplicación tienen la necesidad de considerar posibles daños mentales que puede haber, además de daños físicos.

El objetivo de este trabajo es desarrollar patrones de argumentación para realidad extendida en salud mental. Partiendo de estructuras existentes para la gestión de riesgos generales y mediante la notación GSN, se definirán estructuras de argumentación que tengan en cuenta las características concretas de los sistemas de realidad extendida y consideren los posibles daños mentales de su utilización. Los patrones se instanciarán para sistemas utilizados en terapias de déficit de reconocimiento de emociones.

 

Metodología y Competencias

Para este trabajo se seguirá, de manera general, un 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 validación. 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:

• [CE4] Capacidad para modelar, diseñar, definir la arquitectura, implantar, gestionar, operar, administrar y mantener aplicaciones, redes, sistemas, servicios y contenidos informáticos.
• [CE6] Capacidad para asegurar, gestionar, auditar y certificar la calidad de los desarrollos, procesos, sistemas, servicios, aplicaciones y productos informáticos.
• [CE14] Capacidad para conceptualizar, diseñar, desarrollar y evaluar la interacción persona-ordenador de productos, sistemas, aplicaciones y servicios informáticos.

 

Medios a utilizar

Además de aplicaciones ofimáticas generales, se utilizará la notación GSN para la especificación de patrones y alguna herramienta de apoyo para este fin (Visio, OpenCert...)

 

Bibliografía

Andrews, C., Southworth, M.K., Silva, J.N.A., Silva, J.R.: Extended Reality in Medical Practice. Current Treatment Options in Cardiovascular Medicine 21, 18. 2019

Kelly, T.P., McDermid, J.A.: Safety Case Construction and Reuse Using Patterns. SafeComp 97.

Hawkins, R., Kelly, T.: A software safety argument pattern catalogue. University of York, 2013

Safety-Critical Systems Club: Goal Structuring Notation Community Standard (Version 3), 2021. https://scsc.uk/r141C:1?t=1

Eclipse: OpenCert. https://www.eclipse.org/opencert/