La tubería de diseño de sistemas integrados

Abstract

A partir de la problemática existente en el diseño de Sistemas Integrados (embedded systems) se propone en este trabajo un método formal de diseño. Se describen las tareas involucradas y se presenta un marco de trabajo que minimiza los recursos a utilizar. A partir de un dispositivo conocido, se presenta un ejemplo de aplicación. Finalmente, se propone un agente de software que asiste a los diseñadores durante el proceso.