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

dc.creatorRezende, Daniel Cesar Felisberto
dc.date2009
dc.date2017-03-30T19:30:34Z
dc.date2017-07-13T19:42:06Z
dc.date2017-03-30T19:30:34Z
dc.date2017-07-13T19:42:06Z
dc.date.accessioned2018-03-29T03:49:41Z
dc.date.available2018-03-29T03:49:41Z
dc.identifierREZENDE, Daniel Cesar Felisberto. 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. 2009. [112] p. Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação, Campinas, SP. Disponível em: <http://libdigi.unicamp.br/document/?code=000467943>. Acesso em: 30 mar. 2017.
dc.identifierhttp://repositorio.unicamp.br/jspui/handle/REPOSIP/261673
dc.identifier.urihttp://repositorioslatinoamericanos.uchile.cl/handle/2250/1336871
dc.descriptionOrientador: Walter da Cunha Borelli
dc.descriptionDissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação
dc.descriptionResumo: 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.
dc.descriptionAbstract: 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.
dc.descriptionMestrado
dc.descriptionTelecomunicações e Telemática
dc.descriptionMestre em Engenharia Elétrica
dc.format[112] p. : il.
dc.formatapplication/pdf
dc.languagePortuguês
dc.publisher[s.n.]
dc.subjectJava (Linguagem de programação de computador)
dc.subjectRedes de computadores - Protocolos
dc.subjectSDL (Linguagem de programação de computador)
dc.subjectJava (Computer program language)
dc.subjectComputer network protocols
dc.subjectSDL (Computer program language)
dc.titleProposta de especificação formal em SDL de uma rede de comunicação automotiva baseada no protocolo FlexRay com geração automatica de codigo java
dc.titleA proposal for a formal specification using SDL of an invehicle network based on the FlexRay protocol with automatic Java code generation
dc.typeTesis


Este ítem pertenece a la siguiente institución