Soporte automático para la generación de perfiles UML asociados a la definición modelos de safety
Cargando...
Archivos
Fecha
2016
Autores
Profesor/a Guía
Facultad/escuela
Idioma
es
Título de la revista
ISSN de la revista
Título del volumen
Editor
Universidad Andrés Bello
Nombre de Curso
Licencia CC
Licencia CC
Resumen
En el desarrollo de software críticos para la seguridad, se consideró como alternativa para documentar o diseñar las pruebas de seguridad en base al desarrollo dirigido por modelo (MDE), ya que es una herramienta utilizada en varios ámbitos de la ingeniería y tiene argumentos sólidos que permite definir con mayor solidez modelos de dominio.
En este ámbito se utilizan metamodelos para definir el diseño de la aplicación, perfiles UML para diseñar los conceptos específicos que no son considerados por el lenguaje unificado de modelado (UML), permitiendo definir de manera íntegra la aplicación o dominio que se desea certificar.
Sumado al diseño de la aplicación se debe considerar el o los estándares internacionales presentes, garantizando las propiedades necesarias de la aplicación, reduciendo el riesgo para los usuarios.
La totalidad de la definición de la aplicación en la actualidad se genera de forma manual, lo que requiere un gran esfuerzo y de varios especialistas conectados (ingenieros, especialistas del estándar, entre otros). Con el presente trabajo se pretende reducir ese esfuerzo automatizando la generación de perfiles de acuerdo al estándar IEC 61508. Sin embargo, se puede interpolar a cualquier estándar ya que son derivados del estándar mencionado.
Notas
Tesis (Ingeniero Civil Informático)
Palabras clave
UML (Ciencia de la Computación), Desarrollo de Software Dirigido por Modelos