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...
Saved in:
| Main Author: | |
|---|---|
| Format: | doctoralThesis |
| Language: | Spanish |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://hdl.handle.net/20.500.12008/51727 |
| Tags: |
No Tags, Be the first to tag this record!
|
Similar Items: Metodología de verificación, detección de errores y generación de casos de prueba en modelos RT-DEVS con requisitos temporales cuantitativos
- UML 2.0 interactions with OCL/RT constraints
- Multiplexing real time video services
- A novel real-time PCR assay for quantitative detection of Campylobacter fetus based on ribosomal sequences
- Short-term studies of heart rate variability : comparison of two methods for recording
- Real-time CBR-agent with a mixture of experts in the reuse stage to classify and detect DoS attacks
- Evaluation of a Sensory Tracking System for Hand-held Detectors in Outdoor Conditions