Specification And Description Language Sdl
Mostrando 1-12 de 14 artigos, teses e dissertações.
-
1. Uso da linguagem de especificação SDL como alternativa ao diagrama de estados proposto pela linguagem UML.
Linguagem UML. Fase do projeto na UML: o diagrama de estados. Linguagem SDL. Comparação entre as duas técnicas apresentadas.
Campinas: Embrapa Informática Agropecuária. Publicado em: 2011
-
2. Um paradigma orientado a análise de performance de redes de pacotes / A paradigm oriented to performance analysis of packet switched networks
A crescente complexidade das redes de comunicação de dados tem como conseqüência direta tornar cada vez mais complexas as tarefas de projetar seu dimensionamento e evolução. Um passo preliminar vitalmente importante no projeto de uma rede é a coleta de dados relacionados ao uso esperado da rede. Os padrões de tráfego estimados são usados nos cálcu
Publicado em: 2010
-
3. J-sdl: um framework para a simulação de especificações em sdl e geração automática de casos de teste
- The objective of tests in software is to detect faults before it can be released. Methods exist to generate test cases as long as the software behavior is represented as a Finite State Machine (FSM), for example: T, UIO, D e Switch Cover. Due to some limitations in FSM, it is necessary to investigate specification techniques that enable explicit representa
Publicado em: 2008
-
4. A proposal of integration of the nets UMTS and IEEE 802,11 with support mobility / Uma proposta de integraÃÃo das redes UMTS e IEEE 802.11 com suporte a mobilidade
As redes locais sem fio (Wireless Local Area Networks - WLANs) IEEE 802.11 atingem taxas de transmissÃo de dados relativamente altas quando comparadas `a outras redes sem fio, por exemplo, Bluetooth. Essas altas taxas de transmissÃao tÃm interessado as operadoras de redes celulares, as quais comeÃam a ver as redes IEEE 802.11 como um complemento as suas
Publicado em: 2007
-
5. 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
-
6. 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
-
7. 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
-
8. 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
-
9. 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
-
10. 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
-
11. Sintese comportamental de circuitos digitais utilizado SDL
System-level design methodologies allow the description of more complex systems, keeping the view of the system as a whole throughout all its developing cycle, and also allow the shortening of project development schedule. This work presents an approach to system-level design by using a specification language (SDL - Specification and Description Language) to
Publicado em: 1995
-
12. Analise de OAM para equipamentos da B-ISDN
A evolução das redes digitais e de uma nova tecnologia de comutação e multiplexação em altas taxas - ATM(Asynchronous Transfer Mode) ? garantiu uma forma flexível para a interligaçãoem rede. Da padronização do ITU-T e de diversos foros de fabricantes, aliando a indústria da informática com a indústria de telecomunicações pretende-se uma unive
Publicado em: 1995