Proposta de especificação formal em SDL de uma rede de comunicação automotiva baseada no protocolo FlexRay com geração automatica de codigo java / A proposal for a formal specification using SDL of an invehicle network based on the FlexRay protocol with automatic Java code generation
AUTOR(ES)
Daniel Cesar Felisberto Rezende
DATA DE PUBLICAÇÃO
2009
RESUMO
Este trabalho apresenta uma proposta de especificação formal em SDL de uma rede de comunicação intraveicular baseada no protocolo de comunicação FlexRay com geração automática de código Java. O modelo proposto se baseia naquele apresentado na especificação padrão do protocolo FlexRay, porém algumas contribuições foram feitas a fim de gerar uma rede FlexRay funcional e executável. O modelo SDL gerado confere uma formalização comportamental ao sistema, permitindo a sua validação e a simulação de suas principais funcionalidades e casos críticos através da ferramenta SDL TAU Suite. Depois de o sistema ser modelado, simulado e validado é gerado código Java para execução do sistema criado. Para isso, foi desenvolvida uma ferramenta geradora de código Java que recebe como entrada um arquivo com as especificações em SDL e tem-se como resultado um sistema descrito em Java que faz uso de sockets para comunicação entre os processos
ASSUNTO(S)
sdl (computer program language) java (computer program language) computer network protocols sdl (linguagem de programação de computador) java (linguagem de programação de computador) redes de computação - protocolos
ACESSO AO ARTIGO
http://libdigi.unicamp.br/document/?code=000467943Documentos Relacionados
- Desenvolvimento de sistemas TINA utilizando a linguagem de especificação formal SDL com geração automatica de codigo Java
- Partial generation of Java code from Z formal specifications.
- Automatic generation of test scenarios from the models of systems specification
- Geração automática de código para agentes SNMP e CLI
- Um metodo para a validação de protocolo de comunicação especificado em SDL utilizando rede de Petri