Metodología de verificación, detección de errores y generación de casos de prueba en modelos RT-DEVS con requisitos temporales cuantitativos

Los sistemas de tiempo real suelen presentar errores vinculados a la temporización que son difíciles de detectar. Los formalismos utilizados para modelar este tipo de sistemas permiten especificar comportamientos a diferentes niveles de abstracción, descomponiendo los modelos en submodelos (componen...

Descrición completa

Detalles Bibliográficos

Autor Principal:	González, Ariel (author)
Formato:	doctoralThesis
Idioma:	Lingua castelá
Publicado:	2025
Subjects:	Sistemas de Tiempo Real Real-Time DEVS Uppaal Chequeo de Modelos Testing por Mutación Mutación de Propiedades Real-Time System Model Checking Mutation Testing Property Mutation
Acceso en liña:	https://hdl.handle.net/20.500.12008/51727
Tags:	Engadir etiqueta Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!