Resumen

Este documento presenta el proyecto OveRSoC. El objetivo es desarrollar una metodología de exploración y validación de Sistemas Operativos en Tiempo Real (RTOS) embebidos para plataformas basadas en System-on-Chip reconfigurables. Aquí describimos la metodología general y el entorno de diseño correspondiente. El método se basa en modelos abstractos y modulares de SystemC que permiten explorar, simular y validar la distribución de servicios de SO en este tipo de plataforma. Los resultados experimentales muestran que nuestros componentes modelan con precisión el comportamiento dinámico y determinista tanto de la aplicación como del RTOS.

• Materias:Elementos lógicos Sistema de archivos Multinúcleo heterogéneo Flexibilidad del montium Gestión de memoria
• Subjects:Logic elements File system Heterogeneous multicore Montium flexibility Memory management
• Palabras claves:Sistemas operativos en tiempo real; Sistema en chip reconfigurable; Metodología; Modelos de SystemC; Distribución de servicios de sistema operativo; Resultados experimentales
• Keywords:Real time operating systems; Reconfigurable system-on-chip; Methodology; Systemc models; Distribution of os services; Experimental results