Please use this identifier to cite or link to this item: http://repositorio.unicamp.br/jspui/handle/REPOSIP/261673
Type: TESE
Title: 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
Title Alternative: A proposal for a formal specification using SDL of an invehicle network based on the FlexRay protocol with automatic Java code generation
Author: Rezende, Daniel Cesar Felisberto
Advisor: Borelli, Walter da Cunha, 1950-
Abstract: 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.

Abstract: This work presents a proposal of formal specification using SDL for an in-vehicle network based on the FlexRay protocol with automatic generation of Java code. The proposed model is based on that presented in the standard specification of the FlexRay protocol, although some contributions were made in order to generate a functional and executable FlexRay network. The SDL model generated provides the system a behavioural formalization, making it possible to validate and simulate its key features and critical cases by the use of the tool TAU SDL Suite. After the system is modeled, simulated and validated is generated Java code for implementing the system created. For this reason it was developed a tool for generating Java code that receives as input a file with the specifications in SDL, and delivers as result a system written in Java that makes use of sockets for communication between processes.
Subject: Java (Linguagem de programação de computador)
Redes de computadores - Protocolos
SDL (Linguagem de programação de computador)
Language: Português
Editor: [s.n.]
Date Issue: 2009
Appears in Collections:FEEC - Dissertação e Tese

Files in This Item:
File SizeFormat 
Rezende_DanielCesarFelisberto_M.pdf1.26 MBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.