Resumen

El ahorro de energía y la alta fiabilidad son dos preocupaciones clave en el diseño de sistemas en tiempo real. Sin embargo, la alta fiabilidad y el bajo consumo de energía son objetivos conflictivos, y generalmente se contrastan con la corrección temporal. En este documento, proponemos comparar esquemas de gestión de energía ignorantes de la fiabilidad y conscientes de la fiabilidad con un enfoque de verificación de modelos estadísticos utilizando UPPAAL-SMC. Los esquemas de gestión de energía y los componentes relevantes se modelan en forma de autómatas temporizados estocásticos. Y los objetivos de análisis se expresan como consultas de verificación. Con el modelo y las consultas como entradas, UPPAAL-SMC devuelve la probabilidad de fallo del sistema y el valor esperado del consumo de energía. En este análisis, hemos considerado tres esquemas de gestión de energía ignorantes de la fiabilidad y dos esquemas de gestión de energía conscientes de la fiabilidad. Basándonos en el estudio comparativo, proporcionamos pautas para eleg

• Materias:Calibración geométrica Núcleos computacionales Consultas de palabras clave Pronóstico probabilístico Máquina de aprendizaje
• Subjects:Geometric calibration Computational kernels Keyword queries Probabilistic forecasting Machine learning
• Palabras claves:Ahorro de energía; Alta fiabilidad; Sistemas en tiempo real; Esquemas de gestión de energía; UPPAAL-SMC; Consciente de la fiabilidad
• Keywords:Energy saving; High reliability; Real time systems; Power management schemes; UPPAAL-SMC; Reliability-aware