Timing analysis tools in a model-driven development environment

Detalles Bibliográficos
Autores: Garrido Balaguer, Jorge|||0000-0002-8385-2721, Puente Alfaro, Juan Antonio de la|||0000-0002-7673-9835, Zamorano Flores, Juan Rafael|||0000-0002-6006-4335, Miguel Cabello, Miguel Ángel de|||0000-0002-8626-7843, Alonso Muñoz, Alejandro Antonio|||0000-0002-1622-8996
Tipo de recurso: artículo
Fecha de publicación:2017
País:España
Institución:Universidad Politécnica de Madrid
Repositorio:Archivo Digital UPM
OAI Identifier:oai:oa.upm.es:49893
Acceso en línea:https://oa.upm.es/49893/
Access Level:acceso abierto
Palabra clave:Real-time systems
high-integrity software
model-based development
schedulability analysis
Ada
timing analysis
Descripción
Descripción no disponible.