Integración de lógica lineal temporal a modelos de arquitecturas de software basadas en componentes especificadas a través del cálculo rho-arq

CONTENIDO DE LIBRE ACCESO

Este contenido es de libre acceso. Solo haz clic en el siguiente botón.

Descripción: El presente trabajo de investigación establece un mecanismo para incorporar lógica lineal temporal a una configuración arquitectural especificada a través del cálculo rho-arq. Este proceso se realiza interpretando los componentes y la definición del sistema (estructura y comportamiento) de una configuración arquitectural y la generación de un procedimiento para construir un Sistema de Transición de Proposiciones Atómicas (STPA) sobre el cual se realiza la verificación de propiedades temporales. La visualización de este proceso se realiza a través de una extensión de la aplicación PintArq.
Citación recomendada (normas APA)
: Oscar Javier Puentes Puentes, "Integración de lógica lineal temporal a modelos de arquitecturas de software basadas en componentes especificadas a través del cálculo rho-arq", -:-, 2018. Consultado en línea en la Biblioteca Digital de Bogotá (https://www.bibliotecadigitaldebogota.gov.co/resources/2908505/), el día 2025-05-03.

Información adicional