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...

Full description

Bibliographic Details

Main Author:	González, Ariel (author)
Format:	doctoralThesis
Language:	Spanish
Published:	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
Online Access:	https://hdl.handle.net/20.500.12008/51727
Tags:	Add Tag No Tags, Be the first to tag this record!