Resumen

Los modelos basados en componentes son ampliamente utilizados para sistemas embebidos. Los modelos consisten en componentes con puertos de entrada y salida vinculados entre sí. Sin embargo, los enlaces desajustados o las suposiciones entre los componentes pueden causar muchos fallos, especialmente en modelos a gran escala. La incorporación de conocimiento semántico vinculado en los modelos puede permitir la verificación específica del dominio y ayudar a exponer errores de modelado en una etapa temprana. La ontología es conocida como la formalización del conocimiento semántico. En este artículo proponemos una herramienta impulsada por ontología para la verificación estática de la corrección de errores específicos del dominio. Dos tipos de verificaciones estáticas importantes, tipo semántico y reglas restringidas al dominio, se llevan a cabo en un marco unificado. Primero proponemos una forma formal de describir con precisión los requisitos de verificación mediante ontología y luego los verificamos por separado mediante un solucionador de restricciones basado en retículas y un razonador de l

• Materias:Modelado matemático Modelo de red neuronal Tasa de convergencia Aritmética Ondículas libres
• Subjects:Mathematical modeling Neural network model Convergence rate Arithmetic Free wavelets
• Palabras claves:Basado en componentes; Sistemas embebidos; Ontología; Verificación estática de corrección; Conocimiento semántico; Errores específicos del dominio
• Keywords:Component-based; Embedded systems; Ontology; Static correctness checking; Semantic knowledge; Domain-specific errors