Um processo de sintese de sistemas reativos

AUTOR(ES)

Antonio Gonçalves Figueiredo Filho

DATA DE PUBLICAÇÃO

1991

RESUMO

A Program generator appropriate to implement the complex reactive systems control is presented. This generation process consists in a synthesis of reactive systems from a statecharts-based specification. Statecharts are a broad extension of conventional state diagrams supporting the notion of hierarchy, concurrency and communication. This tool behaves like a translator that receives a textual description of a statechart (i.e., a program written in a statecharts language - LEG) in its input and it outputs a functionally equivalent C program A program written in LEG combines code inherent to application control (represented by LEG code) and to application code (code written in C). An application of this tool in a construction of a topological editor is described

ASSUNTO(S)

geradores (programas de computador) programas de computador

Documentos Relacionados

• Um modelo heuristico para solução do problema de planejamento de reativos em sistemas de energia eletrica
• STER : uma estrategia de testes para sistemas reativos
• Modelagem, verificação formal e codificação de sistemas reativos autônomos
• Síntese e caracterização de oligômeros termossensíveis com grupos terminais reativos via polimerizaçãoradicalar controlada
• Amortecimento de oscilações eletromecanicas en sistemas eletricos atraves de compensação dinamica de reativos