Banca de TCC: Andrei Costa

UNIVERSIDADE FEDERAL DE PELOTAS
CENTRO DE DESENVOLVIMENTO TECNOLÓGICO
TRABALHO DE CONCLUSÃO DE CURSO

Apresentações Finais (2014/1)

Proposta de uma Extensão para um Mapeamento de Diagramas UML para Modelos Simulink
por
Andrei Costa

Curso:
Ciência da Computação

Banca:
Profa. Simone André da Costa Cavalheiro (orientador)
Profa. Luciana Foss (co-orientador)
Profa. Lisane Brisolara de Brisolara
Profa. Renata Hax Sander Reiser

Data: 15 de Julho de 2014

Hora: 10:00h

Local: Pós 1, FAT

Resumo do Trabalho:
O aumento no uso e na complexidade dos softwares nos sistemas embarcados juntamente com a necessidade de desenvolvê-los com menor tempo e custo motivam o uso de abstrações com modelos. Tanto UML como Simulink são linguagens atrativas para o projeto e modelagem de sistemas embarcados. Um mapeamento automático de modelos UML para Simulink é um recurso interessante em um fluxo de projeto, permitindo que os projetistas usem UML como linguagem de modelagem para todo o sistema e ao mesmo tempo utilizando as facilidades como geração de código do Simulink. Em trabalhos anteriores, uma tradução de UML para Simulink foi prototipada usando Java, após, uma definição formal foi proposta utilizando gramática de grafos. Utilizar uma linguagem formal na tradução permite garantir propriedades importantes em uma transformação de modelos, como terminação e confluência (i.e, garantia de um único modelo resultante da transformação). Neste trabalho, é definida uma extensão desta definição formal para suportar chamadas aninhadas de métodos, visando reduzir as restrições no mapeamento. Porém, mantendo compatibilidade e as propriedades originais de terminação e confluência que a proposta original possui.

Para mais informações acesse: http://inf.ufpel.edu.br/nopcc/doku.php?id=bancas:2014_1