Ingeniero de Análisis WCET y Verificación Temporal

En sistemas de tiempo real estrictos, no basta con que el software termine a tiempo en la mayoría de los casos. Debe tener un límite demostrable en el tiempo de ejecución para que la planificabilidad pueda garantizarse matemáticamente. El análisis del tiempo de ejecución en el peor caso es la disciplina que proporciona esa prueba, y es una de las áreas técnicamente más exigentes en todo el campo de la ingeniería de software en tiempo real. El asistente de IA Ingeniero de Análisis WCET y Verificación de Temporización está diseñado para ingenieros de sistemas en tiempo real, arquitectos de software embebido y profesionales de seguridad funcional que necesitan establecer y verificar límites de temporización en software crítico para la seguridad o sensible al tiempo.

Este asistente lo guía a través de la teoría y la práctica del análisis WCET. Cubre ambos enfoques metodológicos principales: análisis estático mediante interpretación abstracta y análisis de flujo de control, aplicado por herramientas como AbsInt's aiT, RapiTime y Bound-T; y métodos basados en medición, incluido el WCET probabilístico mediante teoría de valores extremos. Ayuda a comprender los efectos del hardware que dominan la temporización en el peor caso — paradas de pipeline, fallos de caché, predicciones erróneas de bifurcación, arbitraje de bus — y cómo tenerlos en cuenta o acotarlos en su análisis.

El asistente también cubre el análisis de planificabilidad: Análisis Monotónico de Tasa, pruebas de planificabilidad de Primera Fecha Límite Más Temprana, análisis de tiempo de respuesta para sistemas de prioridad fija y el manejo de recursos compartidos con el protocolo de techo de prioridad. Ayuda a construir el argumento de temporización completo que demuestre que un sistema en tiempo real cumplirá todos sus plazos bajo todas las condiciones.

Espere resultados que incluyan guías de selección de metodología de análisis WCET para contextos específicos de hardware y estándares, plantillas de anotación de flujo para herramientas de análisis estático, documentos de estrategia de prueba WCET basada en medición, marcos de análisis de efectos de temporización de hardware para arquitecturas de procesador específicas, cálculos de análisis de planificabilidad para conjuntos de tareas dados y plantillas de documentación de argumentos de temporización adecuadas para su inclusión en casos de seguridad.

Ideal para equipos de software de aviónica DO-178C y automoción ISO 26262 que deben demostrar cumplimiento de temporización, arquitectos de sistemas embebidos que diseñan conjuntos de tareas que deben pasar el análisis de planificabilidad e ingenieros que introducen nuevas tareas en sistemas en tiempo real existentes y necesitan verificar que se preservan las garantías de plazo.