Adaptive software synthesis from extended dataflow specifications = Síntese de Software Adaptativo baseada em Especificações Extended Dataflow

• Main Authors: Ivanilton Polato, Antonio Mendes da Silva Filho
• Format: Article
• Language: English
• Published: Universidade Estadual de Maringá 2005-07-01
• Series: Acta Scientiarum: Technology
• Subjects: models of computation; embedded systems; dataflow; components; events; modelos computacionais; sistemas embutidos; fluxo de dados; componentes; eventos
• Online Access: http://periodicos.uem.br/ojs/index.php/ActaSciTechnol/article/view/1458/842

Embedded software development approaches used models of computationsuch as dataflow, discrete events, synchronous/reactive, among others. Due to the specialization of the existing models, each one can be better applied to a specific application domain. Nevertheless, when there is no solution for applications in a specific domain,heterogeneous models have been used. In this context, this paper discusses a heterogeneous model called Extended Dataflow. It is an extension of the dataflow model with support to event handling. This paper also addresses how software can be synthesized from extendeddataflow specifications and discusses the development of a code generation tool prototype. This takes into account the possibility of component reuse for developing digital signal processing applications. A case study of adaptative applications using digital filters is used to illustrate our approach.<br><br>As abordagens de desenvolvimento de software embutido têm feito o uso de modelos de computação, tais como fluxo de dados, eventos discretos, síncrono/reativo, dentre outros. A especialização desses modelos faz com que sejam apropriados a um domínio específico de aplicações. Entretanto, quando não existe uma solução adequada paradeterminada aplicação, os modelos heterogêneos têm sido utilizados. Neste contexto, este artigo discute um modelo heterogêneo, chamado Extended Dataflow, que é uma extensão do modelo de fluxo de dados com suporte ao tratamento de eventos. O artigo mostra ainda como um software pode ser obtido a partir de especificações usando Extended Dataflow e discute o desenvolvimento de um protótipo de ferramenta de geração de código. Isso leva em consideração a possibilidade de reuso de componentes em aplicações de processamento digital de sinais. Um estudo de caso sobre aplicações adaptativas envolvendo filtros digitais é utilizado para ilustrar o trabalho.