Análisis de Modelos Computacionales para Sistemas Embebidos

• Autores: Osio, Jorge R.; Salguero, Federico; Rapallini, José A.; Quijano, Antonio A.
• Año de publicación: 2006
• Idioma: español castellano
• Tipo de recurso: documento de conferencia
• Materia: Ingeniería Eléctrica y Electrónica; Codiseño HW/SW; Lenguajes de Alto Nivel; Modelos Computacionales; Sistemas Embebidos
• Institución: Comisión de Investigaciones Científicas de la Provincia de Buenos Aires

After a short summary about the principles of Hardware/Software Codesign (HSCo) for embedded systems, this paper considers an analysis of the software resources mostly used by the academic community with special emphasis on one of them (PeaCE). An example shows how to specify a system considering the computer models, specially the Data Flow formal model. The required characteristics are defined, with the periodic update of parameters and dynamic behavior of functional blocks. An application from the communication area is presented to show the advantages of the chosen system of HSCo. If can generate an efficient code (C and VHDL) very useful to be implemented on generic processors or FPGA, for rapid prototyping.
Después de una recapitulación de conceptos de Codiseño Hardware / Software (CoHS) para sistemas embebidos, se realiza un análisis de los recursos mas utilizados en el ambiente académico y se discuten las características de uno ellos, el PeaCE. A través de un ejemplo, se muestra como se puede especificar un sistema, considerando los modelos computacionales, en particular el modelo formal “flujo de datos” (Data Flow – DF), definiendo las características necesarias, teniendo en cuenta su actualización periódica de parámetros y comportamiento dinámico de sus bloques funcionales. Finalmente se presenta una aplicación del área de comunicaciones, demostrando las ventajas del ambiente de CoHS utilizado. En particular, en el prototipado rápido, dado que realiza la generación de código eficiente (C y VHDL) para su implementación en procesadores genéricos o FPGA.