Sdl Linguagem De Programacao De Computador
Mostrando 1-9 de 9 artigos, teses e dissertações.
-
1. 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
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 um
Publicado em: 2009
-
2. Propostas de implementação de qualidade de serviço na arquitetura VPN MPLS, utilizando linguagem de especificação formal SDL orientada a objetos e análise de desempenho utilizando o simulador OPNET
This work describe proposals for the implementation of quality of service (QoS) in VPN MPLS architecture, and their performance analysis based on simulations are presented. New systems are developed based on the VPN MPLS architecture, and it is being proposed an extension for the VPN MPLS architecture to construct a dynamic mapping of VPN clients priorities
Publicado em: 2004
-
3. Proposta de mobilidade para protocolos H.323 e SIP em telefonia IP, utilizando linguagem de especificação formal SDL orientada a objetos
This work describes some proposals for mobility extension to H.323 and SIP protocols. The new proposals for H.323 involve intrazone and interzone mobility, and interzone mobility using resources with new entities, signallings and functions from H.510. Based on the mobility solution developed by Liao, these new systems have demonstrated how H.323 could be ext
Publicado em: 2004
-
4. Desenvolvimento de sistemas TINA utilizando a linguagem de especificação formal SDL com geração automatica de codigo Java
ormado.
Publicado em: 2001
-
5. Especificações e simulação na linguagem formal SDL das sinalizações de registro e conexão de uma rede ATM sem fio
In this thesis, the Registration and Call Setup signallings of a terminal in a wireless ATM network - WATM are formally specified in SDL (Specification and Description Language) and simulated using the SDT1 (SDL Design Tool). During the Registration signalling specification, the insertion of a signal, Updated, is proposed, which has the function of updating
Publicado em: 1999
-
6. Especificação formal em SDL e simulação de protocolos que combinam a tecnica de Label-Swapping com o roteamento de camada 3 para o transporte do Ip sobre o ARM
A tese trata da especificação formal em SDL (Specification and Description Language) e da simulação através do SDT 1 (SDL Design Tool), de um classificador de fluxo X/V usado no IpSwitching e, do LDP (Label Distribution Protocol) do MPLS (MultiProtocol Label Switching), partindo-se das recomendações do IETF (Internet Engineering Task Force). Tanto o I
Publicado em: 1999
-
7. O uso combinado da tecnica de modelagem baseada em objetos OMT com a linguagem de especificação formal SDL como metodologia alternativa para o desenvolvimento do ambiente de software AIDA
The present work proposes an alternative methodology for the development and evolution of AIOA, a software environment for the management and analysis of experimental data, being developed at Embrapa, Brazil. This new technique consists of the combined use of OMT (Object Modeling Technique) with the formal specification language SDL (Specification and Descri
Publicado em: 1997
-
8. Desenvolvimento metodologico dos sistemas distribuidos abertos
No desenvolvimento de Sistemas Distribuídos Abertos o uso de recursos que facilitem o entendimento do sistema, a verificação do seu comportamento, a implementação e a documentação são muito importantes. O objetivo deste trabalho é empregar práticas de Engenharia de Software ao processo de desenvolvimento de Sistemas Distribuídos Abertos através d
Publicado em: 1996
-
9. Um metodo para a validação de protocolo de comunicação especificado em SDL utilizando rede de Petri
Não informado
Publicado em: 1988